contains |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1000-1011 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 992-998 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1658-1664 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4826-4832 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12246-12251 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6103-6108 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3323-3329 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11402-11408 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1106-1111 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6846-6852 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2054-2060 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4299-4305 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4285-4293 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3632-3656 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2515-2522 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3675-3704 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17406-17408 |