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


KB Term:  Term intersection
English Word: 

Sigma KEE - Dangerous
Dangerous(dangerous)
more pictures...		dangerous, grave, grievous, life-threatening, serious, severe

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


(instance Dangerous SubjectiveAssessmentAttribute) MilitaryPersons.kif 203-203 Dangerous is an instance of subjective assessment attribute
(documentation Dangerous EnglishLanguage "from WordNet: causing fear or anxiety by threatening great harm, a dangerous operation, a grave situation, a grave illness, grievous bodily harm, a serious wound, a serious turn of events, a severe case of pneumonia, a life-threatening disease.") MilitaryPersons.kif 205-208 Dangerous is an instance of subjective assessment attribute
(externalImage Dangerous "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Kakadu_2430.jpg") pictureList.kif 9967-9967 Dangerous is an instance of subjective assessment attribute
(externalImage Dangerous "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Many_danger_signs.jpg") pictureList.kif 10777-10777 Dangerous is an instance of subjective assessment attribute
(externalImage Dangerous "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Radioactivity_symbol.png") pictureList.kif 10778-10778 Dangerous is an instance of subjective assessment attribute
(externalImage Dangerous "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Snake_warning_sign.jpg") pictureList.kif 10779-10779 Dangerous is an instance of subjective assessment attribute
(externalImage Dangerous "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Dangclass2_1.png") pictureList.kif 10780-10780 Dangerous is an instance of subjective assessment attribute
(externalImage Dangerous "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ 1080PoisonWarning_gobeirne.jpg") pictureList.kif 10781-10781 Dangerous is an instance of subjective assessment attribute
(externalImage Dangerous "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Minefield_warning.JPG") pictureList.kif 10782-10782 Dangerous is an instance of subjective assessment attribute

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


(termFormat EnglishLanguage Dangerous "dangerous") domainEnglishFormat.kif 18474-18474
(termFormat ChineseTraditionalLanguage Dangerous "危險") domainEnglishFormat.kif 18475-18475
(termFormat ChineseLanguage Dangerous "危险") domainEnglishFormat.kif 18476-18476

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


(=>
    (and
        (instance ?THREATEN Threatening)
        (patient ?THREATEN ?PROP)
        (destination ?THREATEN ?DEST))
    (believes ?DEST
        (attribute ?PROP Dangerous)))		 MilitaryPersons.kif 212-218 If X is an instance of threatening, Y is a patient of X, and X ends up at Z, then Z believes dangerous is an attribute of Y
(=>
    (and
        (instance ?DAMAGE Damaging)
        (agent ?DAMAGE ?PROP)
        (destination ?DAMAGE ?DEST)
        (instance ?DEST CognitiveAgent))
    (believes ?DEST
        (attribute ?PROP Dangerous)))		 MilitaryPersons.kif 228-235 If X is an instance of damaging, Y is an agent of X, X ends up at Z, and Z is an instance of cognitive agent, then Z believes dangerous is an attribute of Y
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (agent ?EV ?A))
    (exists (?P)
        (and
            (instance ?P Process)
            (geographicSubregion ?OR
                (WhereFn ?P
                    (BeginFn
                        (WhenFn ?EV))))
            (causes ?P ?EV)
            (believes ?A
                (attribute ?P Dangerous)))))		 MilitaryProcesses.kif 2573-2587 If X is an instance of evacuating, X originates at Y, and Z is an agent of X, then there exists W such that W is an instance of process, Y is a geographic subregion of the place where W was at the beginning of the time of existence of X, W causes X, and Z believes dangerous is an attribute of W


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