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

Formal Language: 



Term 1: Term 2:

(subclass Swimming BodyMotion) Merge.kif 11190-11190 Swimming ist eine teilkategorie von BodyMotion
(subclass Swimming IntentionalProcess) Merge.kif 11191-11191 Swimming ist eine teilkategorie von IntentionalProcess
(subclass Snorkeling Swimming) Sports.kif 106-106 Snorkeling ist eine teilkategorie von Swimming
(subclass ScubaDiving Swimming) Mid-level-ontology.kif 26885-26885 ScubaDiving ist eine teilkategorie von Swimming


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