No TPTP formula. May not be expressible in strict first order. |
Government.kif 1129-1149 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 484-500 |
|
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 3195-3205 |
|
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 15645-15657 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17996-18014 |
|
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 17961-17969 |
|
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 2326-2345 |
|
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 29280-29300 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22006-22020 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |