Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UploadingOverNetwork
UploadingOverNetwork(uploading)

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


(subclass UploadingOverNetwork NetworkCommunication) ComputerInput.kif 2790-2790 Uploading is a subclass of network communication
(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 2791-2793 Uploading is a subclass of network communication

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


(subclass UploadingImage UploadingOverNetwork) ComputerInput.kif 2804-2804 Uploading image is a subclass of uploading
(subclass UploadingVideo UploadingOverNetwork) ComputerInput.kif 2816-2816 Uploading video is a subclass of uploading
(subclass UploadingAudioFile UploadingOverNetwork) ComputerInput.kif 2828-2828 Uploading audio file is a subclass of uploading
(subclass PostingOnBlog UploadingOverNetwork) ComputerInput.kif 2895-2895 Posting on blog is a subclass of uploading
(termFormat EnglishLanguage UploadingOverNetwork "uploading over network") domainEnglishFormat.kif 64299-64299 Posting on blog is a subclass of uploading
(termFormat EnglishLanguage UploadingOverNetwork "uploading") domainEnglishFormat.kif 64300-64300 Posting on blog is a subclass of uploading
(termFormat ChineseLanguage UploadingOverNetwork "网络上傳") domainEnglishFormat.kif 64301-64301 Posting on blog is a subclass of uploading
(termFormat ChineseLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64302-64302 Posting on blog is a subclass of uploading
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "網絡上傳") domainEnglishFormat.kif 64303-64303 Posting on blog is a subclass of uploading
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "上傳") domainEnglishFormat.kif 64304-64304 Posting on blog is a subclass of uploading

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


(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))		 ComputerInput.kif 2795-2802 If X is an instance of uploading, then there exist Y, Z such that Y is a patient of X, Z is an instance of computer, X originates at Z, and Y is an instance of digital data

consequent
-------------------------


(=>
    (instance ?PROFILE ProfilePage)
    (hasPurpose ?PROFILE
        (exists (?USER ?PAGE ?POST)
            (and
                (instance ?USER FacebookUser)
                (instance ?PAGE WebPage)
                (instance ?POST UploadingOverNetwork)
                (agent ?POST ?USER)
                (result ?POST ?PAGE)
                (represents ?PAGE ?USER)))))		 Facebook.kif 159-169 If X is an instance of profile page, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of Facebook user (3) Z is an instance of web page (4) W is an instance of uploading (5) Y is an agent of W (6) Z is a result of W (7) Z expresses Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners