No TPTP formula. May not be expressible in strict first order. | engineering.kif 826-831 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4732-4740 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3600-3605 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1041-1048 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 855-860 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1694-1699 |