| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14587-14587 | Crustac� est une sous-classe de arthropode |
| 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. | 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� |
|
|