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

Formal Language: 



Term 1: Term 2:

(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554 ComputerPort ist eine teilkategorie von EngineeringComponent
(subclass USBPort ComputerPort) ComputingBrands.kif 2870-2870 USBPort ist eine teilkategorie von ComputerPort
(subclass AppleDockPort ComputerPort) ComputingBrands.kif 2881-2881 AppleDockPort ist eine teilkategorie von ComputerPort


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