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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UploadingOverNetwork
UploadingOverNetwork

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


(documentation UploadingOverNetwork EnglishLanguage "UploadingOverNetwork is those instances of NetworkCommunication in which a ComputerFile is uploaded from a user's local computer onto another ComputerSystem on a network.") ComputerInput.kif 2786-2788
(subclass UploadingOverNetwork NetworkCommunication) ComputerInput.kif 2785-2785 UploadingOverNetwork is a subclass of NetworkCommunication

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


(subclass PostingOnBlog UploadingOverNetwork) ComputerInput.kif 2841-2841 PostingOnBlog is a subclass of UploadingOverNetwork
(subclass UploadingAudioFile UploadingOverNetwork) ComputerInput.kif 2821-2821 UploadingAudioFile is a subclass of UploadingOverNetwork
(subclass UploadingImage UploadingOverNetwork) ComputerInput.kif 2797-2797 UploadingImage is a subclass of UploadingOverNetwork
(subclass UploadingVideo UploadingOverNetwork) ComputerInput.kif 2809-2809 UploadingVideo is a subclass of UploadingOverNetwork

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


(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 2790-2795


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