(=>
(instance ?CP ComputerProgramming)
(exists (?C)
(and
(instance ?C ComputerProgram)
(result ?CP ?C)))) |
Merge.kif 17144-17149 |
If X is an instance of computer programming, then there exists Y such that Y is an instance of computer program and Y is a result of X |
(=>
(instance ?PACK SoftwarePackage)
(exists (?PROGRAM)
(and
(instance ?PROGRAM ComputerProgram)
(part ?PROGRAM ?PACK)))) |
ComputerInput.kif 835-840 |
If X is an instance of software package, then there exists Y such that Y is an instance of computer program and Y is a part of X |
(=>
(instance ?CP ComputerProtocol)
(hasPurpose ?CP
(exists (?P1 ?P2 ?C)
(and
(instance ?P1 ComputerProgram)
(instance ?P2 ComputerProgram)
(instance ?C DataTransfer)
(origin ?C ?P1)
(destination ?C ?P2)
(represents ?CP ?C))))) |
ComputingBrands.kif 1736-1746 |
If X is an instance of computer protocol, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of computer program (3) Z is an instance of computer program (4) W is an instance of data transfer (5) W originates at Y (6) W ends up at Z (7) X expresses W |
(=>
(instance ?API ApplicationProgrammerInterface)
(exists (?P)
(and
(instance ?P ComputerProgram)
(subProposition ?API ?P)))) |
ComputingBrands.kif 1929-1934 |
If X is an instance of Application Programmer Interface, then there exists Y such that Y is an instance of computer program and X is a sub-proposition of Y |
(=>
(instance ?G GUIDock)
(exists (?I ?P ?CP)
(and
(instance ?CP ComputerProgram)
(programRunning ?P ?CP)
(instance ?I Icon)
(represents ?I ?P)
(orientation ?I ?G Inside)))) |
ComputingBrands.kif 2544-2552 |
If X is an instance of dock, then there exist Y, Z, W such that W is an instance of computer program, W is a program running of Z, Y is an instance of icon, Y expresses Z, and Y is inside the to X |
(=>
(instance ?CD ComputerDesktopImage)
(hasPurpose ?CD
(and
(refers ?CD ?F)
(or
(instance ?F DigitalData)
(instance ?F ComputerProgram))))) |
ComputingBrands.kif 3074-3081 |
If X is an instance of computer desktop image, then X has the purpose X includes a reference to Y and Y is an instance of digital data or Y is an instance of computer program |
(=>
(and
(instance ?U SoftwareUnInstallation)
(equal ?T2
(WhenFn ?U))
(dataProcessed ?U ?P)
(instance ?P ComputerProgram)
(located ?U ?C))
(exists (?I ?T1)
(and
(instance ?I SoftwareInstallation)
(equal ?T1
(WhenFn ?I))
(dataProcessed ?I ?P)
(instance ?P ComputerProgram)
(located ?I ?C)
(earlier ?T1 ?T2)))) |
ComputingBrands.kif 3509-3523 |
If X is an instance of uninstall, equal Y and the time of existence of X, Z is processed by X, Z is an instance of computer program, and X is located at W, then All of the following hold: (1) there exist V (2) U such that V is an instance of install (3) equal U (4) the time of existence of V (5) Z is processed by V (6) Z is an instance of computer program (7) V is located at W (8) U happens earlier than Y |
(=>
(and
(instance ?SU SoftwareUpgrading)
(patient ?SU ?C)
(instance ?C Computer))
(exists (?P)
(and
(objectTransferred ?SU ?P)
(instance ?P ComputerProgram)
(holdsDuring
(BeginFn
(WhenFn ?SU))
(softwareVersion ?P PreviousVersion))
(holdsDuring
(EndFn
(WhenFn ?SU))
(softwareVersion ?P CurrentVersion))))) |
ComputingBrands.kif 3732-3746 |
If X is an instance of software upgrade, Y is a patient of X, and Y is an instance of computer, then there exists Z such that the object transferred in X is Z, Z is an instance of computer program, Z is the software version of Z holds during the beginning of the time of existence of X, and Z is the software version of Z holds during the end of the time of existence of X |
(=>
(instance ?UPLOAD Uploading)
(exists (?FILE ?COMPUTER ?STORAGEDEVICE)
(and
(instance ?UPLOAD Transfer)
(or
(instance ?FILE ComputerFile)
(instance ?FILE ComputerProgram))
(instance ?COMPUTER Computer)
(instance ?STORAGEDEVICE DigitalDataStorageDevice)
(patient ?UPLOAD ?FILE)
(agent ?UPLOAD ?COMPUTER)
(origin ?UPLOAD ?COMPUTER)
(destination ?UPLOAD ?STORAGEDEVICE)))) |
Facebook.kif 487-500 |
If X is an instance of uploading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at Z (9) X ends up at W |
(=>
(instance ?DOWNLOAD Downloading)
(exists (?FILE ?COMPUTER ?STORAGEDEVICE)
(and
(instance ?DOWNLOAD Transfer)
(or
(instance ?FILE ComputerFile)
(instance ?FILE ComputerProgram))
(instance ?COMPUTER Computer)
(instance ?STORAGEDEVICE DigitalDataStorageDevice)
(patient ?DOWNLOAD ?FILE)
(agent ?DOWNLOAD ?COMPUTER)
(origin ?DOWNLOAD ?STORAGEDEVICE)
(destination ?DOWNLOAD ?COMPUTER)))) |
Facebook.kif 513-526 |
If X is an instance of downloading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at W (9) X ends up at 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 |
