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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnvelopedVirus

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

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


(subclass Coronavirus EnvelopedVirus) VirusProteinAndCellPart.kif 1213-1213 Coronavirus is a subclass of enveloped virus
(termFormat ChineseLanguage EnvelopedVirus "笼罩病毒") domainEnglishFormat.kif 22228-22228
(termFormat ChineseTraditionalLanguage EnvelopedVirus "籠罩病毒") domainEnglishFormat.kif 22227-22227
(termFormat EnglishLanguage EnvelopedVirus "enveloped virus") domainEnglishFormat.kif 22226-22226

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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