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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Perception
Perception

VerbNet: tingle-40.8.2|burn, sight-30.2|perceive, sight-30.2|recognize, sight-30.2|recognize, sight-30.2|survey, run-51.3.2|ghost, sight-30.2|recognize, sight-30.2|perceive, sight-30.2|recognize, tingle-40.8.2|twinge, tingle-40.8.2|prickle, sight-30.2|recognize, sight-30.2|recognize, sight-30.2|witness, run-51.3.2|ghost, run-51.3.2|ghost, run-51.3.2|ghost, run-51.3.2|ghost, sight-30.2|recognize, tingle-40.8.2|twinge, sight-30.2|survey, sight-30.2|survey, sight-30.2|recognize, tingle-40.8.2|throb, tingle-40.8.2|twinge, sight-30.2|witness, run-51.3.2|ghost,


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


(documentation Perception ChineseLanguage "这是去感觉物质世界的一些情况。注:我们假定作出感觉的 agent 是一种 Animal。") chinese_format.kif 3308-3309
(documentation Perception EnglishLanguage "Sensing some aspect of the material world. Note that the agent of this sensing is assumed to be an Animal.") Merge.kif 12485-12486
(subclass Perception PsychologicalProcess) Merge.kif 12484-12484

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


(subclass Hearing Perception) Merge.kif 12559-12559
(subclass Seeing Perception) Merge.kif 12498-12498
(subclass Smelling Perception) Merge.kif 12533-12533
(subclass TactilePerception Perception) Merge.kif 12608-12608
(subclass Tasting Perception) Merge.kif 12546-12546
(termFormat ChineseLanguage Perception "感知") chinese_format.kif 1216-1216
(termFormat EnglishLanguage Perception "perception") english_format.kif 1658-1658

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


(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))
Merge.kif 12488-12492
(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))
Merge.kif 16377-16384

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


(=>
    (and
        (instance ?ELT ExperiencingALumpInTheThroat)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Throat)
            (part ?T ?A))))
emotion.kif 1678-1689
(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (holdsDuring
                (WhenFn ?P)
                (attribute ?A Pain))
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Stomach)
            (part ?T ?A))))
emotion.kif 1551-1565
(=>
    (and
        (instance ?ELT ExperiencingHeatInCheeksOrChest)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (or
                (instance ?T Torso)
                (instance ?T Face))
            (part ?T ?A))))
emotion.kif 1701-1714
(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (causes
        (exists (?P ?H)
            (and
                (instance ?P Perception)
                (patient ?P ?H)
                (experiencer ?P ?A)
                (instance ?H Human)
                (during
                    (WhenFn ?P) ?T)))
        (holdsDuring ?T
            (attribute ?A InterpersonalDisgust))))
emotion.kif 873-885
(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (exists (?P ?H)
        (and
            (instance ?P Perception)
            (patient ?P ?H)
            (experiencer ?P ?A)
            (instance ?H Human)
            (not
                (equal ?H ?A))
            (during
                (WhenFn ?P) ?T))))
emotion.kif 860-871
(=>
    (holdsDuring ?T
        (attribute ?A SensoryPleasure))
    (exists (?P)
        (and
            (instance ?P Perception)
            (during ?T
                (WhenFn ?P))
            (causesProposition
                (experiencer ?P ?A)
                (holdsDuring ?T
                    (attribute ?A SensoryPleasure))))))
emotion.kif 801-811
(=>
    (instance ?AGENT SentientAgent)
    (capability Perception experiencer ?AGENT))
Merge.kif 12494-12496
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 14673-14681
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H)
            (and
                (instance ?H Human)
                (desires ?H
                    (exists (?P)
                        (and
                            (instance ?P Perception)
                            (experiencer ?P ?H)
                            (patient ?P ?AW))))))))
Merge.kif 14683-14694


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners