| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14414-14414 |
子類 Alga and NonFloweringPlant |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14441-14441 |
子類 Fern and NonFloweringPlant |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6322-6322 |
子類 青苔 and NonFloweringPlant |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14437-14437 |
子類 Moss and NonFloweringPlant |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 967-967 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1141-1141 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 644-644 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 175-175 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 178-178 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2328-2328 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 596-596 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 212-212 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 665-665 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 179-179 |
|
