Shellfish - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1947-1948
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6850-6850
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7833-7833
No TPTP formula. May not be expressible in strict first order.	Food.kif 1946-1946	子類貝類 and 海鮮

appearance as argument number 2

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 貝類
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52509-52509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52508-52508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52507-52507