| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14812-14812 |
动物物质 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 309-309 |
Batrachotoxin 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11992-11992 |
Bile 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14853-14853 |
血液 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1140-1140 |
BloodPlasma 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 323-323 |
肉毒杆菌毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1469-1469 |
芋螺毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 349-349 |
Ε毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2062-2062 |
Excrement 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14834-14834 |
激素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10849-10849 |
液体物质 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12328-12328 |
Mucus 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 218-218 |
霉菌毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12344-12344 |
Neurotransmitter 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14823-14823 |
植物物质 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9181-9181 |
橡胶 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12313-12313 |
Saliva 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1454-1454 |
石房蛤毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1478-1478 |
河豚毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15124-15124 |
身体组织 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1010-1010 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1232-1232 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 687-687 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 218-218 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
BodySubstance