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

Formal Language: 


Term 1: Term 2:

(subclass Cell BodyPart) Merge.kif 15259-15259 Cell is a subclass of body part
(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 385-385 Eukaryotic cell is a subclass of cell
(subclass ProkaryoticCell Cell) VirusProteinAndCellPart.kif 395-395 Prokaryotic cell is a subclass of cell


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