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

KB Term:  Term intersection
English Word: 

Sigma KEE - DurumWheatGrass
DurumWheatGrass(durum wheat grass)

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


(subclass DurumWheatGrass WheatGrass) Economy.kif 4228-4228 Durum wheat grass is a subclass of wheat grass
(documentation DurumWheatGrass EnglishLanguage "Durum wheat also called pasta wheat or macaroni wheat (Triticum durum or Triticum turgidum subsp. durum), is a tetraploid species of wheat, having four sets of chromosomes. Durum wheat originated through intergeneric hybridization and polyploidization involving two diploid grass species: T. urartu and a Aegilops speltoides.[wikipedia]") Economy.kif 4229-4233 Durum wheat grass is a subclass of wheat grass

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


(termFormat EnglishLanguage DurumWheatGrass "durum wheat grass") Economy.kif 4234-4234

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


(=>
    (and
        (instance ?E DurumWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 4236-4241 If X is an instance of durum 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 DurumWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X TriticumUrartu)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsSpeltoides))))		 Economy.kif 4243-4258 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 durum 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 Triticum urartu (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 Speltoides

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


(=>
    (equal ?X
        (PlantFn DurumWheatGrain))
    (subclass ?X DurumWheatGrass))		 Economy.kif 4408-4411 If equal X and plant fn durum wheat grain, then X is a subclass of durum 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