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

Formal Language: 



Term 1: Term 2:

(subclass Firmware ComputerProgram) ComputingBrands.kif 2205-2205 Firmware ist eine teilkategorie von ComputerProgram
(subclass BasebandForIPhone Firmware) ComputingBrands.kif 2241-2241 BasebandForIPhone ist eine teilkategorie von Firmware


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