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

Formal Language: 



Term 1: Term 2:

(subclass CanalLockGate TransitwayObstacle) Transportation.kif 3252-3252 CanalLockGate ist eine teilkategorie von TransitwayObstacle
(subclass CanalLockGate Device) Transportation.kif 3253-3253 CanalLockGate ist eine teilkategorie von Device


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