TreeView Knowledge Base Browser - TriticumUrartu

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TriticumUrartu

TriticumUrartu(Triticum urartu)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3942-3944
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3941-3941	Triticum urartu is a subclass of wheat grass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3946-3946	Triticum urartu has name "red wild einkron wheat"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3945-3945

antecedent

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

Economy.kif 3948-3953

If an object is an instance of Triticum urartu and another object is a part of the object and the 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 3911-3926

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 durum 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 Triticum urartu 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 Speltoides

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