No TPTP formula. May not be expressible in strict first order. |
Government.kif 1096-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 480-496 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 332-346 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 289-308 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3157-3167 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 89-103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13846-13858 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16293-16311 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7960-7985 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8659-8679 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8388-8411 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8630-8650 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8041-8066 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8451-8472 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8267-8287 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8176-8198 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8699-8720 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8087-8112 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16257-16265 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 482-498 |
|
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. |
Hotel.kif 2299-2318 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 384-386 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28036-28056 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20429-20443 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |