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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Virus

Sigma KEE - Virus
Virus

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


(documentation Virus ChineseLanguage "这是一种由一层蛋白质保护层包围的单个核酸核心所组成的 Organism。 病毒这可能在它宿的活细胞内复制,它只表现有一些、而不是生物常见的所有特征。") chinese_format.kif 3397-3398
(documentation Virus EnglishLanguage "An Organism consisting of a core of a single nucleic acid enclosed in a protective coat of protein. A virus may replicate only inside a host living cell. A virus exhibits some but not all of the usual characteristics of living things.") Merge.kif 14211-14214
(externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") pictureList.kif 888-888
(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 partition Virus, DNAVirus and RNAVirus
(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42 partition Virus, UnenvelopedVirus and EnvelopedVirus
(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41 partition Virus, VirusDoubleStranded and VirusSingleStranded
(subclass Virus Microorganism) Merge.kif 14210-14210 subclass Virus and Microorganism

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


(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 55-55 subclass DNAVirus and Virus
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 96-96 subclass EnvelopedVirus and Virus
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 81-81 subclass RNAVirus and Virus
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 2007-2007 subclass TickBorneEncephalitisVirus and Virus
(subclass UnenvelopedVirus Virus) VirusProteinAndCellPart.kif 92-92 subclass UnenvelopedVirus and Virus
(subclass ViralAgent Virus) WMD.kif 231-231 subclass ViralAgent and Virus
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 101-101 subclass VirusDoubleStranded and Virus
(subclass VirusSingleStranded Virus) VirusProteinAndCellPart.kif 105-105 subclass VirusSingleStranded and Virus
(termFormat ChineseLanguage Virus "病毒") chinese_format.kif 975-975
(termFormat EnglishLanguage Virus "virus") english_format.kif 1157-1157
(typicalPart ViralGenome Virus) VirusProteinAndCellPart.kif 598-598 typicalPart ViralGenome and Virus
(typicalPart VirionEnzyme Virus) VirusProteinAndCellPart.kif 623-623 typicalPart VirionEnzyme and Virus

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


(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 644-644 domain ViralPartFn, 1 and Virus
(domain geneticSubstrateOfVirus 1 Virus) VirusProteinAndCellPart.kif 35-35 domain geneticSubstrateOfVirus, 1 and Virus
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25 domain invadingVirus, 2 and Virus
(domainSubclass vaccine 2 Virus) WMD.kif 1079-1079 domainSubclass vaccine, 2 and Virus

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


(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14216-14220
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14222-14230
(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 632-637

consequent
-------------------------


(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 625-630
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 591-596


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