EmmerWheatGrass - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EmmerWheatGrass

EmmerWheatGrass(emmer wheat grass)

appearance as argument number 1

(documentation EmmerWheatGrass EnglishLanguage "Emmer wheat or hulled wheat is a type of awned wheat. Emmer is a tetraploid (4 sets of chromosomes). This tetraploid wheat is formed by the hybridization of two diploid wild grasses (2 sets of chromomsomes), Triticum urartu, closely related to wild einkorn (T. boeoticum), and an as yet unidentified Aegilops species related to A. searsii or A. speltoides. [wikipedia]")	Economy.kif 3866-3869
(subclass EmmerWheatGrass WheatGrass)	Economy.kif 3865-3865	Emmer wheat grass is a subclass of wheat grass

appearance as argument number 2

(termFormat EnglishLanguage EmmerWheatGrass "emmer wheat grass")

Economy.kif 3870-3870

antecedent

(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M EmmerWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EinkornWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsGrass))))	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
(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 3872-3877	If an object is an instance of emmer wheat 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 tetraploid cell

consequent

(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M CommonWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EmmerWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsTauschii))))	Economy.kif 3970-3985	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 common 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 emmer 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 Tauschii
(=> (equal ?X (PlantFn EmmerWheatGrain)) (subclass ?X EmmerWheatGrass))	Economy.kif 4086-4089	If a kind of plant is equal to plant fn Emmer wheat grain, then a kind of plant is a subclass of emmer wheat 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