Outside
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9134-9136 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9132-9132 | Outside est une instance de attribut positionnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9133-9133 | Inside est l'oppos� de Outside |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43724-43724 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43723-43723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43722-43722 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9146-9149 | Objet est Outside � objet objet est partiellement localis� � objet |
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 9138-9140 |
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 4335-4342 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9534-9546 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4654-4665 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11718-11728 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9151-9154 |