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

Formal Language: 



Term 1: Term 2:

(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 App ist eine teilkategorie von ComputerProgram
(subclass CydiaPackageManager App) ComputingBrands.kif 2499-2499 CydiaPackageManager ist eine teilkategorie von App


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