Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InsertionFee(insertion fee) |
| appearance as argument number 1 |
|
| (subclass InsertionFee ChargingAFee) | UXExperimentalTerms.kif 201-201 | Insertion fee is a subclass of charging a fee |
| (documentation InsertionFee EnglishLanguage "A type of ChargingAFee where the agent of the InsertionFee is the AutonomousAgent who possesses a %&WebSite where a WebListing is hostedOn. A ListOnSite causes the InsertionFee, and the agent of both is an AutonomousAgent who Possesses the WebSite.") | UXExperimentalTerms.kif 204-207 | Insertion fee is a subclass of charging a fee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InsertionFee "insertion fee") | UXExperimentalTerms.kif 202-202 |
| antecedent |
|
|
| (=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER AutonomousAgent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER)))) |
UXExperimentalTerms.kif 209-218 | If X is an instance of insertion fee, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) W is hosted on Y (6) Z possesses Y (7) Z is an agent of X |
| (=> (instance ?CHARGE InsertionFee) (exists (?ADVERT ?PROC ?OWNER) (and (instance ?ADVERT WebListing) (instance ?PROC ListOnSite) (instance ?OWNER AutonomousAgent) (patient ?PROC ?ADVERT) (causes ?PROC ?CHARGE) (agent ?CHARGE ?OWNER) (agent ?PROC ?OWNER)))) |
UXExperimentalTerms.kif 220-230 | If X is an instance of insertion fee, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of web listing (3) Z is an instance of list on site (4) W is an instance of agent (5) Y is a patient of Z (6) Z causes X (7) W is an agent of X (8) W is an agent of Z |
|