  ComputerAndPeripheralEquipmentManufacturing
|
|
Sigma KEE - programRunning
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(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 |
If X is an instance of Apple app store, X is a program running of Y, and Y is running on Z, then X has the purpose there exists W such that W is an instance of downloading and W originates at Z |
(=>
(and
(instance ?FQ ForceQuit)
(refers ?FQ ?P)
(programRunning ?P ?PROG))
(exists (?A)
(and
(instance ?A Abort)
(processAborted ?A ?P)))) |
ComputingBrands.kif 2953-2961 |
If X is an instance of force quit, X includes a reference to Y, and Z is a program running of Y, then there exists W such that W is an instance of abort and Y is a process aborted of W |
(=>
(programRunning ?Process ?Program)
(exists (?Computer)
(runningOn ?Program ?Computer))) |
QoSontology.kif 161-164 |
If X is a program running of Y, then there exists Z such that X is running on Z |
(=>
(and
(instance ?System SoftwareSystem)
(part ?Program ?System)
(programRunning ?Process ?Program))
(exists (?Purpose)
(hasPurpose ?Process ?Purpose))) |
QoSontology.kif 273-279 |
If X is an instance of software system, Y is a part of X, and Y is a program running of Z, then there exists W such that Z has the purpose W |
(=>
(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 |
(=>
(and
(programRunning ?Process ?Program)
(computerRunning ?Process ?Computer))
(runsOn ?Program ?Computer)) |
QoSontology.kif 336-340 |
If X is a program running of Y and Y is running on Z, then X can be ComputerProcesses on Z |
(=>
(and
(programRunning ?Process ?Program)
(instance ?Program ?PC)
(instance ?Computer ?CC)
(computerRunning ?Process ?Computer))
(canRunOn ?PC ?CC)) |
QoSontology.kif 350-356 |
If X is a program running of Y, X is an instance of Z, W is an instance of V, and Y is running on W, then V is capable of ComputerProcessing Z |
(=>
(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 380-391 |
If X is a startup of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and W meets U |
(=>
(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 420-431 |
If X is a shutdown of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and U meets W |
(=>
(programRunning ?Process ?Program)
(exists (?Device)
(standardInputDevice ?Process ?Device))) |
QoSontology.kif 603-606 |
If X is a program running of Y, then there exists Z such that Z is the standard input device for Y |
(=>
(programRunning ?Process ?Program)
(exists (?Device)
(standardOutputDevice ?Process ?Device))) |
QoSontology.kif 620-623 |
If X is a program running of Y, then there exists Z such that Z is the standard output device for Y |
(=>
(programRunning ?Process ?Program)
(exists (?Device)
(standardErrorDevice ?Process ?Device))) |
QoSontology.kif 637-640 |
If X is a program running of Y, then there exists Z such that Z is the standard error device for Y |
(=>
(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 755-765 |
If All of the following hold: (1) the startup time delay of X is Y (2) Z is an instance of computer process (3) X is a program running of Z (4) equal the time of existence of Z and W (5) V is an instance of computer process (6) equal the time of existence of V and U (7) W meets T (8) T meets U, then duration of T is Y |
(<=>
(exists (?Process)
(programRunning ?Process ?Program))
(property ?Program Executable)) |
QoSontology.kif 1085-1088 |
There exists X such that Y is a program running of X if and only if Y the attribute executable |
(=>
(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 1350-1367 |
If All of the following hold: (1) X is a dependency delay of Y (2) startup block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) U starts T (10) equal the time of existence of W and S (11) equal the end of T and the beginning of S, then duration of T is X |
(=>
(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 1369-1386 |
If All of the following hold: (1) X is a dependency delay of Y (2) shutdown block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) T finishes S (10) equal the time of existence of V and U (11) equal the beginning of T and the end of U, then duration of T is X |
|
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 |
(=>
(instance ?C CalendaringProgram)
(hasPurpose ?C
(exists (?T ?P)
(and
(instance ?T CalendarText)
(programRunning ?P ?C)
(result ?P ?T))))) |
ComputingBrands.kif 2320-2327 |
If X is an instance of カレンダー, then X has the purpose there exist Y, Z such that Y is an instance of calendar, X is a program running of Z, and Y is a result of Z |
(=>
(instance ?C CameraProgram)
(hasPurpose ?C
(exists (?I ?P)
(and
(instance ?I Image)
(programRunning ?P ?C)
(patient ?P ?I))))) |
ComputingBrands.kif 2341-2348 |
If X is an instance of camera, then X has the purpose there exist Y, Z such that Y is an instance of image, X is a program running of Z, and Y is a patient of Z |
(=>
(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 ?EP EmailProgram)
(hasPurpose ?EP
(exists (?P ?E)
(and
(instance ?P ComputerProcess)
(instance ?E Emailing)
(instrument ?E ?P)
(programRunning ?P ?EP))))) |
ComputingBrands.kif 3031-3039 |
If X is an instance of mailer, then X has the purpose there exist Y, Z such that Y is an instance of computer process, Z is an instance of emailing, Y is an instrument for Z, and X is a program running of Y |
(=>
(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 |
(=>
(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
(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 380-391 |
If X is a startup of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and W meets U |
(=>
(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 420-431 |
If X is a shutdown of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and U meets W |
(=>
(instance ?State ProcessState)
(exists (?Program)
(and
(instance ?Program ComputerProgram)
(forall (?Process)
(=>
(programRunning ?Process ?Program)
(represents ?State ?Process)))))) |
QoSontology.kif 656-664 |
If X is an instance of process state, then there exists Y such that Y is an instance of computer program and Z Y is a program running of ZX expresses Z |
(=>
(instance ?RM RMStartApplication)
(exists (?Application ?Process ?RMCopy)
(and
(instance ?Application ComputerProgram)
(programCopy ?RMCopy ?RM)
(programRunning ?Process
(StartupFn ?Application))
(agent ?Process ?RMCopy)))) |
QoSontology.kif 694-701 |
If X is an instance of RM start application, then there exist Y, Z, W such that Y is an instance of computer program, W is a copy of X, the startup of Y is a program running of Z, and W is an agent of Z |
(=>
(rMProgramOf ?RM ?System)
(exists (?Application ?Process ?RMCopy)
(and
(part ?Application ?System)
(programCopy ?RMCopy ?RM)
(programRunning ?Process ?Application)
(agent ?Process ?RMCopy)))) |
QoSontology.kif 720-727 |
If X is a rM programof of Y, then there exist Z, W, V such that Z is a part of X, V is a copy of Y, Z is a program running of W, and V is an agent of W |
(=>
(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 771-779 |
If X is an instance of feedback, then there exist Y, Z,, , W, V such that W is a rM programof of Y, W is a program running of Z, V is an instance of data transfer, X is a patient of V, and V ends up at Y |
(=>
(minimumReplications ?Application ?MinCopies)
(greaterThanOrEqualTo
(CardinalityFn
(KappaFn ?Copy
(programRunning ?Copy ?Application))) ?MinCopies)) |
QoSontology.kif 829-834 |
If X is a minimum replications of Y, then the number of instances in the class described by Z is greater than or equal to X |
(=>
(maximumReplications ?Application ?MaxCopies)
(greaterThanOrEqualTo ?MaxCopies
(CardinalityFn
(KappaFn ?Copy
(programRunning ?Copy ?Application))))) |
QoSontology.kif 846-851 |
If X is a maximum replications of Y, then X is greater than or equal to the number of instances in the class described by Z |
(=>
(monitorApplicationData ?Time ?Application)
(exists (?Process)
(and
(programRunning ?Process ?Application)
(time ?Process ?Time)))) |
QoSontology.kif 1075-1080 |
If X is a monitor application data of Y, then there exists Z such that X is a program running of Z and Z exists during Y |
(=>
(instance ?Process Multitasking)
(exists (?Program1 ?Program2)
(and
(programRunning ?Process ?Program1)
(programRunning ?Process ?Program2)
(not
(equal ?Program1 ?Program2))))) |
QoSontology.kif 1909-1916 |
If X is an instance of multitasking, then there exist Y, Z such that Y is a program running of X, Z is a program running of X, equal Y, and Z |
(=>
(instance ?Task ComputerTask)
(exists (?Program ?Process)
(and
(part ?Task ?Process)
(instance ?Process Multitasking)
(programRunning ?Task ?Program)))) |
QoSontology.kif 1923-1929 |
If X is an instance of computer task, then there exist Y, Z such that X is a part of Z, Z is an instance of multitasking, and Y is a program running of X |
(=>
(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 |
If X is the ID of Y when accessing Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of web page (3) W is a sub-string of Z (4) V is an instance of accessing web page (5) U is an instance of agent (6) U is an agent of V (7) Y is a program running of T (8) T causes V (9) V ends up at W (10) X expresses U |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
