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

Formal Language: 



Term 1: Term 2:

(subclass Cycling LandTransportation) Transportation.kif 1931-1931 Cycling ist eine teilkategorie von LandTransportation
(subclass CycleRacing Cycling) Sports.kif 99-99 CycleRacing ist eine teilkategorie von Cycling
(subclass MountainBiking Cycling) Sports.kif 101-101 MountainBiking ist eine teilkategorie von Cycling


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