| 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 13185-13186 | |
| (domain creator 1 Agent) | Mid-level-ontology.kif 13183-13183 | creator 的 1 数量 是 施事体 的 instance |
| (domain creator 2 Entity) | Mid-level-ontology.kif 13184-13184 | creator 的 2 数量 是 实体 的 instance |
| (instance creator BinaryPredicate) | Mid-level-ontology.kif 13182-13182 | creator 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3151-3151 | |
| (format ChineseTraditionalLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3150-3150 | |
| (format EnglishLanguage creator "%1 created %2") | domainEnglishFormat.kif 3149-3149 | |
| (subrelation composer creator) | Music.kif 136-136 | composer 是 creator 的 subrelation |
| (subrelation lyricist creator) | Music.kif 154-154 | lyricist 是 creator 的 subrelation |
| (termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 13187-13187 |
| 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 |
|
| (=> (and (instance ?P DigitalPost) (instance ?A Agent) (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 2826-2840 |
|
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 13188-13194 |
| consequent |
|
|
| (=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT)) |
UXExperimentalTerms.kif 69-71 | |
| (=> (subclass ?OS AndroidOS) (creator AlphabetCorporation ?OS)) |
ComputingBrands.kif 29-31 | |
| (=> (subclass ?OS AppleIOS) (creator AppleComputerCorporation ?OS)) |
ComputingBrands.kif 88-90 | |
| (=> (subclass ?OS WindowsOS) (creator MicrosoftCorporation ?OS)) |
ComputingBrands.kif 59-61 |
| 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 3.0 is open source software produced by Articulate Software and its partners