No TPTP formula. May not be expressible in strict first order. |
Food.kif 1988-1988 |
AbaloneMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1991-1991 |
ClamMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1994-1994 |
ConchMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2014-2014 |
CuttlefishMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1997-1997 |
LocoMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2000-2000 |
MusselMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2017-2017 |
OctopusMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2003-2003 |
OysterMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2007-2007 |
ScallopMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2020-2020 |
SquidMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2011-2011 |
WaterSnailMeat est une sous-classe de MolluskMeat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1985-1985 |
|