Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contractedRentalPrice
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 475-478
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 482-482 domain contractedRentalPrice, 2 and FunctionQuantity
(domain contractedRentalPrice 3 Agreement) Catalog.kif 483-483 domain contractedRentalPrice, 3 and Agreement
(domainSubclass contractedRentalPrice 1 Physical) Catalog.kif 481-481 domainSubclass contractedRentalPrice, 1 and Physical
(instance contractedRentalPrice TernaryPredicate) Catalog.kif 474-474 instance contractedRentalPrice and TernaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage contractedRentalPrice "%3 对于 %2 指定 %1 的 rental ") domainEnglishFormat.kif 3107-3107
(format ChineseTraditionalLanguage contractedRentalPrice "%3 對於 %2 指定 %1 的 rental ") domainEnglishFormat.kif 3106-3106
(format EnglishLanguage contractedRentalPrice "%3 specifies the rental of %1 for %2") domainEnglishFormat.kif 3105-3105
(termFormat EnglishLanguage contractedRentalPrice "contracted rental price") Catalog.kif 479-479

antecedent
-------------------------


(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?DURATION ?CURR)
        (and
            (instance ?CURR CurrencyMeasure)
            (instance ?DURATION TimeDuration)
            (equal ?QUANT
                (PerFn ?CURR ?DURATION)))))
Catalog.kif 485-491
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?SELLER ?CUSTOMER)
        (and
            (partyToAgreement ?SELLER ?AGREE)
            (partyToAgreement ?CUSTOMER ?AGREE)
            (modalAttribute
                (exists (?R)
                    (and
                        (instance ?R Renting)
                        (patient ?R ?OBJ)
                        (agent ?R ?SELLER)
                        (destination ?R ?CUSTOMER))) Obligation))))
Catalog.kif 493-505


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners