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

Formal Language: 



Term 1: Term 2:

(subclass Ambulating BodyMotion) Merge.kif 11138-11138 Ambulating ist eine teilkategorie von BodyMotion
(subclass Ambulating IntentionalProcess) Merge.kif 11139-11139 Ambulating ist eine teilkategorie von IntentionalProcess
(subclass Ambulating Translocation) Merge.kif 11140-11140 Ambulating ist eine teilkategorie von Translocation
(subclass Walking Ambulating) Merge.kif 11147-11147 Walking ist eine teilkategorie von Ambulating
(subclass Running Ambulating) Merge.kif 11152-11152 Running ist eine teilkategorie von Ambulating


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