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



KB Term:  Term intersection
English Word: 

  Geographer

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners