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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DurumWheatGrass
DurumWheatGrass(durum wheat grass)

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


(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 4107-4111
(subclass DurumWheatGrass WheatGrass) Economy.kif 4106-4106 Durum wheat grass is a subclass of wheat grass

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


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

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


(=>
    (and
        (instance ?COLL Collection)
        (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 4121-4136
(=>
    (and
        (instance ?E DurumWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))
Economy.kif 4114-4119

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


(=>
    (equal ?X
        (PlantFn DurumWheatGrain))
    (subclass ?X DurumWheatGrass))
Economy.kif 4286-4289


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