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


KB Term:  Term intersection
English Word: 

  VolcanoStatus

Sigma KEE - VolcanoStatus
VolcanoStatus(volcano status)

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


(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 5621-5621 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
(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/ c/ c5/ Volcano.jpeg") pictureList.kif 8782-8782 Volcanically active are all the attributes of volcano status
(subclass VolcanoStatus InternalAttribute) Geography.kif 5616-5616 Volcano status is a subclass of internal attribute

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


(instance VolcanicallyActive VolcanoStatus) Geography.kif 5617-5617 Volcanically active is an instance of volcano status
(instance VolcanicallyDormant VolcanoStatus) Geography.kif 5618-5618 Volcanically dormant is an instance of volcano status
(instance VolcanicallyExtinct VolcanoStatus) Geography.kif 5619-5619 Volcanically extinct is an instance of volcano status
(termFormat ChineseLanguage VolcanoStatus "火山状况") domainEnglishFormat.kif 61910-61910 Volcanically extinct is an instance of volcano status
(termFormat ChineseTraditionalLanguage VolcanoStatus "火山狀況") domainEnglishFormat.kif 61909-61909 Volcanically extinct is an instance of volcano status
(termFormat EnglishLanguage VolcanoStatus "volcano status") domainEnglishFormat.kif 61908-61908 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 is open source software produced by Articulate Software and its partners