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 11322-11323
(domain creator 1 Agent) Mid-level-ontology.kif 11320-11320 The number 1 argument of creator is an instance of agent
(domain creator 2 Entity) Mid-level-ontology.kif 11321-11321 The number 2 argument of creator is an instance of entity
(instance creator BinaryPredicate) Mid-level-ontology.kif 11319-11319 creator is an instance of binary predicate

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 composer is a subrelation of creator
(subrelation lyricist creator) Music.kif 154-154 lyricist is a subrelation of creator
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 11324-11324 "creator" is the printable form of creator in english language

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
(=>
    (creator ?AGENT ?ENTITY)
    (exists (?CREATION)
        (and
            (instance ?CREATION Creation)
            (agent ?CREATION ?AGENT)
            (result ?CREATION ?ENTITY))))
Mid-level-ontology.kif 11325-11331

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


(=>
    (listingSeller ?LISTING ?AGENT)
    (creator ?LISTING ?AGENT))
UXExperimentalTerms.kif 69-71
(=>
    (subclass ?OS AndroidOS)
    (creator ?OS AlphabetCorporation))
ComputingBrands.kif 31-33
(=>
    (subclass ?OS AppleIOS)
    (creator ?OS AppleComputerCorporation))
ComputingBrands.kif 91-93
(=>
    (subclass ?OS WindowsOS)
    (creator ?OS MicrosoftCorporation))
ComputingBrands.kif 61-63

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


(creator ActiveSync MicrosoftCorporation) ComputingBrands.kif 1661-1661 ActiveSync created Microsoft
(creator AdobeFlashPlayer AdobeComputerCorp) ComputingBrands.kif 2764-2764 Flash created Adobe
(creator AirPlay AppleComputerCorporation) ComputingBrands.kif 1752-1752 AirPlay created Apple
(creator AirPrint AppleComputerCorporation) ComputingBrands.kif 1794-1794 AirPrint created Apple
(creator AppleAppStore AppleComputer) ComputingBrands.kif 1865-1865 Apple app store created AppleComputer
(creator AppleFairPlay AppleComputerCorporation) ComputingBrands.kif 847-847 FairPlay created Apple
(creator AppleMigrationAssistant AppleComputerCorporation) ComputingBrands.kif 880-880 Migration Assistant created Apple
(creator AppleSafari AppleComputerCorporation) ComputingBrands.kif 866-866 Safari created Apple
(creator AppleSetupAssistant AppleComputerCorporation) ComputingBrands.kif 873-873 Setup Assistant created Apple
(creator CocoaTouch AppleComputerCorporation) ComputingBrands.kif 2251-2251 Cocoa Touch created Apple
(creator Facebook FacebookCorporation) ComputingBrands.kif 66-66 Facebook created Facebook
(creator GMail GoogleCorporation) ComputingBrands.kif 2914-2914 GMail created GoogleCorporation
(creator IBooks AppleComputerCorporation) ComputingBrands.kif 3122-3122 AppleBooks created Apple
(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3136-3136 IBookstore created Apple


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