Above
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17073-17073 | Above e' &o oposto de Below |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3817-3818 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17074-17077 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10350-10350 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10349-10349 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10351-10351 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17072-17072 | Above e' uma instancia de AntiSymmetricPositionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | Above e' uma instancia de Atributo Posicional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5100-5100 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5099-5099 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5098-5098 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 533-533 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2537-2550 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2566-2580 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17079-17082 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17091-17095 | Objeto e' Below em relacao a Objeto Objeto e' On em relacao a Objeto Objeto e' Above em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7714-7716 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9715-9720 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1469-1481 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1488-1500 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5561-5570 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9539-9544 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4288-4297 |
|
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. | Mid-level-ontology.kif 30316-30323 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15385-15392 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2037-2046 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3878-3886 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3958-3969 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19220-19231 |
|