No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1707-1715 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9711-9720 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 513-526 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8052-8060 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31893-31901 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8068-8076 |
|