| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2685-2685 |
%每个 Mushroom 是 菌类 的 initially part |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 214-214 |
真菌剂 是 菌类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 969-969 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1145-1145 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 646-646 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 177-177 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 180-180 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2330-2330 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 598-598 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 182-182 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 214-214 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 667-667 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 181-181 |
|
Fungus