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 11326-11327
(domain creator 1 Agent) Mid-level-ontology.kif 11324-11324
(domain creator 2 Entity) Mid-level-ontology.kif 11325-11325
(instance creator BinaryPredicate) Mid-level-ontology.kif 11323-11323

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


(format ChineseLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3147-3147
(format ChineseTraditionalLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3146-3146
(format EnglishLanguage creator "%1 created %2") domainEnglishFormat.kif 3145-3145
(subrelation composer creator) Music.kif 136-136
(subrelation lyricist creator) Music.kif 154-154
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 11328-11328

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 391-403
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))
UXExperimentalTerms.kif 44-50
(=>
    (creator ?AGENT ?ENTITY)
    (exists (?CREATION)
        (and
            (instance ?CREATION Creation)
            (agent ?CREATION ?AGENT)
            (result ?CREATION ?ENTITY))))
Mid-level-ontology.kif 11329-11335

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


(=>
    (listingSeller ?LISTING ?AGENT)
    (creator ?LISTING ?AGENT))
UXExperimentalTerms.kif 69-71
(=>
    (subclass ?OS AndroidOS)
    (creator ?OS AlphabetCorporation))
ComputingBrands.kif 30-32
(=>
    (subclass ?OS AppleIOS)
    (creator ?OS AppleComputerCorporation))
ComputingBrands.kif 92-94
(=>
    (subclass ?OS WindowsOS)
    (creator ?OS MicrosoftCorporation))
ComputingBrands.kif 62-64

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


(creator ActiveSync MicrosoftCorporation) ComputingBrands.kif 1747-1747
(creator AdobeFlashPlayer AdobeComputerCorp) ComputingBrands.kif 2923-2923
(creator AirPlay AppleComputerCorporation) ComputingBrands.kif 1838-1838
(creator AirPrint AppleComputerCorporation) ComputingBrands.kif 1880-1880
(creator AppleAppStore AppleComputer) ComputingBrands.kif 1951-1951
(creator AppleFairPlay AppleComputerCorporation) ComputingBrands.kif 933-933
(creator AppleMigrationAssistant AppleComputerCorporation) ComputingBrands.kif 966-966
(creator AppleSafari AppleComputerCorporation) ComputingBrands.kif 952-952
(creator AppleSetupAssistant AppleComputerCorporation) ComputingBrands.kif 959-959
(creator CocoaTouch AppleComputerCorporation) ComputingBrands.kif 2410-2410
(creator Facebook FacebookCorporation) ComputingBrands.kif 67-67
(creator GMail GoogleCorporation) ComputingBrands.kif 3073-3073
(creator IBooks AppleComputerCorporation) ComputingBrands.kif 3281-3281
(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3294-3294


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners