Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EinkornWheatGrass
EinkornWheatGrass(einkorn wheat grass)

appearance as argument number 1
-------------------------


(documentation EinkornWheatGrass EnglishLanguage "Einkorn wheat can refer either to a wild species of wheat (Triticum) or to its domesticated form. The wild form is T. boeoticum, and the domesticated form is T. monococcum.Einkorn is a diploid species (2 sets of chromosomes) of hulled wheat, with tough glumes ('husks') that tightly enclose the grains.[wikipedia]") Economy.kif 3929-3931
(subclass EinkornWheatGrass WheatGrass) Economy.kif 3928-3928 Einkorn wheat grass is a subclass of wheat grass

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage EinkornWheatGrass "einkorn wheat grass") Economy.kif 3932-3932

antecedent
-------------------------


(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))
Economy.kif 3934-3939

consequent
-------------------------


(=>
    (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
(=>
    (equal ?X
        (PlantFn EinkornWheatGrain))
    (subclass ?X EinkornWheatGrass))
Economy.kif 4096-4099


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