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 13452-13453
(subclass Perception PsychologicalProcess) Merge.kif 13451-13451 感知心理过程subclass

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


(subclass Hearing Perception) Merge.kif 13582-13582 感知subclass
(subclass Seeing Perception) Merge.kif 13521-13521 感知subclass
(subclass Smelling Perception) Merge.kif 13556-13556 感知subclass
(subclass TactilePerception Perception) Merge.kif 13631-13631 触觉感知subclass
(subclass Tasting Perception) Merge.kif 13569-13569 感知subclass
(termFormat ChineseLanguage Perception "感知") chinese_format.kif 1216-1216
(termFormat EnglishLanguage Perception "perception") english_format.kif 1653-1653
(termFormat FrenchLanguage Perception "perception") french_format.kif 894-894
(termFormat Hindi Perception "gyaana") terms-hindi.txt 427-427
(termFormat ItalianLanguage Perception "Percezione") terms-it.txt 430-430
(termFormat JapaneseLanguage Perception "知覚") japanese_format.kif 2578-2578
(termFormat PortugueseLanguage Perception "Percepcao") portuguese_format.kif 846-846
(termFormat cz Perception "perception") terms-cz.txt 466-466
(termFormat ro Perception "percepþie") relations-ro.kif 915-915
(termFormat tg Perception "pandama") terms-tg.txt 431-431

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


(domainSubclass SenseImpairmentFn 1 Perception) Merge.kif 13489-13489 SenseImpairmentFn 的 1 数量 是 感知subclass
(domainSubclass SenseInabilityFn 1 Perception) Merge.kif 13509-13509 SenseInabilityFn 的 1 数量 是 感知subclass

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


(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))
Merge.kif 13455-13459
(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))
Merge.kif 17618-17625

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


(=>
    (and
        (instance ?ELT ExperiencingALumpInTheThroat)
        (experiencer ?ELT ?A))
    (exists (?P ?T)
        (and
            (instance ?P Perception)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Throat)
            (part ?T ?A))))
emotion.kif 1710-1721
(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P ?PAIN ?T)
        (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 1583-1597
(=>
    (and
        (instance ?ELT ExperiencingHeatInCheeksOrChest)
        (experiencer ?ELT ?A))
    (exists (?P ?T)
        (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 1738-1751
(=>
    (and
        (instance ?G Gaslighting)
        (agent ?G ?A)
        (suffers ?G ?H))
    (exists (?P)
        (and
            (instance ?P Perception)
            (experiencer ?P ?H)
            (causesProposition
                (suffers ?G ?H)
                (not
                    (knows ?H
                        (result ?P ?R)))))))
Medicine.kif 3665-3678
(=>
    (and
        (instance ?H Hallucination)
        (experiencer ?H ?P))
    (exists (?PER ?PROP)
        (and
            (instance ?PER Perception)
            (experiencer ?PER ?P)
            (causes ?H ?PER)
            (containsInformation ?PER ?PROP)
            (truth ?PROP False))))
Mid-level-ontology.kif 6429-6439
(=>
    (and
        (instance ?P HeartPalpitations)
        (experiencer ?P ?H)
        (instance ?HEART Heart)
        (part ?HEART ?H))
    (exists (?PER)
        (and
            (instance ?PER Perception)
            (experiencer ?PER ?H)
            (patient ?PER ?HEART))))
Medicine.kif 2060-2070
(=>
    (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 865-877
(=>
    (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 852-863
(=>
    (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 793-803
(=>
    (instance ?AGENT SentientAgent)
    (capability Perception experiencer ?AGENT))
Merge.kif 13461-13463
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 15844-15852
(=>
    (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 15854-15865


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