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 8076-8084 |
|
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 21473-21488 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16379-16388 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16293-16298 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11327-11350 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16394-16403 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9431-9436 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9457-9467 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8817-8823 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19094-19101 |
|
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 8901-8908 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8478-8485 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8557-8559 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17299-17305 |
|
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 8923-8930 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19108-19115 |
|
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 17069-17075 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |