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

Formal Language: 



Term 1: Term 2:

(subclass AppleIPhoneOS7 AppleIOS) ComputingBrands.kif 167-167 AppleIPhoneOS7 ist eine teilkategorie von AppleIOS


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