No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3652-3657 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2336-2351 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2382-2397 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23513-23526 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25840-25852 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1753-1773 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 156-169 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 233-239 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22470-22475 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1110-1117 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 87-96 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 49-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7467-7474 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1806-1812 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1487-1494 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1478-1485 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 742-751 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 634-638 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 561-574 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 505-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 601-614 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 624-631 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 669-682 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |