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

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 638-640
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 636-636	The number 1 argument of program copy is an instance of computer file
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 637-637	The number 2 argument of program copy is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 634-634	program copy is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 635-635	program copy is a subrelation of contains information

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4250-4250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4249-4249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4248-4248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47642-47642
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47641-47641
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47640-47640

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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