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


(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 97-99
(externalImage EnvelopedVirus "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ CMVschema.svg") pictureList.kif 4677-4677
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 96-96 Enveloped virus is a subclass of virus

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


(termFormat ChineseLanguage EnvelopedVirus "笼罩病毒") domainEnglishFormat.kif 22153-22153
(termFormat ChineseTraditionalLanguage EnvelopedVirus "籠罩病毒") domainEnglishFormat.kif 22152-22152
(termFormat EnglishLanguage EnvelopedVirus "enveloped virus") domainEnglishFormat.kif 22151-22151

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


(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42 Virus is exhaustively partitioned into unenveloped virus and enveloped virus

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


(=>
    (instance ?OBJ1 EnvelopedVirus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 ViralCore)
            (not
                (exists (?OBJ3)
                    (and
                        (instance ?OBJ3 ViralCore)
                        (properPart ?OBJ3 ?OBJ1)
                        (not
                            (equal ?OBJ3 ?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 3.0 is open source software produced by Articulate Software and its partners