| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14519-14519 | Mollusk is a subclass of invertebrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20155-20155 | Gastropod is a subclass of mollusk |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30504-30504 | Octopus is a subclass of mollusk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2407-2407 | Squid is a subclass of mollusk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2713-2713 | Oyster is a subclass of mollusk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3364-3364 | Scallop is a subclass of mollusk |
|
|