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 29608-29620 |
|
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 29578-29581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18310-18319 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5893-5903 |
|
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 |
|