TreeView Knowledge Base Browser - AegilopsGrass

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AegilopsGrass

AegilopsGrass(Aegilops grass)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3832-3836
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3831-3831	Aegilops grass is a subclass of grass plant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3838-3838	Aegilops grass has name "goat grass"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3854-3854	Aegilops Speltoides is a subclass of Aegilops grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3847-3847	Aegilops Tauschii is a subclass of Aegilops grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3837-3837

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 3840-3845

If an object is an instance of Aegilops grass and another object is a part of the object and the other object is an instance of the other objectLASS,
then the other objectLASS is a subclass of diploid cell

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 3879-3894

If a collection is an instance of collection and Chromosome is a member type of the collection and an object is a member of the collection and the object is a part of emmer wheat grass,
then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a einkorn wheat grass and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops grass

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners