| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2436-2436 |
VitaminA 是 维生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2448-2448 |
VitaminBComplex 是 维生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2610-2610 |
VitaminC 是 维生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2629-2629 |
VitaminD 是 维生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2655-2655 |
VitaminE 是 维生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2665-2665 |
VitaminK 是 维生素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1009-1009 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1230-1230 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 686-686 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 217-217 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 220-220 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2370-2370 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 638-638 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 222-222 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 254-254 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 707-707 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 221-221 |
|
Vitamin