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 185-186
(subclass PricingScheme Proposition) Catalog.kif 184-184 PricingScheme est une sous-classe de proposition

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


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

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


(domain pricePolicy 1 PricingScheme) Catalog.kif 256-256 Le nombre 1 argument de pricePolicy est une instance de PricingScheme
(domain publishedPrice 4 PricingScheme) Catalog.kif 335-335 Le nombre 4 argument de publishedPrice est une instance de PricingScheme
(domain rentalPrice 4 PricingScheme) Catalog.kif 457-457 Le nombre 4 argument de rentalPrice est une instance de PricingScheme
(domain unitPrice 4 PricingScheme) Catalog.kif 400-400 Le nombre 4 argument de unitPrice est une instance de PricingScheme
(domain validFor 1 PricingScheme) Catalog.kif 230-230 Le nombre 1 argument de validFor est une instance de PricingScheme
(domain validPaymentType 1 PricingScheme) Catalog.kif 248-248 Le nombre 1 argument de validPaymentType est une instance de PricingScheme
(domain validityPeriod 1 PricingScheme) Catalog.kif 239-239 Le nombre 1 argument de validityPeriod est une instance de PricingScheme

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


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


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 3.0 is open source software produced by Articulate Software and its partners