Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| creator |
| appearance as argument number 1 |
|
| (instance creator BinaryPredicate) | Mid-level-ontology.kif 15307-15307 | creator is an instance of binary predicate |
| (domain creator 1 AutonomousAgent) | Mid-level-ontology.kif 15308-15308 | The number 1 argument of creator is an instance of agent |
| (domain creator 2 Entity) | Mid-level-ontology.kif 15309-15309 | 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 15310-15311 | The number 2 argument of creator is an instance of entity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 15312-15312 | |
| (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 |
|
|
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 15313-15319 | 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 ?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 2846-2860 | 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 |
| (=> (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 |
|
|
|