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

Formal Language: 



Term 1: Term 2:

(subclass DownloadingOverNetwork NetworkCommunication) ComputerInput.kif 2678-2678 DownloadingOverNetwork ist eine teilkategorie von NetworkCommunication
(subclass DownloadingingUpdate DownloadingOverNetwork) ComputerInput.kif 2694-2694 DownloadingingUpdate ist eine teilkategorie von DownloadingOverNetwork
(subclass DownloadingSoftware DownloadingOverNetwork) ComputerInput.kif 2701-2701 DownloadingSoftware ist eine teilkategorie von DownloadingOverNetwork
(subclass DownloadingUserFile DownloadingOverNetwork) ComputerInput.kif 2713-2713 DownloadingUserFile ist eine teilkategorie von DownloadingOverNetwork


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