No TPTP formula. May not be expressible in strict first order. |
Government.kif 1094-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 336-350 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4088-4098 |
|
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 16450-16462 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18911-18929 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7953-7978 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8736-8756 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8465-8488 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8707-8727 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8034-8059 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8344-8364 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8253-8275 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8776-8797 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8080-8105 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18876-18884 |
|
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 106-125 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2353-2372 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 343-345 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30157-30177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22875-22889 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |