Frightening - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Frightening EnglishLanguage "Any PsychologicalProcess where the patient comes to feel Anxiety.")	Mid-level-ontology.kif 19335-19336
(subclass Frightening PsychologicalProcess)	Mid-level-ontology.kif 19334-19334	Frightening is a subclass of psychological process

appearance as argument number 2

(termFormat ChineseLanguage Frightening "可怕的")	domainEnglishFormat.kif 25086-25086
(termFormat ChineseTraditionalLanguage Frightening "可怕的")	domainEnglishFormat.kif 25085-25085
(termFormat EnglishLanguage Frightening "frightening")	domainEnglishFormat.kif 25084-25084

antecedent

(=>
    (and
        (instance ?FRIGHTEN Frightening)
        (experiencer ?FRIGHTEN ?AGENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FRIGHTEN))
            (not
                (attribute ?AGENT Anxiety)))
        (holdsDuring
            (EndFn
                (WhenFn ?FRIGHTEN))
            (attribute ?AGENT Anxiety))))

Mid-level-ontology.kif 19338-19344

If a process is an instance of frightening and an agent experiences the process,
then anxiety is not an attribute of the agent holds during the beginning of the time of existence of the process and anxiety is an attribute of the agent holds during the end of the time of existence of the process

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

KB Term:			Term intersection

English Word: