| No TPTP formula. May not be expressible in strict first order. | Food.kif 1946-1946 | Shellfish e' uma sub-classe de Seafood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1950-1950 | CrabMeat e' uma sub-classe de Shellfish |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1954-1954 | Crayfish e' uma sub-classe de Shellfish |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1956-1956 | CrayfishMeat e' uma sub-classe de Shellfish |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1959-1959 | LobsterMeat e' uma sub-classe de Shellfish |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1963-1963 | PrawnMeat e' uma sub-classe de Shellfish |
|
|