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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Volcano
Volcano(火山)

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


(documentation Volcano EnglishLanguage "A Volcano in the broadest sense, i.e., a region containing a vent through which magmous and/ or pyroclastic materials are passed from the interior of the Earth to its surface (atmospheric or underwater).") Geography.kif 4059-4062
(externalImage Volcano "http://articulatesoftware.com/SUMOpictures/geography/ volcano.png") pictureList.kif 827-827
(externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Volcano_scheme.svg") pictureList.kif 3275-3275
(externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ Aa_large.jpg") pictureList.kif 3276-3276
(subclass Volcano LandForm) Geography.kif 4057-4057 火山土地形式subclass

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


(subclass VolcanicCone Volcano) Geography.kif 4086-4086 火山锥火山subclass
(subclass VolcanicMountain Volcano) Geography.kif 4079-4079 火山火山subclass
(termFormat ChineseLanguage Volcano "火山") domainEnglishFormat.kif 61911-61911
(termFormat ChineseTraditionalLanguage Volcano "火山") domainEnglishFormat.kif 61910-61910
(termFormat EnglishLanguage Volcano "volcano") domainEnglishFormat.kif 61909-61909

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1858-1863

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


(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?VOLCANO)
        (and
            (instance ?VOLCANO Volcano)
            (eventLocated ?ERUPTING ?VOLCANO))))
Geography.kif 2436-2441
(=>
    (instance ?event VolcanicEruption)
    (exists (?volcano)
        (and
            (instance ?volcano Volcano)
            (agent ?event ?volcano))))
Geography.kif 4071-4076


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