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