No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14054-14057 |
|
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 10244-10259 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12068-12084 |
|
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 12327-12333 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8623-8634 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13279-13284 |
|
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 22110-22118 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9696-9708 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9716-9728 |
|
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 8543-8545 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8539-8541 |
|
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 12420-12440 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22100-22108 |
|