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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - EnvelopedVirus

appearance as argument number 1

(documentation EnvelopedVirus EnglishLanguage "The class of viruses whose virions have a lipid bilayer formed when the nucleocapsid buds through the cell membrane upon formation.") VirusProteinAndCellPart.kif 142-144
(externalImage EnvelopedVirus " 9/ 91/ CMVschema.svg") pictureList.kif 4676-4676
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 141-141

appearance as argument number 2

(subclass Coronavirus EnvelopedVirus) VirusProteinAndCellPart.kif 797-797
(termFormat ChineseLanguage EnvelopedVirus "笼罩病毒") domainEnglishFormat.kif 22234-22234
(termFormat ChineseTraditionalLanguage EnvelopedVirus "籠罩病毒") domainEnglishFormat.kif 22233-22233
(termFormat EnglishLanguage EnvelopedVirus "enveloped virus") domainEnglishFormat.kif 22232-22232

appearance as argument number 3

(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42


    (instance ?OBJ1 EnvelopedVirus)
    (exists (?OBJ2)
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 ViralCore)
                (exists (?OBJ3)
                        (instance ?OBJ3 ViralCore)
                        (properPart ?OBJ3 ?OBJ1)
                            (equal ?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 769-780

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