| 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 11326-11327 | |
| (domain creator 1 Agent) | Mid-level-ontology.kif 11324-11324 | |
| (domain creator 2 Entity) | Mid-level-ontology.kif 11325-11325 | |
| (instance creator BinaryPredicate) | Mid-level-ontology.kif 11323-11323 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3147-3147 | |
| (format ChineseTraditionalLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3146-3146 | |
| (format EnglishLanguage creator "%1 created %2") | domainEnglishFormat.kif 3145-3145 | |
| (subrelation composer creator) | Music.kif 136-136 | |
| (subrelation lyricist creator) | Music.kif 154-154 | |
| (termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 11328-11328 |
| 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 391-403 | |
| (=> (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 11329-11335 |
| consequent |
|
|
| (=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT)) |
UXExperimentalTerms.kif 69-71 | |
| (=> (subclass ?OS AndroidOS) (creator ?OS AlphabetCorporation)) |
ComputingBrands.kif 30-32 | |
| (=> (subclass ?OS AppleIOS) (creator ?OS AppleComputerCorporation)) |
ComputingBrands.kif 92-94 | |
| (=> (subclass ?OS WindowsOS) (creator ?OS MicrosoftCorporation)) |
ComputingBrands.kif 62-64 |
| appearance as argument number 0 |
|
|
|
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