Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  creator

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 13561-13562
(domain creator 1 AutonomousAgent) Mid-level-ontology.kif 13559-13559
(domain creator 2 Entity) Mid-level-ontology.kif 13560-13560
(instance creator BinaryPredicate) Mid-level-ontology.kif 13558-13558

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


(format ChineseLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3150-3150
(format ChineseTraditionalLanguage creator "%1 created %2 ") domainEnglishFormat.kif 3149-3149
(format EnglishLanguage creator "%1 created %2") domainEnglishFormat.kif 3148-3148
(subrelation composer creator) Music.kif 136-136
(subrelation lyricist creator) Music.kif 155-155
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 13563-13563

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 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 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 13564-13570

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 69-71

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


(creator AdobeComputerCorp AdobeFlashPlayer) ComputingBrands.kif 2950-2950
(creator AppleComputer AppleAppStore) ComputingBrands.kif 1971-1971
(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1858-1858
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1900-1900
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 956-956
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 989-989
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 975-975
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 982-982
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2433-2433
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3291-3291
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3304-3304
(creator ByteDance TikTok) ComputingBrands.kif 4589-4589
(creator ByteDance Toutiao) ComputingBrands.kif 4620-4620
(creator EBay EBayWebSite) ComputingBrands.kif 4675-4675
(creator FacebookCorporation Facebook) ComputingBrands.kif 69-69
(creator GoogleCorporation GMail) ComputingBrands.kif 3100-3100
(creator GoogleCorporation YouTube) ComputingBrands.kif 4633-4633
(creator MicrosoftCorporation ActiveSync) ComputingBrands.kif 1770-1770


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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