| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1470-1470 |
软体动物 是 芋螺毒素 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1455-1455 |
软体动物 是 石房蛤毒素 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 1986-1986 |
MolluskMeat 是 软体动物 的 meat |
| 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 2713-2713 |
Oyster 是 软体动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3364-3364 |
Scallop 是 软体动物 的 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. |
chinese_format.kif 979-979 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1165-1165 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 656-656 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 187-187 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 190-190 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2340-2340 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 608-608 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 224-224 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 677-677 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 191-191 |
|
Mollusk