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 18504-18505
(subclass Frightening PsychologicalProcess)	Mid-level-ontology.kif 18503-18503	Frightening is a subclass of psychological process

appearance as argument number 2

(termFormat ChineseLanguage Frightening "可怕的")	domainEnglishFormat.kif 25092-25092
(termFormat ChineseTraditionalLanguage Frightening "可怕的")	domainEnglishFormat.kif 25091-25091
(termFormat EnglishLanguage Frightening "frightening")	domainEnglishFormat.kif 25090-25090

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

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: