| appearance as argument number 1 |
|
| (documentation computerRunning EnglishLanguage "(computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.") | QoSontology.kif 204-205 | |
| (domain computerRunning 1 ComputerProcess) | QoSontology.kif 202-202 | |
| (domain computerRunning 2 Computer) | QoSontology.kif 203-203 | |
| (instance computerRunning BinaryPredicate) | QoSontology.kif 200-200 | |
| (instance computerRunning CaseRole) | QoSontology.kif 201-201 | |
| (subrelation computerRunning instrument) | QoSontology.kif 199-199 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage computerRunning "%1 是 running 在 %2 ") | domainEnglishFormat.kif 3058-3058 | |
| (format ChineseTraditionalLanguage computerRunning "%1 是 running 在 %2 ") | domainEnglishFormat.kif 3057-3057 | |
| (format EnglishLanguage computerRunning "%1 is running on %2") | domainEnglishFormat.kif 3056-3056 | |
| (termFormat ChineseLanguage computerRunning "电脑运行") | domainEnglishFormat.kif 16392-16392 | |
| (termFormat ChineseTraditionalLanguage computerRunning "電腦運行") | domainEnglishFormat.kif 16391-16391 | |
| (termFormat EnglishLanguage computerRunning "computer running") | domainEnglishFormat.kif 16390-16390 |
| 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 343-347 | |
| (=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC)) |
QoSontology.kif 357-363 |
| 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 3593-3601 | |
| (=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware)))) |
QoSontology.kif 299-307 | |
| (=> (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 4065-4072 | |
| (=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program)))) |
QoSontology.kif 157-164 | |
| (=> (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 4347-4358 | |
| (=> (runningOn ?Program ?Computer) (exists (?Process) (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)))) |
QoSontology.kif 192-197 |
|
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