programRunning |
appearance as argument number 1 |
(documentation programRunning EnglishLanguage "(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program.") | QoSontology.kif 210-212 | |
(domain programRunning 1 ComputerProcess) | QoSontology.kif 208-208 | |
(domain programRunning 2 ComputerProgram) | QoSontology.kif 209-209 | |
(instance programRunning BinaryPredicate) | QoSontology.kif 207-207 |
appearance as argument number 2 |
(format ChineseLanguage programRunning "%2 %n 是 %1 的执行 program ") | domainEnglishFormat.kif 2071-2071 | |
(format ChineseTraditionalLanguage programRunning "%2 %n 是 %1 的執行 program ") | domainEnglishFormat.kif 2070-2070 | |
(format EnglishLanguage programRunning "%2 is %n a program running of %1") | domainEnglishFormat.kif 2069-2069 | |
(termFormat ChineseLanguage programRunning "程序运行") | domainEnglishFormat.kif 47650-47650 | |
(termFormat ChineseTraditionalLanguage programRunning "程序運行") | domainEnglishFormat.kif 47649-47649 | |
(termFormat EnglishLanguage programRunning "program running") | domainEnglishFormat.kif 47648-47648 |
antecedent |
(<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable)) |
QoSontology.kif 989-992 | |
(=> (and (instance ?A AppleAppStore) (programRunning ?P ?A) (computerRunning ?P ?C)) (hasPurpose ?A (exists (?D) (and (instance ?D DownloadingOverNetwork) (origin ?D ?C))))) |
ComputingBrands.kif 1990-1999 | |
(=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?PROG)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P)))) |
ComputingBrands.kif 3042-3050 | |
(=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 299-307 | |
(=> (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)) (runsOn ?Program ?Computer)) |
QoSontology.kif 343-347 | |
(=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC)) |
QoSontology.kif 357-363 | |
(=> (and (shutdownOf ?Shutdown ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Shutdown) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time2 ?Time1)))) |
QoSontology.kif 427-438 | |
(=> (and (startupOf ?Startup ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Startup) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time2)))) |
QoSontology.kif 387-398 | |
(=> (and (startupTimeDelay ?Application ?Delay) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Application) (equal (WhenFn ?Process1) ?Time1) (instance ?Process2 ComputerProcess) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time) (meetsTemporally ?Time ?Time2)) (duration ?Time ?Delay)) |
QoSontology.kif 660-670 | |
(=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 ShutdownBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (finishes ?Time ?Time1) (equal (WhenFn ?Process2) ?Time2) (equal (BeginFn ?Time) (EndFn ?Time2)))) (duration ?Time ?Delay)) |
QoSontology.kif 1270-1284 | |
(=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 StartupBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (starts ?Time2 ?Time) (equal (WhenFn ?Process1) ?Time1) (equal (EndFn ?Time) (BeginFn ?Time1)))) (duration ?Time ?Delay)) |
QoSontology.kif 1254-1268 | |
(=> (programRunning ?Process ?Program) (exists (?Computer) (runningOn ?Program ?Computer))) |
QoSontology.kif 166-169 | |
(=> (programRunning ?Process ?Program) (exists (?Device) (standardErrorDevice ?Process ?Device))) |
QoSontology.kif 543-546 | |
(=> (programRunning ?Process ?Program) (exists (?Device) (standardInputDevice ?Process ?Device))) |
QoSontology.kif 509-512 | |
(=> (programRunning ?Process ?Program) (exists (?Device) (standardOutputDevice ?Process ?Device))) |
QoSontology.kif 526-529 |
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 | |
(=> (and (shutdownOf ?Shutdown ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Shutdown) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time2 ?Time1)))) |
QoSontology.kif 427-438 | |
(=> (and (startupOf ?Startup ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Startup) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time2)))) |
QoSontology.kif 387-398 | |
(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT)))) |
UXExperimentalTerms.kif 736-748 | |
(=> (instance ?A App) (hasPurpose ?A (exists (?A ?P ?C) (and (instance ?C MobileCellPhone) (instance ?P ComputerProcess) (programRunning ?P ?A) (computerRunning ?P ?C))))) |
ComputingBrands.kif 1960-1968 | |
(=> (instance ?C CalendaringProgram) (hasPurpose ?C (exists (?T ?P) (and (instance ?T CalendarText) (programRunning ?P ?C) (result ?P ?T))))) |
ComputingBrands.kif 2320-2327 | |
(=> (instance ?C CameraProgram) (hasPurpose ?C (exists (?I ?P) (and (instance ?I Image) (programRunning ?P ?C) (patient ?P ?I))))) |
ComputingBrands.kif 2341-2348 | |
(=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG)))) |
ComputingBrands.kif 4065-4072 | |
(=> (instance ?EP EmailProgram) (hasPurpose ?EP (exists (?P ?E) (and (instance ?P ComputerProcess) (instance ?E Emailing) (instrument ?E ?P) (programRunning ?P ?EP))))) |
ComputingBrands.kif 3120-3128 | |
(=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program ?Send) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 676-684 | |
(=> (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 | |
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program)))) |
QoSontology.kif 157-164 | |
(=> (instance ?Process Multitasking) (exists (?Program1 ?Program2) (and (programRunning ?Process ?Program1) (programRunning ?Process ?Program2) (not (equal ?Program1 ?Program2))))) |
QoSontology.kif 1785-1792 | |
(=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 599-606 | |
(=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process)))))) |
QoSontology.kif 562-570 | |
(=> (instance ?System SoftwareSystem) (forall (?Program ?Process) (=> (and (part ?Program ?System) (programRunning ?Process ?Program)) (exists (?Purpose) (hasPurpose ?Process ?Purpose))))) |
QoSontology.kif 278-286 | |
(=> (instance ?Task ComputerTask) (exists (?Program ?Process) (and (part ?Task ?Process) (instance ?Process Multitasking) (programRunning ?Task ?Program)))) |
QoSontology.kif 1799-1805 | |
(=> (maximumReplications ?Application ?MaxCopies) (greaterThanOrEqualTo ?MaxCopies (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))))) |
QoSontology.kif 750-755 | |
(=> (minimumReplications ?Application ?MinCopies) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))) ?MinCopies)) |
QoSontology.kif 733-738 | |
(=> (monitorApplicationData ?Time ?Application) (exists (?Process) (and (programRunning ?Process ?Application) (time ?Process ?Time)))) |
QoSontology.kif 979-984 | |
(=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 625-632 | |
(=> (runningOn ?Program ?Computer) (exists (?Process) (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)))) |
QoSontology.kif 192-197 |