(=>
(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 |
