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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UploadingOverNetwork
UploadingOverNetwork(uploading)

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


(documentation UploadingOverNetwork EnglishLanguage "UploadingOverNetwork is those instances of NetworkCommunication in which a DigitalData, such as a Computerfile is uploaded from a user's local computer onto another ComputerSystem on a network.") ComputerInput.kif 2803-2805
(subclass UploadingOverNetwork NetworkCommunication) ComputerInput.kif 2802-2802 Uploading is a subclass of NetworkCommunication

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


(subclass PostingOnBlog UploadingOverNetwork) ComputerInput.kif 2907-2907 PostingOnBlog is a subclass of uploading
(subclass UploadingAudioFile UploadingOverNetwork) ComputerInput.kif 2840-2840 UploadingAudioFile is a subclass of uploading
(subclass UploadingImage UploadingOverNetwork) ComputerInput.kif 2816-2816 UploadingImage is a subclass of uploading
(subclass UploadingVideo UploadingOverNetwork) ComputerInput.kif 2828-2828 UploadingVideo is a subclass of uploading
(termFormat ChineseLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64272-64272
(termFormat ChineseLanguage UploadingOverNetwork "网络上傳") domainEnglishFormat.kif 64271-64271
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64274-64274
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "網絡上傳") domainEnglishFormat.kif 64273-64273
(termFormat EnglishLanguage UploadingOverNetwork "uploading over network") domainEnglishFormat.kif 64269-64269
(termFormat EnglishLanguage UploadingOverNetwork "uploading") domainEnglishFormat.kif 64270-64270

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


(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))
ComputerInput.kif 2807-2814


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