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
(domain creator 2 Entity) Mid-level-ontology.kif 11321-11321
(instance creator BinaryPredicate) Mid-level-ontology.kif 11319-11319

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 11324-11324

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
(creator AdobeFlashPlayer AdobeComputerCorp) ComputingBrands.kif 2764-2764
(creator AirPlay AppleComputerCorporation) ComputingBrands.kif 1752-1752
(creator AirPrint AppleComputerCorporation) ComputingBrands.kif 1794-1794
(creator AppleAppStore AppleComputer) ComputingBrands.kif 1865-1865
(creator AppleFairPlay AppleComputerCorporation) ComputingBrands.kif 847-847
(creator AppleMigrationAssistant AppleComputerCorporation) ComputingBrands.kif 880-880
(creator AppleSafari AppleComputerCorporation) ComputingBrands.kif 866-866
(creator AppleSetupAssistant AppleComputerCorporation) ComputingBrands.kif 873-873
(creator CocoaTouch AppleComputerCorporation) ComputingBrands.kif 2251-2251
(creator Facebook FacebookCorporation) ComputingBrands.kif 66-66
(creator GMail GoogleCorporation) ComputingBrands.kif 2914-2914
(creator IBooks AppleComputerCorporation) ComputingBrands.kif 3122-3122
(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3136-3136


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