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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Downloading

Sigma KEE - Downloading
Downloading

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


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D Downloading)
                (origin ?D ?C)))))
ComputingBrands.kif 1885-1894
(=>
    (instance ?I ITunes)
    (hasPurpose ?I
        (exists (?M ?D)
            (and
                (instance ?M MultimediaFile)
                (instance ?D Downloading)
                (objectTransferred ?D ?M)
                (instrument ?D ?I)))))
ComputingBrands.kif 3209-3217

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


(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3128-3134 IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 DownloadinginstanceiBookstore 是导致 ?D 的 instrument 和 ?T 是 文本instanceobjectTransferred ?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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners