Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Copying

Sigma KEE - Copying
Copying

appearance as argument number 1
-------------------------


(documentation Copying EnglishLanguage "Making a copy of something.") Mid-level-ontology.kif 18176-18176
(subclass Copying Making) Mid-level-ontology.kif 18175-18175

appearance as argument number 2
-------------------------


(subclass ComputerBackingUp Copying) ComputingBrands.kif 3291-3291
(termFormat EnglishLanguage Copying "copying") domainEnglishFormat.kif 3306-3306

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


(=>
    (and
        (instance ?COPY Copying)
        (resource ?COPY ?THING1)
        (result ?COPY ?THING2))
    (copy ?THING1 ?THING2))
Mid-level-ontology.kif 18178-18183


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners