![]() |
![]() ![]() ![]()
|
![]() |
|
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 13206-13207 | |
(subclass Perception PsychologicalProcess) | Merge.kif 13205-13205 | Perception is a subclass of psychological process |
appearance as argument number 2 |
![]() |
(subclass Hearing Perception) | Merge.kif 13336-13336 | Hearing is a subclass of perception |
(subclass Seeing Perception) | Merge.kif 13275-13275 | Seeing is a subclass of perception |
(subclass Smelling Perception) | Merge.kif 13310-13310 | Smelling is a subclass of perception |
(subclass TactilePerception Perception) | Merge.kif 13385-13385 | Tactile perception is a subclass of perception |
(subclass Tasting Perception) | Merge.kif 13323-13323 | Tasting is a subclass of perception |
(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 13243-13243 | The number 1 argument of sense impairment is a subclass of perception |
(domainSubclass SenseInabilityFn 1 Perception) | Merge.kif 13263-13263 | The number 1 argument of no ability of is a subclass of perception |
antecedent |
![]() |
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal)) |
Merge.kif 13209-13213 |
|
(=> (and (instance ?PERCEPTION Perception) (patient ?PERCEPTION ?OBJ)) (exists (?PROP) (and (instance ?PROP PerceptualAttribute) (attribute ?OBJ ?PROP)))) |
Merge.kif 17349-17356 |
|
consequent |
![]() |
![]() |
![]() |