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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PosterolateralArtery

Sigma KEE - Protein
Protein
more pictures...

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


(documentation Protein ChineseLanguage "这是一种由肽键连接的氨基酸所组成的 Nutrient。") chinese_format.kif 3450-3450
(documentation Protein EnglishLanguage "A Nutrient made up of amino acids joined by peptide bonds.") Merge.kif 14711-14712
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mouse-cholera-antibody-1f4x.png") pictureList.kif 7658-7658
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Protein_Composite.jpg") pictureList.kif 7655-7655
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Myoglobin.png") pictureList.kif 7659-7659
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Localisations02eng.jpg") pictureList.kif 7656-7656
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Proteinviews-1tim.png") pictureList.kif 7660-7660
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/0/00/Protein_Dynamics_Cytochrome_C_2NEW_small.gif") pictureList.kif 6797-6797
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/b/ba/Peptide_bond.jpg") pictureList.kif 7657-7657
(subclass Protein Nutrient) Merge.kif 14710-14710

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14704-14704
(subclass AbrinToxin Protein) WMD.kif 438-438
(subclass Antibody Protein) Mid-level-ontology.kif 9624-9624
(subclass Enzyme Protein) Merge.kif 14714-14714
(subclass Ferritin Protein) Medicine.kif 4919-4919
(subclass GeneRegulatoryProtein Protein) VirusProteinAndCellPart.kif 293-293
(subclass Hemoglobin Protein) Medicine.kif 251-251
(subclass Histone Protein) VirusProteinAndCellPart.kif 300-300
(subclass Interleukin Protein) Medicine.kif 3731-3731
(subclass Lipoprotein Protein) VirusProteinAndCellPart.kif 1076-1076
(subclass MotorProtein Protein) VirusProteinAndCellPart.kif 277-277
(subclass ReceptorProtein Protein) VirusProteinAndCellPart.kif 289-289
(subclass RicinToxin Protein) WMD.kif 430-430
(subclass SignalingProtein Protein) VirusProteinAndCellPart.kif 285-285
(subclass SpecialPurposeProtein Protein) VirusProteinAndCellPart.kif 297-297
(subclass StorageProtein Protein) VirusProteinAndCellPart.kif 281-281
(subclass StructuralProtein Protein) VirusProteinAndCellPart.kif 269-269
(subclass TransportProtein Protein) VirusProteinAndCellPart.kif 273-273
(subclass Troponin Protein) Medicine.kif 3940-3940
(termFormat ChineseLanguage Protein "蛋白质") chinese_format.kif 1006-1006
(termFormat EnglishLanguage Protein "protein") english_format.kif 1224-1224
(termFormat FrenchLanguage Protein "prot�ine") french_format.kif 683-683
(termFormat Hindi Protein "protIna") terms-hindi.txt 214-214
(termFormat ItalianLanguage Protein "Proteina") 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
-------------------------


(domainSubclass associatedFunctionality 2 Protein) VirusProteinAndCellPart.kif 342-342

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


(=>
    (instance ?P Protein)
    (exists (?A)
        (and
            (instance ?A AminoAcid)
            (part ?A ?P))))
Mid-level-ontology.kif 8699-8704

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


(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))
VirusProteinAndCellPart.kif 356-361


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

Show without tree


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