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

Formal Language: 



Term 1: Term 2:

(subclass Surfing Sport) Sports.kif 207-207 Surfing ist eine teilkategorie von Sport
(subclass Surfing WaterSport) Sports.kif 208-208 Surfing ist eine teilkategorie von WaterSport


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