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 15086-15087
(domain creator 1 AutonomousAgent) Mid-level-ontology.kif 15084-15084 creator 的 1 数量 是 施事体instance
(domain creator 2 Entity) Mid-level-ontology.kif 15085-15085 creator 的 2 数量 是 实体instance
(instance creator BinaryPredicate) Mid-level-ontology.kif 15083-15083 creator二元谓语instance

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


(format ChineseLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3142-3142
(format ChineseTraditionalLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3141-3141
(format EnglishLanguage creator "%1 created %2") domainEnglishFormat.kif 3140-3140
(subrelation composer creator) Music.kif 137-137 composercreatorsubrelation
(subrelation lyricist creator) Music.kif 156-156 lyricistcreatorsubrelation
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 15088-15088 lyricistcreatorsubrelation

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 15089-15095

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 Adobe created Flash
(creator AppleComputer AppleAppStore) ComputingBrands.kif 1971-1971 AppleComputer created 蘋果app 商店
(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1858-1858 苹果 created 隔空播放
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1900-1900 苹果 created 隔空打印
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 956-956 苹果 created FairPlay
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 989-989 苹果 created 迁移助理
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 975-975 苹果 created Safari
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 982-982 苹果 created 设置助理
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2433-2433 苹果 created 可可触控
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3289-3289 苹果 created AppleBooks
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3302-3302 苹果 created iBookstore
(creator ByteDance TikTok) ComputingBrands.kif 4586-4586 ByteDance created 抖音
(creator ByteDance Toutiao) ComputingBrands.kif 4617-4617 ByteDance created Toutiao
(creator EBay EBayWebSite) ComputingBrands.kif 4672-4672 EBay created EBayWebSite
(creator FacebookCorporation Facebook) ComputingBrands.kif 69-69 脸书 created 脸书
(creator GoogleCorporation GMail) ComputingBrands.kif 3100-3100 GoogleCorporation created GMail
(creator GoogleCorporation YouTube) ComputingBrands.kif 4630-4630 GoogleCorporation created YouTube
(creator MicrosoftCorporation ActiveSync) ComputingBrands.kif 1770-1770 微软 created 活性同步


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