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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EnvelopedVirus
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 "http://upload.wikimedia.org/wikipedia/commons/ 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 1213-1213
(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

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