Outside |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9107-9109 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9105-9105 | Outside e' uma instancia de Atributo Posicional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9106-9106 | Inside e' &o oposto de Outside |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43722-43722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43721-43721 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43720-43720 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9119-9122 | Objeto e' Outside em relacao a Objeto Objeto e' parcialmente localizado em Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 863-872 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 852-861 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 954-967 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9111-9113 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2693-2704 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1057-1065 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1072-1080 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 548-564 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4350-4357 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9507-9519 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4669-4680 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11691-11701 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9124-9127 |