Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - EinkornWheatGrass
EinkornWheatGrass(einkorn wheat grass)

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


(subclass EinkornWheatGrass WheatGrass) Economy.kif 4260-4260 Einkorn wheat grass is a subclass of wheat grass
(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 4261-4263 Einkorn wheat grass is a subclass of wheat grass

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


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

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


(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 4266-4271 If X is an instance of einkorn wheat grass, Y is a part of X, and X is an instance of Z, then Z is a subclass of diploid cell

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


(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (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 4211-4226 If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of emmer wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a einkorn wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops grass
(=>
    (equal ?X
        (PlantFn EinkornWheatGrain))
    (subclass ?X EinkornWheatGrass))		 Economy.kif 4428-4431 If equal X and plant fn Einkorn wheat grain, then X is a subclass of einkorn 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners