Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FinalValueFee(final fee) |
| appearance as argument number 1 |
|
| (subclass FinalValueFee ChargingAFee) | UXExperimentalTerms.kif 232-232 | Final fee is a subclass of charging a fee |
| (documentation FinalValueFee EnglishLanguage "A type of ChargingAFee where the agent of the FinalValueFee is the AutonomousAgent who possesses a %&WebSite where a WebListing is hostedOn. A Selling of the patient of the listing where the WebSite is the eCommerceSite of the selling causes the FinalValueFee.") | UXExperimentalTerms.kif 235-238 | Final fee is a subclass of charging a fee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FinalValueFee "final fee") | UXExperimentalTerms.kif 233-233 |
| antecedent |
|
|
| (=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER AutonomousAgent) (instance ?ITEM Physical) (instance ?ADVERT WebListing) (patient ?ADVERT ?ITEM) (patient ?SELLING ?ITEM) (causes ?SELLING ?CHARGE) (agent ?CHARGE ?OWNER) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (eCommerceSite ?SELLING ?OWNER)))) |
UXExperimentalTerms.kif 240-255 | If X is an instance of final fee, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web listing (3) Z is an instance of selling (4) W is an instance of agent (5) V is an instance of physical (6) Y is an instance of web listing (7) V is a patient of Y (8) V is a patient of Z (9) Z causes X (10) W is an agent of X (11) Y is hosted on U (12) W possesses U (13) W facilitates Z |
|