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 13181-13182
(domain creator 1 Agent) Mid-level-ontology.kif 13179-13179
(domain creator 2 Entity) Mid-level-ontology.kif 13180-13180
(instance creator BinaryPredicate) Mid-level-ontology.kif 13178-13178

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
(subrelation lyricist creator) Music.kif 154-154
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 13183-13183

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 13184-13190

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
(creator AppleComputer AppleAppStore) ComputingBrands.kif 1939-1939
(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1826-1826
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1868-1868
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 924-924
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 957-957
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 943-943
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 950-950
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2401-2401
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3259-3259
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3272-3272
(creator ByteDance TikTok) ComputingBrands.kif 4554-4554
(creator ByteDance Toutiao) ComputingBrands.kif 4585-4585
(creator EBay EBayWebSite) ComputingBrands.kif 4640-4640
(creator FacebookCorporation Facebook) ComputingBrands.kif 64-64
(creator GoogleCorporation GMail) ComputingBrands.kif 3068-3068
(creator GoogleCorporation YouTube) ComputingBrands.kif 4598-4598
(creator MicrosoftCorporation ActiveSync) ComputingBrands.kif 1738-1738


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