No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2436-2436 |
VitaminA est une sous-classe de vitamine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2448-2448 |
VitaminBComplex est une sous-classe de vitamine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2610-2610 |
VitaminC est une sous-classe de vitamine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2629-2629 |
VitaminD est une sous-classe de vitamine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2655-2655 |
VitaminE est une sous-classe de vitamine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2665-2665 |
VitaminK est une sous-classe de vitamine |
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 |
|