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

Formal Language: 



Term 1: Term 2:

(subclass Rectangle Quadrilateral) Mid-level-ontology.kif 4923-4923 Rectangle ist eine teilkategorie von Quadrilateral
(subclass Square Rectangle) Mid-level-ontology.kif 4934-4934 Square ist eine teilkategorie von Rectangle


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