![]() |
![]() ![]() ![]()
|
![]() |
|
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 13311-13312 | |
(subclass Perception PsychologicalProcess) | Merge.kif 13310-13310 |
appearance as argument number 2 |
![]() |
(subclass Hearing Perception) | Merge.kif 13441-13441 | |
(subclass Seeing Perception) | Merge.kif 13380-13380 | |
(subclass Smelling Perception) | Merge.kif 13415-13415 | |
(subclass TactilePerception Perception) | Merge.kif 13490-13490 | |
(subclass Tasting Perception) | Merge.kif 13428-13428 | |
(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 13348-13348 | |
(domainSubclass SenseInabilityFn 1 Perception) | Merge.kif 13368-13368 |
antecedent |
![]() |
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal)) |
Merge.kif 13314-13318 | |
(=> (and (instance ?PERCEPTION Perception) (patient ?PERCEPTION ?OBJ)) (exists (?PROP) (and (instance ?PROP PerceptualAttribute) (attribute ?OBJ ?PROP)))) |
Merge.kif 17460-17467 |
consequent |
![]() |
![]() |
![]() |