| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14834-14834 |
子類 動物物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 309-309 |
子類 batrachotoxin and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11991-11991 |
子類 Bile and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14875-14875 |
子類 Blood and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1140-1140 |
子類 BloodPlasma and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 323-323 |
子類 肉毒桿菌毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1469-1469 |
子類 芋螺毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 349-349 |
子類 ε毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2062-2062 |
子類 Excrement and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14856-14856 |
子類 Hormone and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10848-10848 |
子類 液體物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12327-12327 |
子類 Mucus and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 218-218 |
子類 黴菌毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12343-12343 |
子類 Neurotransmitter and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14845-14845 |
子類 植物物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9180-9180 |
子類 橡膠 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12312-12312 |
子類 Saliva and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1454-1454 |
子類 石房蛤毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1478-1478 |
子類 河豚毒素 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15146-15146 |
子類 Tissue and BodySubstance |
| 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