No TPTP formula. May not be expressible in strict first order. |
Food.kif 1988-1988 |
Abalone is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1991-1991 |
Clam is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1994-1994 |
Conch is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2014-2014 |
Cuttlefish is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1997-1997 |
Loco is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2000-2000 |
Mussel is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2017-2017 |
Octopus is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2003-2003 |
Oyster is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2007-2007 |
Scallop is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2020-2020 |
Squid is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2011-2011 |
Water snail is a subclass of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1985-1985 |
|