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


KB Term:  Term intersection
English Word: 

Sigma KEE - CanopiedVegetation
CanopiedVegetation(canopied vegetation)

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


(instance CanopiedVegetation LandVegetationAttribute) Geography.kif 7829-7829 Canopied vegetation is an instance of land vegetation attribute
(documentation CanopiedVegetation EnglishLanguage "CanopiedVegetation describes the density of vegetation in a RainForest or Jungle.") Geography.kif 7831-7832 Canopied vegetation is an instance of land vegetation attribute

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


(termFormat EnglishLanguage CanopiedVegetation "canopied vegetation") domainEnglishFormat.kif 12997-12997
(termFormat ChineseTraditionalLanguage CanopiedVegetation "樹冠植被") domainEnglishFormat.kif 12998-12998
(termFormat ChineseLanguage CanopiedVegetation "树冠植被") domainEnglishFormat.kif 12999-12999

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


(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 7993-7995 If X is an instance of rain forest, then X is vegetation type pattern botanical tree for canopied vegetation


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