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 | Below est une instance de AntiSymmetricPositionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17084-17084 | Below est une instance de attribut positionnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17073-17073 | Above est l'oppos� de Below |
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 | Objet est Below � objet objet est On � objet objet est Above � objet |
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 |