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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EnvelopedVirus
EnvelopedVirus(enveloped virus)

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


s__documentation(s__EnvelopedVirus,s__EnglishLanguage,'"The class of viruses whose virions have a lipid bilayer formed when the nucleocapsid buds through the cell membrane upon formation."')

VirusProteinAndCellPart.kif 97-99
s__externalImage(s__EnvelopedVirus,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ CMVschema.svg"')

pictureList.kif 4677-4677
s__instance(s__Virus,s__SetOrClass)

s__subclass(s__EnvelopedVirus,s__Virus)

s__instance(s__EnvelopedVirus,s__SetOrClass)

VirusProteinAndCellPart.kif 96-96 Enveloped virus is a subclass of virus

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


s__termFormat(s__ChineseLanguage,s__EnvelopedVirus,'"笼罩病毒"')

domainEnglishFormat.kif 22153-22153
s__termFormat(s__ChineseTraditionalLanguage,s__EnvelopedVirus,'"籠罩病毒"')

domainEnglishFormat.kif 22152-22152
s__termFormat(s__EnglishLanguage,s__EnvelopedVirus,'"enveloped virus"')

domainEnglishFormat.kif 22151-22151

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


s__partition__3(s__Virus,s__UnenvelopedVirus,s__EnvelopedVirus)

VirusProteinAndCellPart.kif 42-42 Virus is exhaustively partitioned into unenveloped virus and enveloped virus

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


( ! [V__OBJ1] :
   (s__instance(V__OBJ1,s__EnvelopedVirus) =>
     ( ? [V__OBJ2] :
       ((s__properPart(V__OBJ2,V__OBJ1)
         &
         s__instance(V__OBJ2,s__ViralCore) &
         ~(( ? [V__OBJ3] :
             ((s__instance(V__OBJ3,s__ViralCore) &
                 s__properPart(V__OBJ3,V__OBJ1)
               &
               ~((V__OBJ3 = V__OBJ2)))))))))
)
)

VirusProteinAndCellPart.kif 600-611


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners