Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Protein
Protein(蛋白质)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3450-3450
No TPTP formula. May not be expressible in strict first order. Merge.kif 14689-14690
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7658-7658
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7655-7655
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7659-7659
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7656-7656
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7660-7660
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6797-6797
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7657-7657
No TPTP formula. May not be expressible in strict first order. Merge.kif 14688-14688 蛋白质 是 营养 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14682-14682 营养 分拆成不相交的 蛋白质, 碳水化物, 和 维生素
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 9625-9625 抗体 是 蛋白质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14692-14692 酶 是 蛋白质 的 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 1077-1077 脂蛋白 是 蛋白质 的 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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 342-342 相关功能 的 2 数量 是 蛋白质 的 subclass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8700-8705

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 356-361


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners