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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CloverPlant
CloverPlant(clover plant)

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


(documentation CloverPlant EnglishLanguage "CloverPlant are common names for plants of engus Trifolium, a perennial FloweringPlant species called in the legume family of Fabeceae. It is an important forage crop.") Economy.kif 5045-5046
(subclass CloverPlant HerbaceousPlant) Economy.kif 5044-5044 Clover plant is a subclass of HerbaceousPlant

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


(termFormat EnglishLanguage CloverPlant "clover plant") Economy.kif 5047-5047

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


(=>
    (and
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))
Economy.kif 5049-5053


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