No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10631-10643 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1411-1421 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8264-8271 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7702-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7877-7893 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 437-441 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 610-627 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16561-16575 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1492-1500 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1505-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3721-3739 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 49-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25947-25960 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1192-1207 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11763-11773 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18701-18712 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6595-6607 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18564-18577 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13610-13624 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18586-18594 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3590-3601 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3885-3895 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |