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

Formal Language: 



Term 1: Term 2:

(subclass ComputerProcess InternalChange) QoSontology.kif 153-153
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91
(subclass DeletingData ComputerProcess) QoSontology.kif 109-109
(subclass RestoringData ComputerProcess) QoSontology.kif 132-132
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 883-883
(subclass UserRequest ComputerProcess) QoSontology.kif 1730-1730
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1741-1741
(subclass Multitasking ComputerProcess) QoSontology.kif 1779-1779
(subclass ComputerTask ComputerProcess) QoSontology.kif 1794-1794
(subclass Abort ComputerProcess) QoSontology.kif 1882-1882
(subclass DataSaving ComputerProcess) QoSontology.kif 1903-1903
(subclass DataCompression ComputerProcess) QoSontology.kif 1922-1922
(subclass UsingAResource ComputerProcess) QoSontology.kif 1957-1957
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1973-1973
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3419-3419
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3491-3491
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3792-3792
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 4037-4037
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1770-1770


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