No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2906-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5326-5333 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
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. |
ComputerInput.kif 2120-2131 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9925-9931 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2483-2489 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 949-958 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11530-11537 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17142-17163 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10274-10280 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10562-10571 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10584-10593 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1692-1698 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1445-1457 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1426-1438 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1407-1419 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12678-12691 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12638-12651 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 511-517 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1129-1142 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 80-94 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11753-11768 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6055-6074 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |