contractedRentalPrice |
appearance as argument number 1 |
(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 | |
(domain contractedRentalPrice 2 FunctionQuantity) | Catalog.kif 502-502 | Die Zahl 2 Argument von contractedRentalPrice ist ein fall von FunctionQuantity %n{nicht} |
(domain contractedRentalPrice 3 Agreement) | Catalog.kif 503-503 | Die Zahl 3 Argument von contractedRentalPrice ist ein fall von Agreement %n{nicht} |
(domainSubclass contractedRentalPrice 1 Physical) | Catalog.kif 501-501 | Die Zahl 1 Argument von contractedRentalPrice ist eine teilkategorie von Physical %n{nicht} |
(instance contractedRentalPrice TernaryPredicate) | Catalog.kif 494-494 | contractedRentalPrice ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage contractedRentalPrice "%3 对于 %2 指定 %1 的 rental ") | domainEnglishFormat.kif 3106-3106 | |
(format ChineseTraditionalLanguage contractedRentalPrice "%3 對於 %2 指定 %1 的 rental ") | domainEnglishFormat.kif 3105-3105 | |
(format EnglishLanguage contractedRentalPrice "%3 specifies the rental of %1 for %2") | domainEnglishFormat.kif 3104-3104 | |
(termFormat EnglishLanguage contractedRentalPrice "contracted rental price") | Catalog.kif 499-499 |
antecedent |