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


KB Term:  Term intersection
English Word: 

Sigma KEE - Horror
Horror(horror)

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


(documentation Horror EnglishLanguage "Horror is the feeling of revulsion that usually follows a frightening sight, sound, or otherwise experience.[Wikipedia]") emotion.kif 1895-1896
(subAttribute Horror Fear) emotion.kif 1898-1898 Horror is a subattribute of angst
(subAttribute Horror Disgust) emotion.kif 1899-1899 Horror is a subattribute of disgust

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


(utterance EnglishLanguage Horror "horrified") emotion.kif 1894-1894 utterance english language, horror and "horrified"
(termFormat EnglishLanguage Horror "horror") emotion.kif 1897-1897 utterance english language, horror and "horrified"

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


(=>
    (holdsDuring ?T
        (attribute ?A Horror))
    (exists (?X ?F)
        (and
            (dislikes ?A ?X)
            (instance ?F Frightening)
            (origin ?F ?X)
            (experiencer ?F ?A)
            (during ?T
                (WhenFn ?F)))))
emotion.kif 1901-1910 If horror is an attribute of X holds during Y, then there exist Z, W such that X dislikes Z, W is an instance of frightening, W originates at Z, X experiences W, and Y takes place during the time of existence 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners