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 3166-3176 |
|
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 13874-13886 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16324-16342 |
|
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 16288-16296 |
|
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 2300-2319 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 386-388 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28081-28101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20472-20486 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |