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 13234-13235
(domain creator 1 Agent) Mid-level-ontology.kif 13232-13232 domain creator, 1 and Agent
(domain creator 2 Entity) Mid-level-ontology.kif 13233-13233 domain creator, 2 and Entity
(instance creator BinaryPredicate) Mid-level-ontology.kif 13231-13231 instance creator and BinaryPredicate

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 composer and creator
(subrelation lyricist creator) Music.kif 155-155 subrelation lyricist and creator
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 13236-13236

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
(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A Agent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
            (and
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))		 ComputerInput.kif 2826-2840
(=>
    (creator ?AGENT ?ENTITY)
    (exists (?CREATION)
        (and
            (instance ?CREATION Creation)
            (agent ?CREATION ?AGENT)
            (result ?CREATION ?ENTITY))))		 Mid-level-ontology.kif 13237-13243

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


(=>
    (listingSeller ?LISTING ?AGENT)
    (creator ?LISTING ?AGENT))		 UXExperimentalTerms.kif 69-71
(=>
    (subclass ?OS AndroidOS)
    (creator AlphabetCorporation ?OS))		 ComputingBrands.kif 29-31
(=>
    (subclass ?OS AppleIOS)
    (creator AppleComputerCorporation ?OS))		 ComputingBrands.kif 88-90
(=>
    (subclass ?OS WindowsOS)
    (creator MicrosoftCorporation ?OS))		 ComputingBrands.kif 59-61

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


(creator AdobeComputerCorp AdobeFlashPlayer) ComputingBrands.kif 2918-2918 creator Adobe and Flash
(creator AppleComputer AppleAppStore) ComputingBrands.kif 1939-1939 creator AppleComputer and Apple app store
(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1826-1826 creator Apple and AirPlay
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1868-1868 creator Apple and AirPrint
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 924-924 creator Apple and FairPlay
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 957-957 creator Apple and Migration Assistant
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 943-943 creator Apple and Safari
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 950-950 creator Apple and 設定アシスタント
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2401-2401 creator Apple and Cocoa Touch
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3259-3259 creator Apple and AppleBooks
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3272-3272 creator Apple and iBookstore
(creator ByteDance TikTok) ComputingBrands.kif 4554-4554 creator ByteDance and TikTok
(creator ByteDance Toutiao) ComputingBrands.kif 4585-4585 creator ByteDance and Toutiao
(creator EBay EBayWebSite) ComputingBrands.kif 4640-4640 creator EBay and EBayWebSite
(creator FacebookCorporation Facebook) ComputingBrands.kif 64-64 creator Facebook and Facebook
(creator GoogleCorporation GMail) ComputingBrands.kif 3068-3068 creator GoogleCorporation and GMail
(creator GoogleCorporation YouTube) ComputingBrands.kif 4598-4598 creator GoogleCorporation and YouTube
(creator MicrosoftCorporation ActiveSync) ComputingBrands.kif 1738-1738 creator マイクロソフト and ActiveSync


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