Perception
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3308-3309 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13452-13453 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13451-13451 | 感知 是 心理过程 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13582-13582 | 听 是 感知 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13521-13521 | 看 是 感知 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13556-13556 | 嗅 是 感知 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13631-13631 | 触觉 是 感知 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13569-13569 | 尝 是 感知 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1216-1216 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1653-1653 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 894-894 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 427-427 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 430-430 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2578-2578 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 846-846 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 466-466 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 915-915 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 431-431 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13489-13489 | SenseImpairmentFn 的 1 数量 是 感知 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13509-13509 | SenseInabilityFn 的 1 数量 是 感知 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13455-13459 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17618-17625 |
consequent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1710-1721 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1583-1597 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1738-1751 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6429-6439 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2060-2070 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 865-877 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 852-863 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 793-803 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13461-13463 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15844-15852 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15854-15865 |