computerRunning |
appearance as argument number 1 |
![]() |
(documentation computerRunning EnglishLanguage "(computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.") | QoSontology.kif 202-203 | |
(domain computerRunning 1 ComputerProcess) | QoSontology.kif 200-200 | |
(domain computerRunning 2 Computer) | QoSontology.kif 201-201 | |
(instance computerRunning BinaryPredicate) | QoSontology.kif 198-198 | |
(instance computerRunning CaseRole) | QoSontology.kif 199-199 | |
(subrelation computerRunning instrument) | QoSontology.kif 197-197 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage computerRunning "%1 是 running 在 %2 ") | domainEnglishFormat.kif 3063-3063 | |
(format ChineseTraditionalLanguage computerRunning "%1 是 running 在 %2 ") | domainEnglishFormat.kif 3062-3062 | |
(format EnglishLanguage computerRunning "%1 is running on %2") | domainEnglishFormat.kif 3061-3061 | |
(termFormat ChineseLanguage computerRunning "电脑运行") | domainEnglishFormat.kif 16383-16383 | |
(termFormat ChineseTraditionalLanguage computerRunning "電腦運行") | domainEnglishFormat.kif 16382-16382 | |
(termFormat EnglishLanguage computerRunning "computer running") | domainEnglishFormat.kif 16381-16381 |
antecedent |
![]() |
(=> (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 (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 |
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 702-711 | |
(=> (and (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C)))) |
ComputingBrands.kif 3556-3564 | |
(=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 297-305 | |
(=> (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 ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG)))) |
ComputingBrands.kif 4028-4035 | |
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program)))) |
QoSontology.kif 155-162 | |
(=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 4310-4321 | |
(=> (runningOn ?Program ?Computer) (exists (?Process) (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)))) |
QoSontology.kif 190-195 |
![]() |
![]() |