No TPTP formula. May not be expressible in strict first order. | Food.kif 1946-1946 | Shellfish is a subclass of seafood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1950-1950 | Crab is a subclass of shellfish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1954-1954 | Crayfish is a subclass of shellfish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1956-1956 | Crayfish is a subclass of shellfish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1959-1959 | Lobster is a subclass of shellfish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1963-1963 | Shrimp is a subclass of shellfish |