No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18111-18119 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4365-4372 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6425-6434 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5485-5493 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 122-130 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 |