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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - UploadingImage
UploadingImage(uploading image)

appearance as argument number 1

(documentation UploadingImage EnglishLanguage "UploadingImage is those instances of NetworkCommunication in which a ImageFile is uploaded from a user's local computer onto another ComputerSystem on a network.") ComputerInput.kif 2789-2791
(subclass UploadingImage UploadingOverNetwork) ComputerInput.kif 2788-2788 Uploading image is a subclass of uploading

appearance as argument number 2

(termFormat EnglishLanguage UploadingImage "uploading image") domainEnglishFormat.kif 65670-65670


    (instance ?ACT UploadingImage)
    (exists (?FILE)
            (patient ?ACT ?FILE)
            (instance ?FILE ImageFile))))
ComputerInput.kif 2793-2798

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