No TPTP formula. May not be expressible in strict first order. | Food.kif 1946-1946 | 子類 貝類 and 海鮮 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1950-1950 | 子類 CrabMeat and 貝類 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1954-1954 | 子類 小龍蝦 and 貝類 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1956-1956 | 子類 CrayfishMeat and 貝類 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1959-1959 | 子類 LobsterMeat and 貝類 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1963-1963 | 子類 PrawnMeat and 貝類 |