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 11354-11355
(domain creator 1 Agent) Mid-level-ontology.kif 11352-11352
(domain creator 2 Entity) Mid-level-ontology.kif 11353-11353
(instance creator BinaryPredicate) Mid-level-ontology.kif 11351-11351

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

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 11357-11363

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 1745-1745
(creator AdobeFlashPlayer AdobeComputerCorp) ComputingBrands.kif 2921-2921
(creator AirPlay AppleComputerCorporation) ComputingBrands.kif 1836-1836
(creator AirPrint AppleComputerCorporation) ComputingBrands.kif 1878-1878
(creator AppleAppStore AppleComputer) ComputingBrands.kif 1949-1949
(creator AppleFairPlay AppleComputerCorporation) ComputingBrands.kif 931-931
(creator AppleMigrationAssistant AppleComputerCorporation) ComputingBrands.kif 964-964
(creator AppleSafari AppleComputerCorporation) ComputingBrands.kif 950-950
(creator AppleSetupAssistant AppleComputerCorporation) ComputingBrands.kif 957-957
(creator CocoaTouch AppleComputerCorporation) ComputingBrands.kif 2408-2408
(creator Facebook FacebookCorporation) ComputingBrands.kif 67-67
(creator GMail GoogleCorporation) ComputingBrands.kif 3071-3071
(creator IBooks AppleComputerCorporation) ComputingBrands.kif 3279-3279
(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3292-3292


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