| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2542-2542 |
Crab est une sous-classe de crustac� |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2651-2651 |
Lobster est une sous-classe de crustac� |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 1968-1968 |
Prawn est une sous-classe de crustac� |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 984-984 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1175-1175 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 661-661 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 192-192 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 195-195 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2345-2345 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 613-613 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 229-229 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 682-682 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 196-196 |
|
Crustacean