No TPTP formula. May not be expressible in strict first order. |
Food.kif 1939-1939 |
FishMeat e' uma sub-classe de Seafood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1982-1982 |
MolluskMeat e' uma sub-classe de Seafood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1946-1946 |
Shellfish e' uma sub-classe de 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 |
|