Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Virus Microorganism) Merge.kif 14478-14478
(subclass ViralAgent Virus) WMD.kif 231-231
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 2017-2017
(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 100-100
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 126-126
(subclass UnenvelopedVirus Virus) VirusProteinAndCellPart.kif 137-137
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 141-141
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 146-146
(subclass VirusSingleStranded Virus) VirusProteinAndCellPart.kif 150-150


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