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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AegilopsSpeltoides
AegilopsSpeltoides(Aegilops Speltoides)

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


(documentation AegilopsSpeltoides EnglishLanguage "Aegilops speltoides is an edible goatgrass in the family Poaceae native to Southeastern Europe and Western Asia, which is often used for animal feed, and it has grown in cultivated beds. Aegilops speltoides is a diploid (2 sets of chromosomes). [wikipedia]") Economy.kif 4065-4067
(subclass AegilopsSpeltoides AegilopsGrass) Economy.kif 4064-4064 Aegilops Speltoides is a subclass of Aegilops grass

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


(termFormat EnglishLanguage AegilopsSpeltoides "Aegilops Speltoides") Economy.kif 4068-4068

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


(=>
    (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


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