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

Formal Language: 



Term 1: Term 2:

(subclass WindowsXP WindowsOS) ComputingBrands.kif 1073-1073 WindowsXP รจ una sottoclasse di WindowsOS


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