No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15046-15046 |
蛋 是 繁殖体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15077-15077 |
水果或蔬菜 是 繁殖体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2683-2683 |
Mushroom 是 繁殖体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15070-15070 |
花粉 是 繁殖体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15058-15058 |
种子 是 繁殖体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15083-15083 |
孢子 是 繁殖体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1017-1017 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1246-1246 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 695-695 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 229-229 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2378-2378 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 647-647 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 264-264 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 716-716 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 230-230 |
|