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

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	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 970-976	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 708-715	If a computer program is an instance of RM start application, 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 734-741	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