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


KB Term:  Term intersection
English Word: 

  Frightening

 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 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