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


KB Term:  Term intersection
English Word: 

  SyrahGrape

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