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 3727-3730
No TPTP formula. May not be expressible in strict first order. Merge.kif 3724-3724 The number 1 argument of copy is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 3725-3725 The number 2 argument of copy is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 3722-3722 copy is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3723-3723 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. chinese_format.kif 88-88
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17295-17295
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17294-17294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17293-17293

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3732-3737

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 931-941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19711-19716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2774-2780
No TPTP formula. May not be expressible in strict first order. Music.kif 886-895
No TPTP formula. May not be expressible in strict first order. WMD.kif 459-468
No TPTP formula. May not be expressible in strict first order. WMD.kif 166-178


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