No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8054-8062 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3754-3764 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21474-21489 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16380-16389 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16294-16299 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16395-16404 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9409-9414 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9435-9445 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8795-8801 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19095-19102 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1025-1034 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8879-8886 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8456-8463 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8535-8537 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17300-17306 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 285-299 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 305-319 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8901-8908 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19109-19116 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 424-429 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17070-17076 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |