| appearance as argument number 1 |
|
| (documentation rMProgramOf EnglishLanguage "(rMProgramOf ?RM ?SYSTEM) means that ?RM is the resource management program of the SoftwareSystem ?SYSTEM.") | QoSontology.kif 725-726 | |
| (domain rMProgramOf 1 ResourceManagementProgram) | QoSontology.kif 723-723 | rM的程序 的 1 数量 是 资源管理计划 的 instance |
| (domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 724-724 | rM的程序 的 2 数量 是 软件系统 的 instance |
| (instance rMProgramOf BinaryPredicate) | QoSontology.kif 722-722 | rM的程序 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage rMProgramOf "%2 %n 是 %1 的 rM program-of") | domainEnglishFormat.kif 2167-2167 | |
| (format ChineseTraditionalLanguage rMProgramOf "%2 %n 是 %1 的 rM program-of") | domainEnglishFormat.kif 2166-2166 | |
| (format EnglishLanguage rMProgramOf "%2 is %n a rM program-of of %1") | domainEnglishFormat.kif 2165-2165 | |
| (termFormat ChineseLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50191-50191 | |
| (termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50190-50190 | |
| (termFormat EnglishLanguage rMProgramOf "rM program-of") | domainEnglishFormat.kif 50189-50189 |
| antecedent |
|
|
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 731-738 |
| consequent |
|
|
| (=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program ?Send) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 782-790 |
|
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