programCopy |
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 638-640 | |
(domain programCopy 1 ComputerFile) | QoSontology.kif 636-636 | 程序副本 的 1 数量 是 电脑文件 的 instance |
(domain programCopy 2 ComputerProgram) | QoSontology.kif 637-637 | 程序副本 的 2 数量 是 电脑程序 的 instance |
(instance programCopy AsymmetricRelation) | QoSontology.kif 634-634 | 程序副本 是 非对称关系 的 instance |
(subrelation programCopy containsInformation) | QoSontology.kif 635-635 | 程序副本 是 包含信息 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage programCopy "%1 是 %2 的 copy ") | domainEnglishFormat.kif 4250-4250 | |
(format ChineseTraditionalLanguage programCopy "%1 是 %2 的 copy ") | domainEnglishFormat.kif 4249-4249 | |
(format EnglishLanguage programCopy "%1 is a copy of %2") | domainEnglishFormat.kif 4248-4248 | |
(termFormat ChineseLanguage programCopy "程序副本") | domainEnglishFormat.kif 47642-47642 | |
(termFormat ChineseTraditionalLanguage programCopy "程序副本") | domainEnglishFormat.kif 47641-47641 | |
(termFormat EnglishLanguage programCopy "program copy") | domainEnglishFormat.kif 47640-47640 |
consequent |
(=> (instance ?Event MeasuringPerformance) (exists (?Program ?Copy) (and (instance ?Program MonitoringProgram) (programCopy ?Copy ?Program) (agent ?Event ?Copy)))) |
QoSontology.kif 888-894 | |
(=> (instance ?Monitor MonitoringProgram) (exists (?System ?Event ?MonitorCopy) (and (systemMeasured ?Event ?System) (programCopy ?MonitorCopy ?Monitor) (agent ?Event ?MonitorCopy)))) |
QoSontology.kif 861-867 | |
(=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 599-606 | |
(=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 625-632 |