meetsSpatially |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5150-5158 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5184-5192 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2782-2795 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2803-2816 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9509-9513 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10086-10093 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10076-10084 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 695-697 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 22-27 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4508-4510 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 952-957 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 942-950 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 934-940 | |
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. | Merge.kif 14174-14179 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5782-5787 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3698-3704 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1545-1553 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8969-8974 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2782-2792 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2843-2872 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18477-18488 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2514-2524 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14194-14206 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14216-14221 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |