Clover - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Clover

Clover(clover)

Italian_clover, Melilotus_alba, Melilotus_officinalis, Trifolium_alpinum, Trifolium_dubium, Trifolium_incarnatum, Trifolium_pratense, Trifolium_reflexum, Trifolium_repens, Trifolium_stoloniferum, alpine_clover, buffalo_clover, clover, crimson_clover, dutch_clover, genus_Melilotus, hop_clover, lesser_yellow_trefoil, melilot, melilotus, purple_clover, red_clover, shamrock, sweet_clover, trefoil, white_clover, white_melilot, white_sweet_clover, yellow_sweet_clover

appearance as argument number 1

(documentation Clover EnglishLanguage "Clover is the FruitOrVegetable part of the crop.")	Economy.kif 5181-5181
(externalImage Clover "http://upload.wikimedia.org/wikipedia/commons/2/25/ Four_leaf_clover.jpg")	pictureList.kif 854-854
(subclass Clover Legume)	Economy.kif 5180-5180	Clover is a subclass of legume

appearance as argument number 2

(termFormat ChineseLanguage Clover "苜")	domainEnglishFormat.kif 15314-15314
(termFormat ChineseTraditionalLanguage Clover "苜")	domainEnglishFormat.kif 15313-15313
(termFormat EnglishLanguage Clover "clover")	domainEnglishFormat.kif 15312-15312

antecedent

(=>
    (and
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))

Economy.kif 5174-5178

If a kind of object is a subclass of seed and equal a kind of object and clover,
then every the kind of object is initially part of a clover plant

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