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, Coxsackie_virus, Filoviridae, Flaviviridae, HTLV-1, Reoviridae, Rhabdoviridae, TMV, Togaviridae, WTV, adenovirus, alphavirus, animal_virus, arenavirus, bacteriophage, bacteriophagic, bacteriophagous, bunyavirus, cosmid, coxsackievirus, echovirus, enterovirus, filovirus, flavivirus, human_T-cell_leukemia_virus-1, human_papilloma_virus, lymphocytic_choriomeningitis_virus, lyssavirus, myxoma_virus, myxovirus, onion_yellow-dwarf_virus, orthomyxovirus, papovavirus, parainfluenza_virus, paramyxovirus, parvo, parvovirus, phage, picornavirus, plant_virus, poliovirus, polyoma, polyoma_virus, potato_yellow-dwarf_virus, poxvirus, reovirus, respiratory_syncytial_virus, retrovirus, rhabdovirus...

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


s__documentation(s__Virus,s__ChineseLanguage,'"这是一种由一层蛋白质保护层包围的单个核酸核心所组成的 Organism。 病毒这可能在它宿的活细胞内复制,它只表现有一些、而不是生物常见的所有特征。"')

chinese_format.kif 3397-3398
s__documentation(s__Virus,s__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 13827-13830
s__externalImage(s__Virus,'"http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png"')

pictureList.kif 888-888
s__partition__3(s__Virus,s__DNAVirus,s__RNAVirus)

VirusProteinAndCellPart.kif 40-40 Virus is exhaustively partitioned into DNA virus and RNA virus
s__partition__3(s__Virus,s__UnenvelopedVirus,s__EnvelopedVirus)

VirusProteinAndCellPart.kif 42-42 Virus is exhaustively partitioned into unenveloped virus and enveloped virus
s__partition__3(s__Virus,s__VirusDoubleStranded,s__VirusSingleStranded)

VirusProteinAndCellPart.kif 41-41 Virus is exhaustively partitioned into virus double stranded and virus single stranded
s__instance(s__Virus,s__SetOrClass)

s__instance(s__Microorganism,s__SetOrClass)

s__subclass(s__Virus,s__Microorganism)

Merge.kif 13826-13826 Virus is a subclass of microorganism

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


s__instance(s__Virus,s__SetOrClass)

s__subclass(s__DNAVirus,s__Virus)

s__instance(s__DNAVirus,s__SetOrClass)

VirusProteinAndCellPart.kif 55-55 DNA virus is a subclass of virus
s__instance(s__Virus,s__SetOrClass)

s__subclass(s__EnvelopedVirus,s__Virus)

s__instance(s__EnvelopedVirus,s__SetOrClass)

VirusProteinAndCellPart.kif 96-96 Enveloped virus is a subclass of virus
s__subclass(s__RNAVirus,s__Virus)

s__instance(s__Virus,s__SetOrClass)

s__instance(s__RNAVirus,s__SetOrClass)

VirusProteinAndCellPart.kif 81-81 RNA virus is a subclass of virus
s__instance(s__Virus,s__SetOrClass)

s__subclass(s__TickBorneEncephalitisVirus,s__Virus)

s__instance(s__TickBorneEncephalitisVirus,s__SetOrClass)

WMD.kif 1955-1955 Tick borne encephalitis virus is a subclass of virus
s__instance(s__UnenvelopedVirus,s__SetOrClass)

s__subclass(s__UnenvelopedVirus,s__Virus)

s__instance(s__Virus,s__SetOrClass)

VirusProteinAndCellPart.kif 92-92 Unenveloped virus is a subclass of virus
s__instance(s__Virus,s__SetOrClass)

s__subclass(s__ViralAgent,s__Virus)

s__instance(s__ViralAgent,s__SetOrClass)

WMD.kif 231-231 Viral agent is a subclass of virus
s__instance(s__VirusDoubleStranded,s__SetOrClass)

s__instance(s__Virus,s__SetOrClass)

s__subclass(s__VirusDoubleStranded,s__Virus)

VirusProteinAndCellPart.kif 101-101 Virus double stranded is a subclass of virus
s__instance(s__Virus,s__SetOrClass)

s__subclass(s__VirusSingleStranded,s__Virus)

s__instance(s__VirusSingleStranded,s__SetOrClass)

VirusProteinAndCellPart.kif 105-105 Virus single stranded is a subclass of virus
s__termFormat(s__ChineseLanguage,s__Virus,'"病毒"')

chinese_format.kif 975-975
s__termFormat(s__EnglishLanguage,s__Virus,'"virus"')

english_format.kif 1162-1162
s__typicalPart(s__ViralGenome,s__Virus)

VirusProteinAndCellPart.kif 598-598 A viral genome is typically a part of a virus
s__typicalPart(s__VirionEnzyme,s__Virus)

VirusProteinAndCellPart.kif 623-623 A virion enzyme is typically a part of a virus

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


s__domain(s__ViralPartFn__m,n__1,s__Virus)

VirusProteinAndCellPart.kif 644-644 The number 1 argument of viral part is an instance of virus
s__domain(s__geneticSubstrateOfVirus__m,n__1,s__Virus)

VirusProteinAndCellPart.kif 35-35 The number 1 argument of genetic substrate of virus is an instance of virus
s__domain(s__invadingVirus__m,n__2,s__Virus)

VirusProteinAndCellPart.kif 25-25 The number 2 argument of invading virus is an instance of virus
s__domainSubclass(s__vaccine__m,n__2,s__Virus)

WMD.kif 1073-1073 The number 2 argument of vaccine is a subclass of virus

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


( ! [V__VIRUS,V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__VIRUS,s__Virus) &
             s__inhabits(V__VIRUS,V__OBJ))
         =>
         (s__instance(V__OBJ,s__Organism)))))
   )
)

Merge.kif 13832-13836
( ! [V__VIRUS,V__PROC] :
   (((s__instance(V__VIRUS,s__Virus) &
         s__instance(V__PROC,s__Replication) &
         s__agent(V__PROC,V__VIRUS))
     =>
     (( ? [V__CELL] :
         ((s__located(V__PROC,V__CELL)
           &
           s__instance(V__CELL,s__Cell))))))
)
)

Merge.kif 13838-13846
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__Virus) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__VirusPart))))))
   )
)

VirusProteinAndCellPart.kif 632-637

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


( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__VirusPart) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ1,V__OBJ2)
             &
             s__instance(V__OBJ2,s__Virus))))))
   )
)

VirusProteinAndCellPart.kif 625-630
( ! [V__PART] :
   ((s__instance(V__PART,s__VirusPart) =>
       (( ? [V__VIRUS] :
           ((s__instance(V__VIRUS,s__Virus) &
               s__part(V__PART,V__VIRUS))))))
   )
)

VirusProteinAndCellPart.kif 591-596


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