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


s__documentation(s__creator__m,s__EnglishLanguage,'(creator ?AGENT ?ENTITY) means that some Agent ?AGENT is the creator of some Entity ?ENTITY')

Mid-level-ontology.kif 11061-11062
s__domain(s__creator__m,1,s__Agent)

Mid-level-ontology.kif 11059-11059 The number 1 argument of creator is an instance of agent
s__domain(s__creator__m,2,s__Entity)

Mid-level-ontology.kif 11060-11060 The number 2 argument of creator is an instance of entity
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__creator__m,s__BinaryPredicate)

Mid-level-ontology.kif 11058-11058 creator is an instance of binary predicate

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


s__format(s__EnglishLanguage,s__creator__m,'%1 created %2')

domainEnglishFormat.kif 796-796
s__subrelation(s__composer__m,s__creator__m)

Music.kif 152-152 composer is a subrelation of creator
s__subrelation(s__lyricist__m,s__creator__m)

Music.kif 170-170 lyricist is a subrelation of creator
s__termFormat(s__EnglishLanguage,s__creator__m,'creator')

Mid-level-ontology.kif 11063-11063 "creator" is the printable form of creator in english language

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


( ! [V__LISTING,V__ITEM,V__CREATOR] :
   ((s__instance(V__LISTING,s__WebListing) &
       s__instance(V__ITEM,s__Object) &
       s__instance(V__CREATOR,s__Agent) &
       s__attribute(V__LISTING,s__AuctionAttribute) &
       s__patient(V__ITEM,V__LISTING)
     &
     s__creator(V__CREATOR,V__LISTING))
=>
s__desires(V__CREATOR,'(? [V__AUCTION] : (s__instance(V__AUCTION,s__Auctioning) & s__patient(V__AUCTION,V__ITEM)))'))
)

UXExperimentalTerms.kif 394-406
( ! [V__LISTING,V__SITE,V__AGENT] :
   ((s__instance(V__LISTING,s__WebListing) &
       s__instance(V__SITE,s__WebSite) &
       s__hostedOn(V__LISTING,V__SITE)
     &
     s__creator(V__LISTING,V__AGENT))
=>
s__webSeller(V__AGENT,V__SITE))
)

UXExperimentalTerms.kif 44-50
( ! [V__AGENT,V__ENTITY] :
   (s__creator(V__AGENT,V__ENTITY)
   =>
   (? [V__CREATION] :
     (s__instance(V__CREATION,s__Creation) &
       s__agent(V__CREATION,V__AGENT)
     &
     s__result(V__CREATION,V__ENTITY))))
)

Mid-level-ontology.kif 11064-11070
  • If ?AGENT created ?ENTITY,
  • then there exists ?CREATION such that ?CREATION is an instance of creation and ?AGENT is an agent of ?CREATION and ?ENTITY is a result of ?CREATION

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


( ! [V__LISTING,V__AGENT] :
   (s__listingSeller(V__LISTING,V__AGENT)
   =>
   s__creator(V__LISTING,V__AGENT))
)

UXExperimentalTerms.kif 69-71


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