No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18291-18301 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6871-6875 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2138-2146 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30898-30908 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30912-30921 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30940-30954 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2777-2782 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1786-1791 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9711-9720 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3691-3711 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 469-471 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7432-7434 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4280-4283 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3735-3755 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25142-25148 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 176-183 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7453-7458 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 642-647 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 494-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 676-685 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3323-3330 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2471-2480 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |