| appearance as argument number 1 |
|
| (documentation programRunning EnglishLanguage "(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program.") | QoSontology.kif 208-210 | |
| (domain programRunning 1 ComputerProcess) | QoSontology.kif 206-206 | 程序运行 的 1 数量 是 电脑程序 的 instance |
| (domain programRunning 2 ComputerProgram) | QoSontology.kif 207-207 | 程序运行 的 2 数量 是 电脑程序 的 instance |
| (instance programRunning BinaryPredicate) | QoSontology.kif 205-205 | 程序运行 是 二元谓语 的 instance |
| 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 47631-47631 | |
| (termFormat ChineseTraditionalLanguage programRunning "程序運行") | domainEnglishFormat.kif 47630-47630 | |
| (termFormat EnglishLanguage programRunning "program running") | domainEnglishFormat.kif 47629-47629 |
| antecedent |
|
|
| (<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable)) |
QoSontology.kif 987-990 | 有存在 电脑程序 这样 电脑程序 是 那个 电脑程序 的执行 program 若且唯若 那个 电脑程序 有 可执行 的 attribute |
| (=> (and (instance ?A AppleAppStore) (programRunning ?P ?A) (computerRunning ?P ?C)) (hasPurpose ?A (exists (?D) (and (instance ?D DownloadingOverNetwork) (origin ?D ?C))))) |
ComputingBrands.kif 1958-1967 | |
| (=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?PROG)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P)))) |
ComputingBrands.kif 3010-3018 | |
| (=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 297-305 | |
| (=> (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)) (runsOn ?Program ?Computer)) |
QoSontology.kif 341-345 | |
| (=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC)) |
QoSontology.kif 355-361 |
|
| (=> (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 425-436 | |
| (=> (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 385-396 | |
| (=> (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)) (measure ?Time ?Delay)) |
QoSontology.kif 658-668 | |
| (=> (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 1275-1289 |
|
| (=> (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 1259-1273 |
|
| (=> (programRunning ?Process ?Program) (exists (?Computer) (runningOn ?Program ?Computer))) |
QoSontology.kif 164-167 | |
| (=> (programRunning ?Process ?Program) (exists (?Device) (standardErrorDevice ?Process ?Device))) |
QoSontology.kif 541-544 | |
| (=> (programRunning ?Process ?Program) (exists (?Device) (standardInputDevice ?Process ?Device))) |
QoSontology.kif 507-510 | |
| (=> (programRunning ?Process ?Program) (exists (?Device) (standardOutputDevice ?Process ?Device))) |
QoSontology.kif 524-527 |
| consequent |
|
|
| (<=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 674-682 | 实体 是 反馈 的 instance 若且唯若 有存在 资源管理计划， 电脑程序， and 和 软件系统 这样 那个 软件系统 是 那个 资源管理计划 的 rM program-of 和 那个 软件系统 是 那个 电脑程序 的执行 program 和 过程 是 数据传输 的 instance 和 那个 实体 是 那个 过程 的 patient 和 那个 过程 在 那个 资源管理计划 结束 |
| (=> (and (deviceOS ?C ?OS) (instance ?CI ?C) (instance ?OSI ?OS) (manufacturer ?C ?ORG)) (desires ?ORG (and (programRunning ?PROC ?OSI) (computerRunning ?PROC ?CI)))) |
ComputingBrands.kif 702-711 | |
| (=> (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 425-436 | |
| (=> (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 385-396 | |
| (=> (instance ?A App) (hasPurpose ?A (exists (?A ?P) (and (instance ?C MobileCellPhone) (instance ?P ComputerProcess) (programRunning ?P ?A) (computerRunning ?P ?C))))) |
ComputingBrands.kif 1928-1936 | |
| (=> (instance ?C CalendaringProgram) (hasPurpose ?C (exists (?T ?P) (and (instance ?T CalendarText) (programRunning ?P ?C) (result ?P ?T))))) |
ComputingBrands.kif 2288-2295 | |
| (=> (instance ?C CameraProgram) (hasPurpose ?C (exists (?I ?P) (and (instance ?I Image) (programRunning ?P ?C) (patient ?P ?I))))) |
ComputingBrands.kif 2309-2316 | |
| (=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG)))) |
ComputingBrands.kif 4028-4035 | |
| (=> (instance ?EP EmailProgram) (hasPurpose ?EP (exists (?P ?E) (and (instance ?P ComputerProcess) (instance ?E Emailing) (instrument ?E ?P) (programRunning ?P ?EP))))) |
ComputingBrands.kif 3088-3096 | |
| (=> (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 2512-2520 | |
| (=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program)))) |
QoSontology.kif 155-162 | |
| (=> (instance ?Process Multitasking) (exists (?Program1 ?Program2) (and (programRunning ?Process ?Program1) (programRunning ?Process ?Program2) (not (equal ?Program1 ?Program2))))) |
QoSontology.kif 1790-1797 | |
| (=> (instance ?RM RM-StartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 597-604 | |
| (=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process)))))) |
QoSontology.kif 560-568 | |
| (=> (instance ?System SoftwareSystem) (forall (?Program ?Process) (=> (and (part ?Program ?System) (programRunning ?Process ?Program)) (exists (?Purpose) (hasPurpose ?Process ?Purpose))))) |
QoSontology.kif 276-284 | |
| (=> (instance ?Task ComputerTask) (exists (?Program ?Process) (and (part ?Task ?Process) (instance ?Process Multitasking) (programRunning ?Task ?Program)))) |
QoSontology.kif 1804-1810 | |
| (=> (maximumReplications ?Application ?MaxCopies) (greaterThanOrEqualTo ?MaxCopies (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))))) |
QoSontology.kif 748-753 | |
| (=> (minimumReplications ?Application ?MinCopies) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))) ?MinCopies)) |
QoSontology.kif 731-736 | |
| (=> (monitorApplicationData ?Time ?Application) (exists (?Process) (and (programRunning ?Process ?Application) (time ?Process ?Time)))) |
QoSontology.kif 977-982 | |
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 623-630 | |
| (=> (runningOn ?Program ?Computer) (exists (?Process) (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)))) |
QoSontology.kif 190-195 |
|
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 is open source software produced by Articulate Software and its partners