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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - creator
creator

appearance as argument number 1
-------------------------


(documentation creator EnglishLanguage "(creator ?AGENT ?ENTITY) means that some Agent ?AGENT is the creator of some Entity ?ENTITY") Mid-level-ontology.kif 13185-13186
(domain creator 1 Agent) Mid-level-ontology.kif 13183-13183 creator 的 1 数量 是 施事体instance
(domain creator 2 Entity) Mid-level-ontology.kif 13184-13184 creator 的 2 数量 是 实体instance
(instance creator BinaryPredicate) Mid-level-ontology.kif 13182-13182 creator二元谓语instance

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


(format ChineseLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3151-3151
(format ChineseTraditionalLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3150-3150
(format EnglishLanguage creator "%1 created %2") domainEnglishFormat.kif 3149-3149
(subrelation composer creator) Music.kif 136-136 composercreatorsubrelation
(subrelation lyricist creator) Music.kif 154-154 lyricistcreatorsubrelation
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 13187-13187

antecedent
-------------------------


(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?ITEM Object)
        (instance ?CREATOR Agent)
        (attribute ?LISTING AuctionAttribute)
        (patient ?ITEM ?LISTING)
        (creator ?CREATOR ?LISTING))
    (desires ?CREATOR
        (exists (?AUCTION)
            (and
                (instance ?AUCTION Auctioning)
                (patient ?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 393-405
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))
UXExperimentalTerms.kif 44-50
(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A Agent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
            (and
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))
ComputerInput.kif 2826-2840
(=>
    (creator ?AGENT ?ENTITY)
    (exists (?CREATION)
        (and
            (instance ?CREATION Creation)
            (agent ?CREATION ?AGENT)
            (result ?CREATION ?ENTITY))))
Mid-level-ontology.kif 13188-13194

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


(=>
    (listingSeller ?LISTING ?AGENT)
    (creator ?LISTING ?AGENT))
UXExperimentalTerms.kif 69-71
(=>
    (subclass ?OS AndroidOS)
    (creator AlphabetCorporation ?OS))
ComputingBrands.kif 29-31
(=>
    (subclass ?OS AppleIOS)
    (creator AppleComputerCorporation ?OS))
ComputingBrands.kif 88-90
(=>
    (subclass ?OS WindowsOS)
    (creator MicrosoftCorporation ?OS))
ComputingBrands.kif 59-61

appearance as argument number 0
-------------------------


(creator AdobeComputerCorp AdobeFlashPlayer) ComputingBrands.kif 2918-2918 Adobe created Flash
(creator AppleComputer AppleAppStore) ComputingBrands.kif 1939-1939 AppleComputer created 蘋果app 商店
(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1826-1826 苹果 created 隔空播放
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1868-1868 苹果 created 隔空打印
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 924-924 苹果 created FairPlay
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 957-957 苹果 created 迁移助理
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 943-943 苹果 created Safari
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 950-950 苹果 created 设置助理
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2401-2401 苹果 created 可可触控
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3259-3259 苹果 created AppleBooks
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3272-3272 苹果 created iBookstore
(creator ByteDance TikTok) ComputingBrands.kif 4554-4554 ByteDance created 抖音
(creator ByteDance Toutiao) ComputingBrands.kif 4585-4585 ByteDance created Toutiao
(creator EBay EBayWebSite) ComputingBrands.kif 4640-4640 EBay created EBayWebSite
(creator FacebookCorporation Facebook) ComputingBrands.kif 64-64 脸书 created 脸书
(creator GoogleCorporation GMail) ComputingBrands.kif 3068-3068 GoogleCorporation created GMail
(creator GoogleCorporation YouTube) ComputingBrands.kif 4598-4598 GoogleCorporation created YouTube
(creator MicrosoftCorporation ActiveSync) ComputingBrands.kif 1738-1738 微软 created 活性同步


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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