| 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 |
|
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