| appearance as argument number 1 |
|
| (instance creator BinaryPredicate) | Mid-level-ontology.kif 15211-15211 | creator is an instance of binary predicate |
| (domain creator 1 AutonomousAgent) | Mid-level-ontology.kif 15212-15212 | The number 1 argument of creator is an instance of agent |
| (domain creator 2 Entity) | Mid-level-ontology.kif 15213-15213 | The number 2 argument of creator is an instance of entity |
| (documentation creator EnglishLanguage "(creator ?AGENT ?ENTITY) means that some AutonomousAgent ?AGENT is the creator of some Entity ?ENTITY") | Mid-level-ontology.kif 15214-15215 | The number 2 argument of creator is an instance of entity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 15216-15216 | |
| (subrelation composer creator) | Music.kif 137-137 | composer is a subrelation of creator |
| (subrelation lyricist creator) | Music.kif 156-156 | lyricist is a subrelation of creator |
| (format EnglishLanguage creator "%1 created %2") | domainEnglishFormat.kif 3140-3140 | lyricist is a subrelation of creator |
| (format ChineseTraditionalLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3141-3141 | lyricist is a subrelation of creator |
| (format ChineseLanguage creator "%1 created %2 ") | domainEnglishFormat.kif 3142-3142 | lyricist is a subrelation of creator |
| antecedent |
|
|
| (=> (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 | If All of the following hold: (1) X is an instance of digital post (2) Y is an instance of agent (3) Z is an instance of web site (4) X is a component of Z (5) Y created X (6) Y is a registered user of Z, then X has the purpose there exists W such that W is an instance of disseminating, Y is an agent of W, X is a patient of W, and Z is an instrument for W |
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 15217-15223 | If X created Y, then there exists Z such that Z is an instance of creation, X is an agent of Z, and Y is a result of Z |
| (=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 | If X is an instance of web listing, Y is an instance of web site, X is hosted on Y, and X created Z, then Z is a seller at Y |
| (=> (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 | If All of the following hold: (1) X is an instance of web listing (2) Y is an instance of object (3) Z is an instance of agent (4) auction attribute is an attribute of X (5) X is a patient of Y (6) Z created X, then Z desires there exists W such that W is an instance of auctioning and Y is a patient of W |
| consequent |
|
|
| 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