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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13500-13501
(subclass Perception PsychologicalProcess) Merge.kif 13499-13499 子類 Perception and PsychologicalProcess

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


(subclass Hearing Perception) Merge.kif 13630-13630 子類 Hearing and Perception
(subclass Seeing Perception) Merge.kif 13569-13569 子類 Seeing and Perception
(subclass Smelling Perception) Merge.kif 13604-13604 子類 Smelling and Perception
(subclass TactilePerception Perception) Merge.kif 13679-13679 子類 TactilePerception and Perception
(subclass Tasting Perception) Merge.kif 13617-13617 子類 Tasting and Perception
(termFormat ChineseLanguage Perception "感知") chinese_format.kif 1216-1216 子類 Tasting and Perception
(termFormat EnglishLanguage Perception "perception") english_format.kif 1653-1653 子類 Tasting and Perception
(termFormat FrenchLanguage Perception "perception") french_format.kif 894-894 子類 Tasting and Perception
(termFormat Hindi Perception "gyaana") terms-hindi.txt 427-427 子類 Tasting and Perception
(termFormat ItalianLanguage Perception "Percezione") terms-it.txt 430-430 子類 Tasting and Perception
(termFormat JapaneseLanguage Perception "知覚") japanese_format.kif 2578-2578 子類 Tasting and Perception
(termFormat PortugueseLanguage Perception "Percepcao") portuguese_format.kif 846-846 子類 Tasting and Perception
(termFormat cz Perception "perception") terms-cz.txt 466-466 子類 Tasting and Perception
(termFormat de Perception "Wahrnehmung") terms-de.txt 725-725 子類 Tasting and Perception
(termFormat ro Perception "percepþie") relations-ro.kif 915-915 子類 Tasting and Perception
(termFormat tg Perception "pandama") terms-tg.txt 431-431 子類 Tasting and Perception

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


(domainSubclass SenseImpairmentFn 1 Perception) Merge.kif 13537-13537 域子類 SenseImpairmentFn, 1 and Perception
(domainSubclass SenseInabilityFn 1 Perception) Merge.kif 13557-13557 域子類 SenseInabilityFn, 1 and Perception

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


(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))		 Merge.kif 13503-13507
(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))		 Merge.kif 17695-17702

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 3653-3666
(=>
    (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 6456-6466
(=>
    (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 2048-2058
(=>
    (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 13509-13511
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))		 Merge.kif 15888-15896
(=>
    (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 15898-15909


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