programCopy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - programCopy

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 744-746
(domain programCopy 1 ComputerFile)	QoSontology.kif 742-742	The number 1 argument of program copy is an instance of computer file
(domain programCopy 2 ComputerProgram)	QoSontology.kif 743-743	The number 2 argument of program copy is an instance of computer program
(instance programCopy AsymmetricRelation)	QoSontology.kif 740-740	program copy is an instance of asymmetric relation
(subrelation programCopy containsInformation)	QoSontology.kif 741-741	program copy is a subrelation of contains information

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 47675-47675
(termFormat ChineseTraditionalLanguage programCopy "程序副本")	domainEnglishFormat.kif 47674-47674
(termFormat EnglishLanguage programCopy "program copy")	domainEnglishFormat.kif 47673-47673

consequent

(=> (instance ?Event MeasuringPerformance) (exists (?Program ?Copy) (and (instance ?Program MonitoringProgram) (programCopy ?Copy ?Program) (agent ?Event ?Copy))))	QoSontology.kif 994-1000	If a process is an instance of measuring performance, then there exist a computer program and an agent such that the computer program is an instance of monitoring program and the agent is a copy of the computer program and the agent is an agent of the process
(=> (instance ?Monitor MonitoringProgram) (exists (?System ?Event ?MonitorCopy) (and (systemMeasured ?Event ?System) (programCopy ?MonitorCopy ?Monitor) (agent ?Event ?MonitorCopy))))	QoSontology.kif 967-973	If a computer program is an instance of monitoring program, then there exist a computational system, a measuring performance and the computer programCopy such that the computational system is a system measured of the measuring performance and the computer programCopy is a copy of the computer program and the computer programCopy is an agent of the measuring performance
(=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy))))	QoSontology.kif 705-712	If a computer program is an instance of RMStartApplication, then there exist another computer program, a computer process and the computer programCopy such that the other computer program is an instance of computer program and the computer programCopy is a copy of the computer program and the startup of the other computer program is a program running of the computer process and the computer programCopy is an agent of the computer process
(=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy))))	QoSontology.kif 731-738	If a software system is a rM program-of of a resource management program, then there exist an object, a computer process and the resource management programCopy such that the object is a part of the software system and the resource management programCopy is a copy of the resource management program and the object is a program running of the computer process and the resource management programCopy is an agent of the computer process

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