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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VolcanoStatus
VolcanoStatus

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


(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 4069-4069 exhaustiveAttribute VolcanoStatus, VolcanicallyActive, VolcanicallyDormant and VolcanicallyExtinct
(externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Spaccato_vulcano.png") pictureList.kif 9805-9805
(externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ MtCleveland_ISS013-E-24184.jpg") pictureList.kif 9803-9803
(externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Volcano.jpeg") pictureList.kif 8783-8783
(subclass VolcanoStatus InternalAttribute) Geography.kif 4064-4064 VolcanoStatus est une sous-classe de attribut interne

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


(instance VolcanicallyActive VolcanoStatus) Geography.kif 4065-4065 VolcanicallyActive est une instance de VolcanoStatus
(instance VolcanicallyDormant VolcanoStatus) Geography.kif 4066-4066 VolcanicallyDormant est une instance de VolcanoStatus
(instance VolcanicallyExtinct VolcanoStatus) Geography.kif 4067-4067 VolcanicallyExtinct est une instance de VolcanoStatus
(termFormat ChineseLanguage VolcanoStatus "火山状况") domainEnglishFormat.kif 61917-61917
(termFormat ChineseTraditionalLanguage VolcanoStatus "火山狀況") domainEnglishFormat.kif 61916-61916
(termFormat EnglishLanguage VolcanoStatus "volcano status") domainEnglishFormat.kif 61915-61915


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