No TPTP formula. May not be expressible in strict first order. |
naics.kif 2563-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20133-20140 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 993-995 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1674-1681 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5058-5077 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 967-975 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8787-8789 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9079-9081 |
|