No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16561-16575 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1097-1104 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4265-4270 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6921-6927 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 51-55 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16542-16554 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 569-589 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2229-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 102-121 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3490-3495 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4285-4288 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4253-4255 |
|