can be defined using

URI: https://gptkb.org/prop/can_be_defined_using
4 triples
GPTKB property
Random triples
Subject Object
gptkb:CSS_Subgrid subgrid keyword
gptkb:Grothendieck_topos sites
gptkb:Chevalley_groups Chevalley relations
gptkb:Chevalley_groups Chevalley generators