No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1671-1679 |
|
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 508-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6555-6563 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29405-29413 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6571-6579 |
|