TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Copying Making)	Mid-level-ontology.kif 22654-22654	Copying is a subclass of making
(documentation Copying EnglishLanguage "Making a copy of something.")	Mid-level-ontology.kif 22655-22655	Copying is a subclass of making

appearance as argument number 2

(subclass ComputerBackingUp Copying)	ComputingBrands.kif 3397-3397	Backup is a subclass of copying
(termFormat EnglishLanguage Copying "copying")	domainEnglishFormat.kif 17310-17310	Backup is a subclass of copying
(termFormat ChineseTraditionalLanguage Copying "模仿")	domainEnglishFormat.kif 17311-17311	Backup is a subclass of copying
(termFormat ChineseLanguage Copying "模仿")	domainEnglishFormat.kif 17312-17312	Backup is a subclass of copying

antecedent

(=>
    (and
        (instance ?COPY Copying)
        (resource ?COPY ?THING1)
        (result ?COPY ?THING2))
    (copy ?THING1 ?THING2))

If X is an instance of copying, Y is a resource for X, and Z is a result of X, then Y is a copy of Z