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 51665-51665 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51664-51664 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51663-51663 |
|