| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14436-14436 |
Algue est une sous-classe de plante non florissante |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14463-14463 |
Foug�re est une sous-classe de plante non florissante |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6322-6322 |
Lichen est une sous-classe de plante non florissante |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14459-14459 |
Mousse est une sous-classe de plante non florissante |
| 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 |
|
