No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14055-14058 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 546-553 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10222-10237 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12046-12062 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 436-453 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3628-3644 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12305-12311 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8624-8635 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13257-13262 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 153-160 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 466-481 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22111-22119 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9697-9709 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9717-9729 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1046-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8521-8523 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8517-8519 |
|
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 12421-12441 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22101-22109 |
|