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 2707-2710
(subclass DownloadingOverNetwork NetworkCommunication) ComputerInput.kif 2706-2706 Downloading is a subclass of NetworkCommunication

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


(subclass DownloadingSoftware DownloadingOverNetwork) ComputerInput.kif 2729-2729 DownloadingSoftware is a subclass of downloading
(subclass DownloadingUserFile DownloadingOverNetwork) ComputerInput.kif 2741-2741 DownloadingUserFile is a subclass of downloading
(subclass DownloadingingUpdate DownloadingOverNetwork) ComputerInput.kif 2722-2722 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 2712-2720
(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE WebPage))))
ComputerInput.kif 2695-2700

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


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D DownloadingOverNetwork)
                (origin ?D ?C)))))
ComputingBrands.kif 1959-1968
(=>
    (instance ?I ITunes)
    (hasPurpose ?I
        (exists (?M ?D)
            (and
                (instance ?M MultimediaFile)
                (instance ?D DownloadingOverNetwork)
                (objectTransferred ?D ?M)
                (instrument ?D ?I)))))
ComputingBrands.kif 3376-3384

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


(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3276-3282 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