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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HydrophobicLipidTail
HydrophobicLipidTail

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


(documentation HydrophobicLipidTail EnglishLanguage "The class of tails of molecules that have hydrophobic tails.") VirusProteinAndCellPart.kif 526-527
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 525-525

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


(termFormat ChineseLanguage HydrophobicLipidTail "疏水脂质尾") domainEnglishFormat.kif 29061-29061
(termFormat ChineseTraditionalLanguage HydrophobicLipidTail "疏水脂質尾") domainEnglishFormat.kif 29060-29060
(termFormat EnglishLanguage HydrophobicLipidTail "hydrophobic lipid tail") domainEnglishFormat.kif 29059-29059

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


(=>
    (instance ?MOLECULE LipidMembraneMolecule)
    (exists (?TAIL)
        (and
            (instance ?TAIL HydrophobicLipidTail)
            (part ?TAIL ?MOLECULE))))
VirusProteinAndCellPart.kif 529-534


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