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 13591-13592 | |
(subclass Perception PsychologicalProcess) | Merge.kif 13590-13590 | Perception is a subclass of psychological process |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domainSubclass SenseImpairmentFn 1 Perception) | Merge.kif 13628-13628 | The number 1 argument of sense impairment is a subclass of perception |
(domainSubclass SenseInabilityFn 1 Perception) | Merge.kif 13648-13648 | 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 13594-13598 |
|
(=> (and (instance ?PERCEPTION Perception) (patient ?PERCEPTION ?OBJ)) (exists (?PROP) (and (instance ?PROP PerceptualAttribute) (attribute ?OBJ ?PROP)))) |
Merge.kif 17786-17793 |
|
consequent |
![]() |
![]() |
![]() |