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



KB Term:  Term intersection
English Word: 

  VolcanoStatus

Sigma KEE - VolcanoStatus
VolcanoStatus(volcano status)

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


(subclass VolcanoStatus InternalAttribute) Geography.kif 5575-5575 Volcano status is a subclass of internal attribute
(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 5580-5580 Volcanically active are all the attributes of volcano status
(externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Volcano.jpeg") pictureList.kif 8782-8782 Volcanically active are all the attributes of volcano status
(externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ MtCleveland_ISS013-E-24184.jpg") pictureList.kif 9802-9802 Volcanically active are all the attributes of volcano status
(externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Spaccato_vulcano.png") pictureList.kif 9804-9804 Volcanically active are all the attributes of volcano status

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


(instance VolcanicallyActive VolcanoStatus) Geography.kif 5576-5576 Volcanically active is an instance of volcano status
(instance VolcanicallyDormant VolcanoStatus) Geography.kif 5577-5577 Volcanically dormant is an instance of volcano status
(instance VolcanicallyExtinct VolcanoStatus) Geography.kif 5578-5578 Volcanically extinct is an instance of volcano status
(termFormat EnglishLanguage VolcanoStatus "volcano status") domainEnglishFormat.kif 61918-61918 Volcanically extinct is an instance of volcano status
(termFormat ChineseTraditionalLanguage VolcanoStatus "火山狀況") domainEnglishFormat.kif 61919-61919 Volcanically extinct is an instance of volcano status
(termFormat ChineseLanguage VolcanoStatus "火山状况") domainEnglishFormat.kif 61920-61920 Volcanically extinct is an instance of volcano status


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