No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1847-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 549-556 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6423-6433 |
|
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. |
Mid-level-ontology.kif 915-922 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 586-593 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19375-19381 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13073-13078 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17600-17606 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17612-17618 |
|