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 2679-2682
(subclass DownloadingOverNetwork NetworkCommunication) ComputerInput.kif 2678-2678 DownloadingOverNetworkNetworkCommunicationsubclass では %n

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


(subclass DownloadingSoftware DownloadingOverNetwork) ComputerInput.kif 2701-2701 DownloadingSoftwareDownloadingOverNetworksubclass では %n
(subclass DownloadingUserFile DownloadingOverNetwork) ComputerInput.kif 2713-2713 DownloadingUserFileDownloadingOverNetworksubclass では %n
(subclass DownloadingingUpdate DownloadingOverNetwork) ComputerInput.kif 2694-2694 DownloadingingUpdateDownloadingOverNetworksubclass では %n
(termFormat ChineseLanguage DownloadingOverNetwork "下載") domainEnglishFormat.kif 64292-64292
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載") domainEnglishFormat.kif 64291-64291
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載") domainEnglishFormat.kif 64294-64294
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載") domainEnglishFormat.kif 64293-64293
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network") domainEnglishFormat.kif 64289-64289
(termFormat EnglishLanguage DownloadingOverNetwork "downloading") domainEnglishFormat.kif 64290-64290

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 2684-2692
(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE WebPage))))
ComputerInput.kif 2667-2672

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


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D DownloadingOverNetwork)
                (origin ?D ?C)))))
ComputingBrands.kif 1990-1999
(=>
    (instance ?I ITunes)
    (hasPurpose ?I
        (exists (?M ?D)
            (and
                (instance ?M MultimediaFile)
                (instance ?D DownloadingOverNetwork)
                (objectTransferred ?D ?M)
                (instrument ?D ?I)))))
ComputingBrands.kif 3409-3417

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


(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3309-3315 IBookstore は ?D ?D は DownloadingOverNetworkinstance では %n iBookstore は ?D の instrument では %n ?T は テキストinstance では %n objectTransferred ?D and ?T の 目的 %n{ない}


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