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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Perception

Sigma KEE - Perception
Perception

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 12878-12879
(subclass Perception PsychologicalProcess) Merge.kif 12877-12877

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


(subclass Hearing Perception) Merge.kif 13008-13008
(subclass Seeing Perception) Merge.kif 12947-12947
(subclass Smelling Perception) Merge.kif 12982-12982
(subclass TactilePerception Perception) Merge.kif 13057-13057
(subclass Tasting Perception) Merge.kif 12995-12995
(termFormat ChineseLanguage Perception "感知") chinese_format.kif 1216-1216
(termFormat EnglishLanguage Perception "perception") english_format.kif 1653-1653

appearance as argument number 3
-------------------------


(domainSubclass SenseImpairmentFn 1 Perception) Merge.kif 12915-12915
(domainSubclass SenseInabilityFn 1 Perception) Merge.kif 12935-12935

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


(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))
Merge.kif 12881-12885
(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))
Merge.kif 16995-17002

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 1718-1729
(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (during
                (WhenFn ?P)
                (WhenFn ?PAIN))
            (instance ?PAIN Pain)
            (experiencer ?PAIN ?A)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Stomach)
            (part ?T ?A))))
emotion.kif 1591-1605
(=>
    (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 1746-1759
(=>
    (and
        (instance ?H Hallucination)
        (experiencer ?H ?P))
    (exists (?PER)
        (and
            (instance ?PER Perception)
            (experiencer ?PER ?P)
            (causes ?H ?PER)
            (containsInformation ?PER ?PROP)
            (truth ?PROP False))))
Mid-level-ontology.kif 6073-6083
(=>
    (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 12887-12889
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 15227-15235
(=>
    (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 15237-15248


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 is open source software produced by Articulate Software and its partners