No TPTP formula. May not be expressible in strict first order. | Merge.kif 14519-14519 | 软体动物 是 无脊椎动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20155-20155 | 腹 是 软体动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30504-30504 | Octopus 是 软体动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2407-2407 | Squid 是 软体动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2713-2713 | Oyster 是 软体动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3364-3364 | Scallop 是 软体动物 的 subclass |