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。") Merge.kif 13322-13323
(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 13320-13321
(subclass Perception PsychologicalProcess) Merge.kif 13319-13319

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


(subclass Hearing Perception) Merge.kif 13403-13403
(subclass Seeing Perception) Merge.kif 13335-13335
(subclass Smelling Perception) Merge.kif 13373-13373
(subclass TactilePerception Perception) Merge.kif 13459-13459
(subclass Tasting Perception) Merge.kif 13388-13388
(termFormat ChineseLanguage Perception "感知") chinese_format.kif 1216-1216
(termFormat EnglishLanguage Perception "perception") english_format.kif 903-903
(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 428-428
(termFormat PortugueseLanguage Perception "Percepcao") portuguese_format.kif 846-846
(termFormat cz Perception "perception") terms-cz.txt 466-466
(termFormat tg Perception "pandama") terms-tg.txt 431-431

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


(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))
Merge.kif 13325-13329
(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))
Merge.kif 17902-17909

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 1672-1683
(=>
    (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 1545-1559
(=>
    (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 1695-1708
(=>
    (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 867-879
(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (exists (?P ?H)
        (and
            (instance ?P Perception)
            (patient ?P ?H)
            (instance ?H Human)
            (during
                (WhenFn ?P) ?T))))
emotion.kif 857-865
(=>
    (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 798-808
(=>
    (instance ?AGENT SentientAgent)
    (capability Perception experiencer ?AGENT))
Merge.kif 13331-13333
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))
Merge.kif 15868-15876
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?P)
            (and
                (instance ?H Human)
                (desires ?H
                    (exists (?P)
                        (and
                            (instance ?P Perception)
                            (experiencer ?P ?H)
                            (patient ?P ?AW))))))))
Merge.kif 15878-15889


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