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 Agent ?AGENT is the creator of some Entity ?ENTITY") Mid-level-ontology.kif 11321-11322
(domain creator 1 Agent) Mid-level-ontology.kif 11319-11319
(domain creator 2 Entity) Mid-level-ontology.kif 11320-11320
(instance creator BinaryPredicate) Mid-level-ontology.kif 11318-11318

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


(format EnglishLanguage creator "%1 created %2") domainEnglishFormat.kif 796-796
(subrelation composer creator) Music.kif 136-136
(subrelation lyricist creator) Music.kif 154-154
(termFormat EnglishLanguage creator "creator") Mid-level-ontology.kif 11323-11323

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 11324-11330

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


(=>
    (listingSeller ?LISTING ?AGENT)
    (creator ?LISTING ?AGENT))
UXExperimentalTerms.kif 69-71


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners