| appearance as argument number 1 |
|
| (documentation creator EnglishLanguage "(creator ?AGENT ?ENTITY) means that some AutonomousAgent ?AGENT is the creator of some Entity ?ENTITY") | Mid-level-ontology.kif 15086-15087 | |
| (domain creator 1 AutonomousAgent) | Mid-level-ontology.kif 15084-15084 | creator 的 1 数量 是 施事体 的 instance |
| (domain creator 2 Entity) | Mid-level-ontology.kif 15085-15085 | creator 的 2 数量 是 实体 的 instance |
| (instance creator BinaryPredicate) | Mid-level-ontology.kif 15083-15083 | creator 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3142-3142 | |
| (format ChineseTraditionalLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3141-3141 | |
| (format EnglishLanguage creator "%1 created %2") | domainEnglishFormat.kif 3140-3140 | |
| (subrelation composer creator) | Music.kif 137-137 | composer 是 creator 的 subrelation |
| (subrelation lyricist creator) | Music.kif 156-156 | lyricist 是 creator 的 subrelation |
| (termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 15088-15088 | lyricist 是 creator 的 subrelation |
| antecedent |
|
|
| (=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM))))) |
UXExperimentalTerms.kif 313-325 | |
| (=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 |
|
| (=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (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 2830-2844 |
|
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 15089-15095 |
| consequent |
|
|
| (=> (and (subclass ?OS AndroidOS) (instance ?INST ?OS)) (creator AlphabetCorporation ?INST)) |
ComputingBrands.kif 30-34 | |
| (=> (and (subclass ?OS AppleIOS) (instance ?INST ?OS)) (creator AppleComputerCorporation ?INST)) |
ComputingBrands.kif 93-97 | |
| (=> (and (subclass ?OS WindowsOS) (instance ?INST ?OS)) (creator MicrosoftCorporation ?INST)) |
ComputingBrands.kif 62-66 | |
| (=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT)) |
UXExperimentalTerms.kif 57-59 |
| 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