No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14728-14728 |
不相交分解 Nutrient, Protein, Carbohydrate and Vitamin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 438-438 |
子類 abrin毒素 and Protein |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9652-9652 |
子類 抗體 and Protein |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14738-14738 |
子類 Enzyme and Protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4919-4919 |
子類 Ferritin and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 293-293 |
子類 基因調控蛋白 and Protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 251-251 |
子類 Hemoglobin and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 300-300 |
子類 Histone and Protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3731-3731 |
子類 Interleukin and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1078-1078 |
子類 脂蛋白 and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 277-277 |
子類 運動蛋白 and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 289-289 |
子類 受體蛋白 and Protein |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
子類 蓖麻毒素 and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 285-285 |
子類 信號蛋白 and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 297-297 |
子類 特殊用途蛋白質 and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 281-281 |
子類 儲存蛋白質 and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 269-269 |
子類 結構蛋白 and Protein |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 273-273 |
子類 轉運蛋白 and Protein |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3940-3940 |
子類 Troponin and Protein |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1006-1006 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1224-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 683-683 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 217-217 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |