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

KB Term:  Term intersection
English Word: 

Sigma KEE - Frightening
Frightening(frightening)alarm, alert, wake

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


(subclass Frightening PsychologicalProcess) emotion.kif 1708-1708 Frightening is a subclass of psychological process
(documentation Frightening EnglishLanguage "Any PsychologicalProcess where the patient comes to feel Fear.") emotion.kif 1709-1710 Frightening is a subclass of psychological process

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


(termFormat EnglishLanguage Frightening "frightening") domainEnglishFormat.kif 25060-25060
(termFormat ChineseTraditionalLanguage Frightening "可怕的") domainEnglishFormat.kif 25061-25061
(termFormat ChineseLanguage Frightening "可怕的") domainEnglishFormat.kif 25062-25062

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


(=>
    (and
        (instance ?FRIGHTEN Frightening)
        (experiencer ?FRIGHTEN ?AGENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FRIGHTEN))
            (not
                (attribute ?AGENT Fear)))
        (holdsDuring
            (EndFn
                (WhenFn ?FRIGHTEN))
            (attribute ?AGENT Fear))))		 emotion.kif 1712-1718 If X is an instance of frightening and Y experiences X, then angst is not an attribute of Y holds during the beginning of the time of existence of X and angst is an attribute of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?F Frightening)
        (experiencer ?F ?A))
    (and
        (fears ?A
            (instance ?P Physical))
        (or
            (origin ?F ?P)
            (causes ?P ?F))))		 emotion.kif 1729-1738 If X is an instance of frightening and Y experiences X, then Y fears Z is an instance of physical and X originates at Z or Z causes X

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


(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (exists (?F)
        (and
            (instance ?F Frightening)
            (experiencer ?F ?A)
            (during
                (WhenFn ?F) ?T))))		 emotion.kif 1720-1727 If angst is an attribute of X holds during Y, then there exists Z such that Z is an instance of frightening, X experiences Z, and the time of existence of Z takes place during Y
(=>
    (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
(=>
    (holdsDuring ?T
        (attribute ?A Terror))
    (fears ?A
        (exists (?F)
            (and
                (instance ?F Frightening)
                (experiencer ?F ?A)
                (earlier ?T
                    (WhenFn ?F))))))		 emotion.kif 1918-1926 If terror is an attribute of X holds during Y, then X fears there exists Z such that Z is an instance of frightening, X experiences Z, and Y happens earlier than the time of existence of Z


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