No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2383-2390 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4345-4354 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25490-25495 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4476-4478 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29534-29542 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4326-4337 |
|