| 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 617-618 | |
| (domain rMProgramOf 1 ResourceManagementProgram) | QoSontology.kif 615-615 | |
| (domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 616-616 | |
| (instance rMProgramOf BinaryPredicate) | QoSontology.kif 614-614 |
| 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 50150-50150 | |
| (termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50149-50149 | |
| (termFormat EnglishLanguage rMProgramOf "rM program-of") | domainEnglishFormat.kif 50148-50148 |
| antecedent |
|
|
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 623-630 |
| consequent |
|
|
| (<=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 674-682 |
|
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