AegilopsGrass - Sigma Knowledge base Browser

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 4169-4173
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4168-4168	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 4175-4175	Aegilops grass has name "goat grass"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4191-4191	Aegilops Speltoides is a subclass of Aegilops grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4184-4184	Aegilops Tauschii is a subclass of Aegilops grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4174-4174	Aegilops Tauschii is a subclass of Aegilops grass

antecedent

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

Economy.kif 4177-4182

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 4216-4231

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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