No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15426-15429 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 510-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10362-10377 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12196-12212 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 438-455 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3631-3647 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12455-12461 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9830-9841 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13411-13416 |
|
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 468-483 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23754-23762 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11026-11038 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11046-11058 |
|
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 8634-8636 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8630-8632 |
|
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 13752-13772 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23744-23752 |
|