No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3040-3054 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29620-29632 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3665-3678 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29590-29593 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18311-18320 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5894-5904 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3061-3068 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 140-145 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 266-268 |
|