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 1040-1047 | |
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 1688-1693 |