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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Virus
Virus(virus)
Arenaviridae, Bunyaviridae, CMV, Coxsackie_virus, EBV, Epstein-Barr_virus, Filoviridae, Flaviviridae, HS1, HS2, HSV-1, HSV-2, HSV-I, HSV-II, HTLV-1, Reoviridae, Rhabdoviridae, TMV, Togaviridae, WTV, adenovirus, alphavirus, animal_virus, arenavirus, bacteriophage, bacteriophagic, bacteriophagous, bunyavirus, cosmid, coxsackievirus, cytomegalovirus, echovirus, enterovirus, filovirus, flavivirus, herpes, herpes_simplex, herpes_simplex_1, herpes_simplex_2, herpes_simplex_virus, herpes_varicella_zoster, herpes_varicella_zoster_virus, herpes_virus, herpes_zoster, herpes_zoster_virus, human_T-cell_leukemia_virus-1, human_papilloma_virus, lymphocytic_choriomeningitis_virus, lyssavirus, myxoma_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 13444-13447
(externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") pictureList.kif 888-888
(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 Virus is exhaustively partitioned into DNA virus and RNA virus
(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42 Virus is exhaustively partitioned into unenveloped virus and enveloped virus
(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41 Virus is exhaustively partitioned into virus double stranded and virus single stranded
(subclass Virus Microorganism) Merge.kif 13443-13443 Virus is a subclass of microorganism

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


(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 55-55 DNA virus is a subclass of virus
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 96-96 Enveloped virus is a subclass of virus
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 81-81 RNA virus is a subclass of virus
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 1839-1839 Tick borne encephalitis virus is a subclass of virus
(subclass UnenvelopedVirus Virus) VirusProteinAndCellPart.kif 92-92 Unenveloped virus is a subclass of virus
(subclass ViralAgent Virus) WMD.kif 231-231 Viral agent is a subclass of virus
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 101-101 Virus double stranded is a subclass of virus
(subclass VirusSingleStranded Virus) VirusProteinAndCellPart.kif 105-105 Virus single stranded is a subclass of virus
(termFormat ChineseLanguage Virus "病毒") chinese_format.kif 975-975
(termFormat EnglishLanguage Virus "virus") english_format.kif 1162-1162
(typicalPart ViralGenome Virus) VirusProteinAndCellPart.kif 526-526 A viral genome is typically a part of a virus
(typicalPart VirionEnzyme Virus) VirusProteinAndCellPart.kif 551-551 A virion enzyme is typically a part of a virus

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


(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 572-572 The number 1 argument of viral part is an instance of virus
(domain geneticSubstrateOfVirus 1 Virus) VirusProteinAndCellPart.kif 35-35 The number 1 argument of genetic substrate of virus is an instance of virus
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25 The number 2 argument of invading virus is an instance of virus

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


(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 13449-13453
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 13455-13463
(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 560-565

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


(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 553-558
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 519-524


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