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 DigitalData, such as a Computerfile is uploaded from a user's local computer onto another ComputerSystem on a network.") ComputerInput.kif 2775-2777
(subclass UploadingOverNetwork NetworkCommunication) ComputerInput.kif 2774-2774 子類 上傳 and NetworkCommunication

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


(subclass PostingOnBlog UploadingOverNetwork) ComputerInput.kif 2879-2879 子類 PostingOnBlog and 上傳
(subclass UploadingAudioFile UploadingOverNetwork) ComputerInput.kif 2812-2812 子類 UploadingAudioFile and 上傳
(subclass UploadingImage UploadingOverNetwork) ComputerInput.kif 2788-2788 子類 UploadingImage and 上傳
(subclass UploadingVideo UploadingOverNetwork) ComputerInput.kif 2800-2800 子類 UploadingVideo and 上傳
(termFormat ChineseLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64301-64301
(termFormat ChineseLanguage UploadingOverNetwork "网络上傳") domainEnglishFormat.kif 64300-64300
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64303-64303
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "網絡上傳") domainEnglishFormat.kif 64302-64302
(termFormat EnglishLanguage UploadingOverNetwork "uploading over network") domainEnglishFormat.kif 64298-64298
(termFormat EnglishLanguage UploadingOverNetwork "uploading") domainEnglishFormat.kif 64299-64299

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


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


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