![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3819-3821 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17108-17111 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10513-10513 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10511-10511 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10514-10514 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10508-10508 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10515-10515 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9906-9906 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10510-10510 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10512-10512 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10509-10509 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17107-17107 | 例 下面 and AntiSymmetricPositionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17106-17106 | 例 下面 and PositionalAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17095-17095 | 相反的屬性 以上 and 下面 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10703-10703 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10702-10702 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10701-10701 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 534-534 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17113-17117 | 方位 Object, Object and 下面 方位 Object, Object and 上 方位 Object, Object and 以上 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3999-4010 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12929-12940 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11609-11614 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21146-21176 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9752-9757 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1157-1165 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7758-7760 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15410-15419 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6072-6079 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17677-17682 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26890-26899 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 328-333 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3991-3997 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19236-19247 |
![]() |
![]() |