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

Formal Language: 



Term 1: Term 2:

(subclass RunningARace Racing) Sports.kif 259-259 RunningARace ist eine teilkategorie von Racing
(subclass Marathon RunningARace) Sports.kif 275-275 Marathon ist eine teilkategorie von RunningARace
(subclass HalfMarathon RunningARace) Sports.kif 290-290 HalfMarathon ist eine teilkategorie von RunningARace


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