consequent

(=>     (and         (deviceOS ?C ?OS)         (instance ?CI ?C)         (instance ?OSI ?OS)         (manufacturer ?C ?ORG))     (desires ?ORG         (and             (programRunning ?PROC ?OSI)             (computerRunning ?PROC ?CI))))	ComputingBrands.kif 734-743	If device OS X and Y, Z is an instance of X, W is an instance of Y, and the maker of X is V, then V desires W is a program running of U and U is running on Z
(=>     (instance ?A App)     (hasPurpose ?A         (exists (?P ?C)             (and                 (instance ?C MobileCellPhone)                 (instance ?P ComputerProcess)                 (programRunning ?P ?A)                 (computerRunning ?P ?C)))))	ComputingBrands.kif 1960-1968	If X is an instance of app, then X has the purpose there exist Y, Z such that Z is an instance of mobile cell phone, Y is an instance of computer process, X is a program running of Y, and Y is running on Z
(=>     (and         (instance ?I SoftwareInstallation)         (dataProcessed ?I ?P)         (instance ?P ComputerProgram)         (destination ?I ?C))     (hasPurpose ?I         (exists (?PROC)             (computerRunning ?PROC ?C))))	ComputingBrands.kif 3499-3507	If X is an instance of install, Y is processed by X, Y is an instance of computer program, and X ends up at Z, then X has the purpose there exists W such that W is running on Z
(=>     (instance ?D DHCPServer)     (exists (?PROG ?C)         (and             (instance ?C Computer)             (instance ?PROG DHCPProgram)             (computerRunning ?D ?C)             (programRunning ?D ?PROG))))	ComputingBrands.kif 3971-3978	If X is an instance of DHCP server, then there exist Y, Z such that Z is an instance of computer, Y is an instance of DHCP program, X is running on Z, and Y is a program running of X
(=>     (loggedInDuring ?A ?UA ?T)     (modalAttribute         (holdsDuring ?T             (exists (?P ?C)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?A)                     (deviceAccount ?UA ?C)                     (instance ?C Computer)                     (computerRunning ?P ?C)                     (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 4253-4264	If X is logged_in to Y during Z, then All of the following hold: (1) the statement there exist W (2) V such that W is an instance of computer process (3) X is an agent of W (4) device account Y (5) V (6) V is an instance of computer (7) W is running on V (8) V is an instrument for W holds during Z has the modal force of possibility
(=>     (instance ?Process ComputerProcess)     (exists (?Computer ?Program)         (and             (instance ?Computer Computer)             (computerRunning ?Process ?Computer)             (instance ?Program ComputerProgram)             (programRunning ?Process ?Program))))	QoSontology.kif 152-159	If X is an instance of computer process, then there exist Y, Z such that Y is an instance of computer, X is running on Y, Z is an instance of computer program, and Z is a program running of X
(=>     (runningOn ?Program ?Computer)     (exists (?Process)         (and             (programRunning ?Process ?Program)             (computerRunning ?Process ?Computer))))	QoSontology.kif 187-192	If X is running on Y, then there exists Z such that X is a program running of Z and Z is running on Y
(=>     (and         (instance ?Software SoftwareSystem)         (instance ?Process ComputerProcess)         (programRunning ?Process ?Software))     (exists (?Hardware)         (and             (instance ?Hardware HardwareSystem)             (computerRunning ?Process ?Hardware))))	QoSontology.kif 292-300	If X is an instance of software system, Y is an instance of computer process, and X is a program running of Y, then there exists Z such that Z is an instance of hardware system and Y is running on Z
(=>     (instance ?R Robot)     (hasPurpose ?R         (exists (?PROC ?COMP)             (and                 (instance ?PROC ComputerProcess)                 (instance ?COMP ComputerProgram)                 (computerRunning ?PROC ?COMP)                 (patient ?PROC ?R)                 (holdsDuring                     (WhenFn ?PROC)                     (exists (?INT)                         (and                             (instance ?INT IntentionalProcess)                             (instrument ?INT ?R))))))))	engineering.kif 1086-1100	If X is an instance of robot, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of computer process (3) Z is an instance of computer program (4) Y is running on Z (5) X is a patient of Y (6) there exists W such that W is an instance of intentional process (7) X is an instrument for W holds during the time of existence of Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners