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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UploadingOverNetwork

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 2775-2777
(subclass UploadingOverNetwork NetworkCommunication) ComputerInput.kif 2774-2774 Uploading is a subclass of network communication

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


(subclass PostingOnBlog UploadingOverNetwork) ComputerInput.kif 2879-2879 Posting on blog is a subclass of uploading
(subclass UploadingAudioFile UploadingOverNetwork) ComputerInput.kif 2812-2812 Uploading audio file is a subclass of uploading
(subclass UploadingImage UploadingOverNetwork) ComputerInput.kif 2788-2788 Uploading image is a subclass of uploading
(subclass UploadingVideo UploadingOverNetwork) ComputerInput.kif 2800-2800 Uploading video is a subclass of uploading
(termFormat ChineseLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64299-64299
(termFormat ChineseLanguage UploadingOverNetwork "网络上傳") domainEnglishFormat.kif 64298-64298
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64301-64301
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "網絡上傳") domainEnglishFormat.kif 64300-64300
(termFormat EnglishLanguage UploadingOverNetwork "uploading over network") domainEnglishFormat.kif 64296-64296
(termFormat EnglishLanguage UploadingOverNetwork "uploading") domainEnglishFormat.kif 64297-64297

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 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 3.0 is open source software produced by Articulate Software and its partners