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

Formal Language: 



Term 1: Term 2:

(subclass Rope String) Mid-level-ontology.kif 30841-30841 Rope ist eine teilkategorie von String
(subclass ClimbingRope Rope) Mid-level-ontology.kif 30858-30858 ClimbingRope ist eine teilkategorie von Rope


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