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

Formal Language: 



Term 1: Term 2:

(subclass Skiing Sport) Sports.kif 1062-1062 Skiing ist eine teilkategorie von Sport
(subclass CrossCountrySkiing Skiing) Sports.kif 1076-1076 CrossCountrySkiing ist eine teilkategorie von Skiing


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