Seafood(seafood)![]() | ![]() | coquille, freshwater_fish, seafood, seafood_Newburg |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1922-1923 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 936-936 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1921-1921 | Seafood is a subclass of meat |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1939-1939 | Fish meat is a subclass of seafood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1982-1982 | Mollusk is a subclass of seafood |
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. | domainEnglishFormat.kif 51663-51663 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51662-51662 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51661-51661 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 |
|
![]() |
![]() |