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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PricingScheme

Sigma KEE - PricingScheme
PricingScheme

appearance as argument number 1
-------------------------


(documentation PricingScheme EnglishLanguage "PricingScheme refers to the conditions attached to the price of a product of service") Catalog.kif 180-181
(subclass PricingScheme Proposition) Catalog.kif 179-179

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


(termFormat EnglishLanguage PricingScheme "pricing scheme") Catalog.kif 182-182

appearance as argument number 3
-------------------------


(domain pricePolicy 1 PricingScheme) Catalog.kif 245-245
(domain publishedPrice 4 PricingScheme) Catalog.kif 320-320
(domain rentalPrice 4 PricingScheme) Catalog.kif 440-440
(domain unitPrice 4 PricingScheme) Catalog.kif 385-385
(domain validFor 1 PricingScheme) Catalog.kif 219-219
(domain validPaymentType 1 PricingScheme) Catalog.kif 237-237
(domain validityPeriod 1 PricingScheme) Catalog.kif 228-228

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


(=>
    (instance ?PS PricingScheme)
    (exists (?AGENT ?CREATE)
        (and
            (instance ?CREATE Creation)
            (result ?CREATE ?PS)
            (agent ?CREATE ?AGENT))))
Catalog.kif 184-190

consequent
-------------------------


(=>
    (and
        (instance ?AS AccommodationService)
        (serviceRecipient ?AS ?CUST)
        (serviceProvider ?AS ?H)
        (serviceInstrument ?AS ?ROOM)
        (instance ?CUST Human)
        (instance ?ROOM HotelRoom)
        (instance ?H Hotel-Organization))
    (exists (?RATE ?PS)
        (and
            (instance ?PS PricingScheme)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (rents ?CUST ?H ?ROOM
                (MeasureFn 1 DayDuration)))))
TravelPolicies.kif 1137-1150
(=>
    (and
        (instance ?H Hotel-Organization)
        (attribute ?H PrivateRate)
        (instance ?ROOM HotelRoom)
        (located ?ROOM ?H))
    (exists (?RATE1 ?PS ?ORG)
        (and
            (instance ?PS PricingScheme)
            (rentalPrice ?ROOM ?RATE1 ?ORG ?PS))))
TravelPolicies.kif 1014-1023
(=>
    (and
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP)
        (policyClause ?PerDiemBound Obligation ?TP ?ORG))
    (exists (?AS ?H ?RATE ?ROOM ?BOUND)
        (and
            (instance ?AS AccommodationService)
            (instance ?H Hotel-Organization)
            (instance ?PS PricingScheme)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (not
                (greaterThan ?RATE ?BOUND))
            (equal ?BOUND
                (PerDiemFn ?ORG)))))
TravelPolicies.kif 1212-1227


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners