Below
|
|
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 17086-17089 | |
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 17085-17085 | 例 下面 and AntiSymmetricPositionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17084-17084 | 例 下面 and PositionalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17073-17073 | 相反的屬性 以上 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 17091-17095 | 方位 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 12930-12941 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11587-11592 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9730-9735 | |
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 7736-7738 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15411-15420 | |
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 17678-17683 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26902-26911 | |
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 19237-19248 |