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 AutonomousAgent ?AGENT is the creator of some Entity ?ENTITY") Mid-level-ontology.kif 13715-13716
(domain creator 1 AutonomousAgent) Mid-level-ontology.kif 13713-13713 Die Zahl 1 Argument von creator ist ein fall von AutonomousAgent %n{nicht}
(domain creator 2 Entity) Mid-level-ontology.kif 13714-13714 Die Zahl 2 Argument von creator ist ein fall von Entity %n{nicht}
(instance creator BinaryPredicate) Mid-level-ontology.kif 13712-13712 creator ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2
-------------------------


(format ChineseLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3146-3146
(format ChineseTraditionalLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3145-3145
(format EnglishLanguage creator "%1 created %2") domainEnglishFormat.kif 3144-3144
(subrelation composer creator) Music.kif 137-137 composer ist eine teilrelation von creator
(subrelation lyricist creator) Music.kif 156-156 lyricist ist eine teilrelation von creator
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 13717-13717

antecedent
-------------------------


(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?ITEM Object)
        (instance ?CREATOR AutonomousAgent)
        (attribute ?LISTING AuctionAttribute)
        (patient ?ITEM ?LISTING)
        (creator ?CREATOR ?LISTING))
    (desires ?CREATOR
        (exists (?AUCTION)
            (and
                (instance ?AUCTION Auctioning)
                (patient ?AUCTION ?ITEM)))))		 UXExperimentalTerms.kif 313-325
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))		 UXExperimentalTerms.kif 39-45
(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A AutonomousAgent)
        (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 2830-2844
(=>
    (creator ?AGENT ?ENTITY)
    (exists (?CREATION)
        (and
            (instance ?CREATION Creation)
            (agent ?CREATION ?AGENT)
            (result ?CREATION ?ENTITY))))		 Mid-level-ontology.kif 13718-13724

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


(=>
    (and
        (subclass ?OS AndroidOS)
        (instance ?INST ?OS))
    (creator AlphabetCorporation ?INST))		 ComputingBrands.kif 30-34
(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))		 ComputingBrands.kif 93-97
(=>
    (and
        (subclass ?OS WindowsOS)
        (instance ?INST ?OS))
    (creator MicrosoftCorporation ?INST))		 ComputingBrands.kif 62-66
(=>
    (listingSeller ?LISTING ?AGENT)
    (creator ?LISTING ?AGENT))		 UXExperimentalTerms.kif 57-59

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


(creator AdobeComputerCorp AdobeFlashPlayer) ComputingBrands.kif 2950-2950 creator AdobeComputerCorp and AdobeFlashPlayer
(creator AppleComputer AppleAppStore) ComputingBrands.kif 1971-1971 creator AppleComputer and AppleAppStore
(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1858-1858 creator AppleComputerCorporation and AirPlay
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1900-1900 creator AppleComputerCorporation and AirPrint
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 956-956 creator AppleComputerCorporation and AppleFairPlay
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 989-989 creator AppleComputerCorporation and AppleMigrationAssistant
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 975-975 creator AppleComputerCorporation and AppleSafari
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 982-982 creator AppleComputerCorporation and AppleSetupAssistant
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2433-2433 creator AppleComputerCorporation and CocoaTouch
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3293-3293 creator AppleComputerCorporation and IBooks
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3306-3306 creator AppleComputerCorporation and IBookstore
(creator ByteDance TikTok) ComputingBrands.kif 4591-4591 creator ByteDance and TikTok
(creator ByteDance Toutiao) ComputingBrands.kif 4622-4622 creator ByteDance and Toutiao
(creator EBay EBayWebSite) ComputingBrands.kif 4677-4677 creator EBay and EBayWebSite
(creator FacebookCorporation Facebook) ComputingBrands.kif 69-69 creator FacebookCorporation and Facebook
(creator GoogleCorporation GMail) ComputingBrands.kif 3100-3100 creator GoogleCorporation and GMail
(creator GoogleCorporation YouTube) ComputingBrands.kif 4635-4635 creator GoogleCorporation and YouTube
(creator MicrosoftCorporation ActiveSync) ComputingBrands.kif 1770-1770 creator MicrosoftCorporation 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