No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18921-18927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20645-20649 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20679-20683 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 128-130 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18955-18959 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 829-832 |
|