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

Formal Language: 



Term 1: Term 2:

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


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