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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 DownloadingOverNetwork est une sous-classe de NetworkCommunication

appearance as argument number 2

(subclass DownloadingSoftware DownloadingOverNetwork) ComputerInput.kif 2701-2701 DownloadingSoftware est une sous-classe de DownloadingOverNetwork
(subclass DownloadingUserFile DownloadingOverNetwork) ComputerInput.kif 2713-2713 DownloadingUserFile est une sous-classe de DownloadingOverNetwork
(subclass DownloadingingUpdate DownloadingOverNetwork) ComputerInput.kif 2694-2694 DownloadingingUpdate est une sous-classe de DownloadingOverNetwork
(termFormat ChineseLanguage DownloadingOverNetwork "下載") domainEnglishFormat.kif 64304-64304
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載") domainEnglishFormat.kif 64303-64303
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載") domainEnglishFormat.kif 64306-64306
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載") domainEnglishFormat.kif 64305-64305
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network") domainEnglishFormat.kif 64301-64301
(termFormat EnglishLanguage DownloadingOverNetwork "downloading") domainEnglishFormat.kif 64302-64302


    (instance ?ACT DownloadingOverNetwork)
    (exists (?DATA ?COM)
            (patient ?ACT ?DATA)
            (agent ?ACT ?COM)
            (destination ?ACT ?COM)
            (instance ?COM ComputerSystem)
            (instance ?DATA DigitalData))))
ComputerInput.kif 2684-2692
    (instance ?ACT DownloadingOverNetwork)
    (exists (?FILE)
            (patient ?ACT ?FILE)
            (instance ?FILE WebPage))))
ComputerInput.kif 2667-2672


        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
                (instance ?D DownloadingOverNetwork)
                (origin ?D ?C)))))
ComputingBrands.kif 1990-1999
    (instance ?I ITunes)
    (hasPurpose ?I
        (exists (?M ?D)
                (instance ?M MultimediaFile)
                (instance ?D DownloadingOverNetwork)
                (objectTransferred ?D ?M)
                (instrument ?D ?I)))))
ComputingBrands.kif 3407-3415


(hasPurpose IBookstore
    (exists (?D)
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3307-3313 IBookstore a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte 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