No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18920-18926 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20644-20648 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20678-20682 |
|
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 18954-18958 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 829-832 |
|