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 11327-11328
(domain creator 1 Agent) Mid-level-ontology.kif 11325-11325 The number 1 argument of creator is an instance of agent
(domain creator 2 Entity) Mid-level-ontology.kif 11326-11326 The number 2 argument of creator is an instance of entity
(instance creator BinaryPredicate) Mid-level-ontology.kif 11324-11324 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 11329-11329

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 11330-11336

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 ActiveSync created Microsoft
(creator AdobeFlashPlayer AdobeComputerCorp) ComputingBrands.kif 2923-2923 Flash created Adobe
(creator AirPlay AppleComputerCorporation) ComputingBrands.kif 1838-1838 AirPlay created Apple
(creator AirPrint AppleComputerCorporation) ComputingBrands.kif 1880-1880 AirPrint created Apple
(creator AppleAppStore AppleComputer) ComputingBrands.kif 1951-1951 Apple app store created AppleComputer
(creator AppleFairPlay AppleComputerCorporation) ComputingBrands.kif 933-933 FairPlay created Apple
(creator AppleMigrationAssistant AppleComputerCorporation) ComputingBrands.kif 966-966 Migration Assistant created Apple
(creator AppleSafari AppleComputerCorporation) ComputingBrands.kif 952-952 Safari created Apple
(creator AppleSetupAssistant AppleComputerCorporation) ComputingBrands.kif 959-959 Setup Assistant created Apple
(creator CocoaTouch AppleComputerCorporation) ComputingBrands.kif 2410-2410 Cocoa Touch created Apple
(creator Facebook FacebookCorporation) ComputingBrands.kif 67-67 Facebook created Facebook
(creator GMail GoogleCorporation) ComputingBrands.kif 3073-3073 GMail created GoogleCorporation
(creator IBooks AppleComputerCorporation) ComputingBrands.kif 3281-3281 AppleBooks created Apple
(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3294-3294 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