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 4071-4075
(subclass CommonWheatGrass WheatGrass)	Economy.kif 4070-4070	Common wheat grass is a subclass of wheat grass

appearance as argument number 2

(termFormat EnglishLanguage CommonWheatGrass "common wheat grass")

Economy.kif 4076-4076

antecedent

(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4078-4083	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 4085-4100	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 4181-4184

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