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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DownloadingOverNetwork

Sigma KEE - DownloadingOverNetwork
DownloadingOverNetwork(downloading)

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


(documentation DownloadingOverNetwork EnglishLanguage "DownloadingOverNetwork is those instances of NetworkCommunication in which DigitalData are downloaded from a network onto the user's local computer. For example a ComputerFile may be generated on the fly or pre-exist on the system from which it is being downloaded.") ComputerInput.kif 2675-2678
(subclass DownloadingOverNetwork NetworkCommunication) ComputerInput.kif 2674-2674 Downloading is a subclass of NetworkCommunication

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


(subclass DownloadingSoftware DownloadingOverNetwork) ComputerInput.kif 2697-2697 DownloadingSoftware is a subclass of downloading
(subclass DownloadingUserFile DownloadingOverNetwork) ComputerInput.kif 2709-2709 DownloadingUserFile is a subclass of downloading
(subclass DownloadingingUpdate DownloadingOverNetwork) ComputerInput.kif 2690-2690 DownloadingingUpdate is a subclass of downloading
(termFormat ChineseLanguage DownloadingOverNetwork "下載") domainEnglishFormat.kif 64265-64265
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載") domainEnglishFormat.kif 64264-64264
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載") domainEnglishFormat.kif 64267-64267
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載") domainEnglishFormat.kif 64266-64266
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network") domainEnglishFormat.kif 64262-64262
(termFormat EnglishLanguage DownloadingOverNetwork "downloading") domainEnglishFormat.kif 64263-64263

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


(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (agent ?ACT ?COM)
            (destination ?ACT ?COM)
            (instance ?COM ComputerSystem)
            (instance ?DATA DigitalData))))
ComputerInput.kif 2680-2688
(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE WebPage))))
ComputerInput.kif 2663-2668

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


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D DownloadingOverNetwork)
                (origin ?D ?C)))))
ComputingBrands.kif 1958-1967
(=>
    (instance ?I ITunes)
    (hasPurpose ?I
        (exists (?M ?D)
            (and
                (instance ?M MultimediaFile)
                (instance ?D DownloadingOverNetwork)
                (objectTransferred ?D ?M)
                (instrument ?D ?I)))))
ComputingBrands.kif 3375-3383

statement
-------------------------


(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3275-3281 IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T


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