No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14704-14704 |
营养 分拆成不相交的 蛋白质, 碳水化物, 和 维生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 438-438 |
Abrin毒素 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9624-9624 |
抗体 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14714-14714 |
酶 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4919-4919 |
Ferritin 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 293-293 |
基因调控蛋白 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 251-251 |
Hemoglobin 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 300-300 |
Histone 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3731-3731 |
Interleukin 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1076-1076 |
脂蛋白 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 277-277 |
运动蛋白 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 289-289 |
受体蛋白 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
蓖麻毒素 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 285-285 |
信号蛋白 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 297-297 |
特殊用途蛋白质 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 281-281 |
储存蛋白质 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 269-269 |
结构蛋白 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 273-273 |
转运蛋白 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3940-3940 |
Troponin 是 蛋白质 的 subclass |
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 |