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 14735-14736
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 14734-14734 子類 Protein and Nutrient

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


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

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 342-342 域子類 相關功能, 2 and Protein

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


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