Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Clover

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


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

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


(termFormat EnglishLanguage Clover "clover") Economy.kif 5184-5184
(termFormat ChineseTraditionalLanguage Clover "苜") domainEnglishFormat.kif 15307-15307
(termFormat ChineseLanguage Clover "苜") domainEnglishFormat.kif 15308-15308

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


(=>
    (and
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))		 Economy.kif 5176-5180 If X is a subclass of seed and equal X and clover, then every X is initially part of a clover plant

statement
-------------------------


(subclass
    (DeadFn Clover) PlantAgriculturalArtifact)		 Society.kif 1037-1037 A dead clover is a subclass of PlantAgriculturalArtifact


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners