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


KB Term:  Term intersection
English Word: 

  EmmerWheatGrass

 Sigma KEE - EmmerWheatGrass
EmmerWheatGrass(emmer wheat grass)

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


(subclass EmmerWheatGrass WheatGrass) Economy.kif 4197-4197 Emmer wheat grass is a subclass of wheat grass
(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 4198-4201 Emmer wheat grass is a subclass of wheat grass

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


(termFormat EnglishLanguage EmmerWheatGrass "emmer wheat grass") Economy.kif 4202-4202

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


(=>
    (and
        (instance ?E EmmerWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 4204-4209 If X is an instance of emmer wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of tetraploid cell
(=>
    (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

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


(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (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 4302-4317 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 common 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 emmer 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 Tauschii
(=>
    (equal ?X
        (PlantFn EmmerWheatGrain))
    (subclass ?X EmmerWheatGrass))		 Economy.kif 4418-4421 If equal X and plant fn Emmer wheat grain, then X is a subclass of emmer wheat grass


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners