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
(=>
    (and
        (instance ?E EmmerWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))
Economy.kif 3872-3877

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
(=>
    (equal ?X
        (PlantFn EmmerWheatGrain))
    (subclass ?X EmmerWheatGrass))
Economy.kif 4086-4089


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