No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2898-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2871-2887 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8139-8147 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4091-4101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 480-492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23091-23106 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17767-17776 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17681-17686 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9462-9467 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11455-11478 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17782-17791 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9545-9550 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9571-9581 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8908-8914 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20666-20673 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1018-1027 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8992-8999 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8569-8576 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8648-8650 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18851-18857 |
|
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 9014-9021 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20680-20687 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 417-422 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |