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

Formal Language: 



Term 1: Term 2:

(subclass EngineeringConnection EngineeringComponent) Merge.kif 16138-16138 Composant connectant des autres composant est une sous-classe de composant d'un appareil
(subclass InternetConnection EngineeringConnection) Hotel.kif 1387-1387 InternetConnection est une sous-classe de composant connectant des autres composant
(subclass Cable EngineeringConnection) Hotel.kif 1398-1398 Cable est une sous-classe de composant connectant des autres composant


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