Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| contractedRentalPrice |
| appearance as argument number 1 |
|
| (instance contractedRentalPrice TernaryPredicate) | Catalog.kif 494-494 | contracted rental price is an instance of ternary predicate |
| (documentation contractedRentalPrice EnglishLanguage "(contractedRentalPrice ?OBJ ?PRICE ?AGREEMENT) means that the conditions of rental of Physical ?OBJ is stipulated in Agreement ?AGREEMENT entered into by CognitiveAgent ?AGENT with a customer.") | Catalog.kif 495-498 | contracted rental price is an instance of ternary predicate |
| (domainSubclass contractedRentalPrice 1 Physical) | Catalog.kif 501-501 | The number 1 argument of contracted rental price is a subclass of physical |
| (domain contractedRentalPrice 2 FunctionQuantity) | Catalog.kif 502-502 | The number 2 argument of contracted rental price is an instance of function quantity |
| (domain contractedRentalPrice 3 Agreement) | Catalog.kif 503-503 | The number 3 argument of contracted rental price is an instance of agreement |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage contractedRentalPrice "contracted rental price") | Catalog.kif 499-499 | |
| (format EnglishLanguage contractedRentalPrice "%3 specifies the rental of %1 for %2") | domainEnglishFormat.kif 3100-3100 | |
| (format ChineseTraditionalLanguage contractedRentalPrice "%3 對於 %2 指定 %1 的 rental ") | domainEnglishFormat.kif 3101-3101 | |
| (format ChineseLanguage contractedRentalPrice "%3 对于 %2 指定 %1 的 rental ") | domainEnglishFormat.kif 3102-3102 |
| antecedent |
|
|
| (=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 505-511 | If X specifies the rental of Y for Z, then there exist W, V such that V is an instance of currency measure, W is an instance of time duration, equal Z, the per of V, and W |
| (=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?SELLER ?CUSTOMER) (and (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?CUSTOMER ?AGREE) (modalAttribute (exists (?R ?O) (and (instance ?R Renting) (instance ?O ?OBJ) (patient ?R ?O) (agent ?R ?SELLER) (destination ?R ?CUSTOMER))) Obligation)))) |
Catalog.kif 513-526 | If X specifies the rental of Y for Z, then All of the following hold: (1) there exist W (2) V such that X is a party to agreement of W (3) X is a party to agreement of V (4) the statement there exist U (5) T such that U is an instance of renting (6) T is an instance of Y (7) T is a patient of U (8) W is an agent of U (9) U ends up at V has the modal force of obligation |
|