| Perception(感知) | |
| 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 13606-13607 | |
| (subclass Perception PsychologicalProcess) | Merge.kif 13605-13605 | 感知 是 心理过程 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Hearing Perception) | Merge.kif 13736-13736 | 听 是 感知 的 subclass |
| (subclass Seeing Perception) | Merge.kif 13675-13675 | 看 是 感知 的 subclass |
| (subclass Smelling Perception) | Merge.kif 13710-13710 | 嗅 是 感知 的 subclass |
| (subclass TactilePerception Perception) | Merge.kif 13785-13785 | 触觉 是 感知 的 subclass |
| (subclass Tasting Perception) | Merge.kif 13723-13723 | 尝 是 感知 的 subclass |
| (termFormat ChineseLanguage Perception "感知") | chinese_format.kif 1216-1216 | 尝 是 感知 的 subclass |
| (termFormat EnglishLanguage Perception "perception") | english_format.kif 1653-1653 | 尝 是 感知 的 subclass |
| (termFormat FrenchLanguage Perception "perception") | french_format.kif 894-894 | 尝 是 感知 的 subclass |
| (termFormat Hindi Perception "gyaana") | terms-hindi.txt 427-427 | 尝 是 感知 的 subclass |
| (termFormat ItalianLanguage Perception "Percezione") | terms-it.txt 430-430 | 尝 是 感知 的 subclass |
| (termFormat JapaneseLanguage Perception "知覚") | japanese_format.kif 2578-2578 | 尝 是 感知 的 subclass |
| (termFormat PortugueseLanguage Perception "Percepcao") | portuguese_format.kif 846-846 | 尝 是 感知 的 subclass |
| (termFormat cz Perception "perception") | terms-cz.txt 466-466 | 尝 是 感知 的 subclass |
| (termFormat de Perception "Wahrnehmung") | terms-de.txt 725-725 | 尝 是 感知 的 subclass |
| (termFormat ro Perception "percepþie") | relations-ro.kif 915-915 | 尝 是 感知 的 subclass |
| (termFormat tg Perception "pandama") | terms-tg.txt 431-431 | 尝 是 感知 的 subclass |
| appearance as argument number 3 |
|
|
| (domainSubclass SenseImpairmentFn 1 Perception) | Merge.kif 13643-13643 | SenseImpairmentFn 的 1 数量 是 感知 的 subclass |
| (domainSubclass SenseInabilityFn 1 Perception) | Merge.kif 13663-13663 | SenseInabilityFn 的 1 数量 是 感知 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal)) |
Merge.kif 13609-13613 | |
| (=> (and (instance ?PERCEPTION Perception) (patient ?PERCEPTION ?OBJ)) (exists (?PROP) (and (instance ?PROP PerceptualAttribute) (attribute ?OBJ ?PROP)))) |
Merge.kif 17801-17808 |
| consequent |
|
|
|
|
|