copy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - copy

copy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2077-2078
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3843-3846
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 723-725
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3840-3840	The number 1 argument of copy is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3841-3841	The number 2 argument of copy is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3838-3838	copy is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3839-3839	copy is an instance of equivalence relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 87-87
No TPTP formula. May not be expressible in strict first order.	english_format.kif 87-87
No TPTP formula. May not be expressible in strict first order.	french_format.kif 66-66
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 60-60
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1892-1892
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 18-18
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 115-115
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 95-95
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 85-85
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 65-65
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 94-94
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 88-88
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17319-17319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17318-17318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17317-17317
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 26-26
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 137-137

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3848-3853

If an object is a copy of another object,
then for all an attribute
- if the attribute is an attribute of the object,
- then the attribute is an attribute of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	If a kind of data storage device is equal to the set of copies on a kind of data storage deviceS of an album and a third data storage device is an instance of the kind of data storage device, then for all an object if the object is a member of the album, then there exists a content bearing object such that the content bearing object is a copy of the object and the content bearing object is stored on the third data storage device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21333-21338	If a process is an instance of copying and an object is a resource for the process and another object is a result of the process, then the object is a copy of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2835-2841	If symmetric shape is an attribute of an object, then there exist another object and a third object such that the other object is a copy of the third object and the object is equal to the union of the parts of the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Music.kif 889-898	If a music recording is equal to the remix of another music recording by a cognitive agent, then there exists a process such that the process is an instance of intentional process and the other music recording is a patient of the process and the cognitive agent is an agent of the process and the music recording is a result of the process and the music recording is not equal to the other music recording and the music recording is not a copy of the other music recording
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 166-178	If an object is an instance of toxin, then there exist another object and a process such that the other object is an instance of toxic organism and the process is an instance of biological process and the other object is an instrument for the process and the object is a result of the process or there exists a third object such that the third object is a result of the process and the object is a copy of the third object

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