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 638-640
(domain programCopy 1 ComputerFile)	QoSontology.kif 636-636	The number 1 argument of program copy is an instance of computer file
(domain programCopy 2 ComputerProgram)	QoSontology.kif 637-637	The number 2 argument of program copy is an instance of computer program
(instance programCopy AsymmetricRelation)	QoSontology.kif 634-634	program copy is an instance of asymmetric relation
(subrelation programCopy containsInformation)	QoSontology.kif 635-635	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 47680-47680
(termFormat ChineseTraditionalLanguage programCopy "程序副本")	domainEnglishFormat.kif 47679-47679
(termFormat EnglishLanguage programCopy "program copy")	domainEnglishFormat.kif 47678-47678

consequent

(=> (instance ?Event MeasuringPerformance) (exists (?Program ?Copy) (and (instance ?Program MonitoringProgram) (programCopy ?Copy ?Program) (agent ?Event ?Copy))))	QoSontology.kif 888-894	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 861-867	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 599-606	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 625-632	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