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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DownloadingOverNetwork

Sigma KEE - DownloadingOverNetwork
DownloadingOverNetwork

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 subclass DownloadingOverNetwork and NetworkCommunication

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


(subclass DownloadingSoftware DownloadingOverNetwork) ComputerInput.kif 2697-2697 subclass DownloadingSoftware and DownloadingOverNetwork
(subclass DownloadingUserFile DownloadingOverNetwork) ComputerInput.kif 2709-2709 subclass DownloadingUserFile and DownloadingOverNetwork
(subclass DownloadingingUpdate DownloadingOverNetwork) ComputerInput.kif 2690-2690 subclass DownloadingingUpdate and DownloadingOverNetwork
(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 hasPurpose iBookstore and ?D instance ?D and DownloadingOverNetwork instrument ?D and iBookstore instance ?T and Text objectTransferred ?D and ?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