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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CloverPlant

Sigma KEE - CloverPlant
CloverPlant

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 4835-4836
(subclass CloverPlant HerbaceousPlant) Economy.kif 4834-4834 子類 CloverPlant and HerbaceousPlant

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


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

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


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


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 is open source software produced by Articulate Software and its partners