| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21083-21083 |
Circumision est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 742-742 |
Cricothyroidotomy est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4627-4627 |
OrganTransplant est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4425-4425 |
Septoplasty est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4653-4653 |
Terfenadine est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1159-1159 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1535-1535 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 837-837 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 369-369 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 372-372 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2521-2521 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 789-789 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 374-374 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 408-408 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 858-858 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 373-373 |
|
