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 525-526
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 524-524 子類 疏水脂質尾 and PureSubstance

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 528-533


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