| appearance as argument number 1 |
|
| (documentation computerRunning EnglishLanguage "(computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.") | QoSontology.kif 205-206 | |
| (domain computerRunning 1 ComputerProcess) | QoSontology.kif 203-203 | |
| (domain computerRunning 2 Computer) | QoSontology.kif 204-204 | |
| (instance computerRunning BinaryPredicate) | QoSontology.kif 201-201 | |
| (instance computerRunning CaseRole) | QoSontology.kif 202-202 | |
| (subrelation computerRunning instrument) | QoSontology.kif 200-200 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage computerRunning "%1 是 running 在 %2 ") | domainEnglishFormat.kif 3054-3054 | |
| (format ChineseTraditionalLanguage computerRunning "%1 是 running 在 %2 ") | domainEnglishFormat.kif 3053-3053 | |
| (format EnglishLanguage computerRunning "%1 is running on %2") | domainEnglishFormat.kif 3052-3052 | |
| (termFormat ChineseLanguage computerRunning "电脑运行") | domainEnglishFormat.kif 16407-16407 | |
| (termFormat ChineseTraditionalLanguage computerRunning "電腦運行") | domainEnglishFormat.kif 16406-16406 | |
| (termFormat EnglishLanguage computerRunning "computer running") | domainEnglishFormat.kif 16405-16405 |
| 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 | |
| (=> (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)) (runsOn ?Program ?Computer)) |
QoSontology.kif 344-348 | |
| (=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC)) |
QoSontology.kif 358-364 |
| 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 (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C)))) |
ComputingBrands.kif 3588-3596 | |
| (=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 300-308 | |
| (=> (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 ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG)))) |
ComputingBrands.kif 4060-4067 | |
| (=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program)))) |
QoSontology.kif 158-165 | |
| (=> (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 999-1013 | |
| (=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P ?C) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 4342-4353 | |
| (=> (runningOn ?Program ?Computer) (exists (?Process) (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)))) |
QoSontology.kif 193-198 |
|
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