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 13474-13475
(subclass Perception PsychologicalProcess) Merge.kif 13473-13473 知覚 は 精神的プロセス の subclass では %n

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


(subclass Hearing Perception) Merge.kif 13604-13604 聴覚 は 知覚 の subclass では %n
(subclass Seeing Perception) Merge.kif 13543-13543 見ること は 知覚 の subclass では %n
(subclass Smelling Perception) Merge.kif 13578-13578 臭い は 知覚 の subclass では %n
(subclass TactilePerception Perception) Merge.kif 13653-13653 触覚 は 知覚 の subclass では %n
(subclass Tasting Perception) Merge.kif 13591-13591 試食 は 知覚 の subclass では %n
(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 13511-13511 SenseImpairmentFn の数値 1 引数は 知覚 のsubclass では %n
(domainSubclass SenseInabilityFn 1 Perception) Merge.kif 13531-13531 SenseInabilityFn の数値 1 引数は 知覚 のsubclass では %n

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


(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))		 Merge.kif 13477-13481
(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))		 Merge.kif 17640-17647

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 6428-6438
(=>
    (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 13483-13485
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))		 Merge.kif 15866-15874
(=>
    (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 15876-15887


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