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 |