CommonWheatGrass - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CommonWheatGrass

CommonWheatGrass(common wheat grass)

appearance as argument number 1

(documentation CommonWheatGrass EnglishLanguage "CommonWheatGrass, (Triticum.aestivum), also known as bread wheat, is a cultivated wheat species. Itis an allohexaploid – a combination of six sets of chromosomes from different species. Of the six sets of chromosomes, four come from emmer (Triticum turgidum, itself a tetraploid) and two from Aegilops tauschii (a wild diploid goatgrass). [wikiepedia]")	Economy.kif 4166-4170
(subclass CommonWheatGrass WheatGrass)	Economy.kif 4165-4165	Common wheat grass is a subclass of wheat grass

appearance as argument number 2

(termFormat EnglishLanguage CommonWheatGrass "common wheat grass")

Economy.kif 4171-4171

antecedent

(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4173-4178	If an object is an instance of common wheat grass and the objectELL is a part of the object and the objectELL is an instance of the objectLASS, then the objectLASS is a subclass of hexaploid cell
(=> (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 4180-4195	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

consequent

(=>
    (equal ?X
        (PlantFn CommonWheatGrain))
    (subclass ?X CommonWheatGrass))

Economy.kif 4276-4279

If a kind of plant is equal to plant fn common wheat grain,
then a kind of plant is a subclass of common 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