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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3397-3398
No TPTP formula. May not be expressible in strict first order. Merge.kif 14479-14482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 887-887
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 40-40 Virus is exhaustively partitioned into DNA virus and RNA virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 42-42 Virus is exhaustively partitioned into unenveloped virus and enveloped virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 41-41 Virus is exhaustively partitioned into virus double stranded and virus single stranded
No TPTP formula. May not be expressible in strict first order. Merge.kif 14478-14478 Virus is a subclass of microorganism

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 100-100 DNA virus is a subclass of virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 141-141 Enveloped virus is a subclass of virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 126-126 RNA virus is a subclass of virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 2017-2017 Tick borne encephalitis virus is a subclass of virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 137-137 Unenveloped virus is a subclass of virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 231-231 Viral agent is a subclass of virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 146-146 Virus double stranded is a subclass of virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 150-150 Virus single stranded is a subclass of virus
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 975-975
No TPTP formula. May not be expressible in strict first order. english_format.kif 1157-1157
No TPTP formula. May not be expressible in strict first order. french_format.kif 652-652
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 183-183
No TPTP formula. May not be expressible in strict first order. terms-it.txt 186-186
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2336-2336
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 604-604
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 220-220
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 673-673
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 187-187
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1111-1111 A viral genome is typically a part of a virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1136-1136 A virion enzyme is typically a part of a virus

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1157-1157 The number 1 argument of viral part is an instance of virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 35-35 The number 1 argument of genetic substrate of virus is an instance of virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 25-25 The number 2 argument of invading virus is an instance of virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1085-1085 The number 2 argument of vaccine is a subclass of virus

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14484-14488
No TPTP formula. May not be expressible in strict first order. Merge.kif 14490-14498
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1145-1150

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3750-3762
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1138-1143
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1104-1109


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