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 13498-13499 | |
(subclass Perception PsychologicalProcess) | Merge.kif 13497-13497 | Perception is a subclass of psychological process |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass SenseImpairmentFn 1 Perception) | Merge.kif 13535-13535 | The number 1 argument of sense impairment is a subclass of perception |
(domainSubclass SenseInabilityFn 1 Perception) | Merge.kif 13555-13555 | 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 13501-13505 |
|
(=> (and (instance ?PERCEPTION Perception) (patient ?PERCEPTION ?OBJ)) (exists (?PROP) (and (instance ?PROP PerceptualAttribute) (attribute ?OBJ ?PROP)))) |
Merge.kif 17697-17704 |
|
consequent |