| appearance as argument number 1 |
|
| (documentation programCopy EnglishLanguage "(programCopy ?File ?Program) means that the ComputerFile ?File is one of the copies of the ComputerProgram ?Program.") | QoSontology.kif 747-749 | |
| (domain programCopy 1 ComputerFile) | QoSontology.kif 745-745 | |
| (domain programCopy 2 ComputerProgram) | QoSontology.kif 746-746 | |
| (instance programCopy AsymmetricRelation) | QoSontology.kif 743-743 | |
| (subrelation programCopy containsInformation) | QoSontology.kif 744-744 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage programCopy "%1 是 %2 的 copy ") | domainEnglishFormat.kif 4254-4254 | |
| (format ChineseTraditionalLanguage programCopy "%1 是 %2 的 copy ") | domainEnglishFormat.kif 4253-4253 | |
| (format EnglishLanguage programCopy "%1 is a copy of %2") | domainEnglishFormat.kif 4252-4252 | |
| (termFormat ChineseLanguage programCopy "程序副本") | domainEnglishFormat.kif 47673-47673 | |
| (termFormat ChineseTraditionalLanguage programCopy "程序副本") | domainEnglishFormat.kif 47672-47672 | |
| (termFormat EnglishLanguage programCopy "program copy") | domainEnglishFormat.kif 47671-47671 |
| consequent |
|
|
| (=> (instance ?Event MeasuringPerformance) (exists (?Program ?Copy) (and (instance ?Program MonitoringProgram) (programCopy ?Copy ?Program) (agent ?Event ?Copy)))) |
QoSontology.kif 997-1003 | |
| (=> (instance ?Monitor MonitoringProgram) (exists (?System ?Event ?MonitorCopy) (and (systemMeasured ?Event ?System) (programCopy ?MonitorCopy ?Monitor) (agent ?Event ?MonitorCopy)))) |
QoSontology.kif 970-976 | |
| (=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 708-715 | |
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 734-741 |
|
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