| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14519-14519 | 子類 Mollusk and Invertebrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20155-20155 | 子類 腹 and Mollusk |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30504-30504 | 子類 Octopus and Mollusk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2407-2407 | 子類 Squid and Mollusk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2713-2713 | 子類 Oyster and Mollusk |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3364-3364 | 子類 Scallop and Mollusk |
|
|