FinalValueFee - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FinalValueFee EnglishLanguage "A type of ChargingAFee where the agent of the FinalValueFee is the AutonomousAgent who possesses a %&WebSite where a WebListing is hostedOn. A Selling of the patient of the listing where the WebSite is the eCommerceSite of the selling causes the FinalValueFee.")	UXExperimentalTerms.kif 235-238
(subclass FinalValueFee ChargingAFee)	UXExperimentalTerms.kif 232-232	Final fee is a subclass of chargingA fee

appearance as argument number 2

(termFormat EnglishLanguage FinalValueFee "final fee")

UXExperimentalTerms.kif 233-233

antecedent

(=>
    (instance ?CHARGE FinalValueFee)
    (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
        (and
            (instance ?ADVERT WebListing)
            (instance ?SELLING Selling)
            (instance ?OWNER AutonomousAgent)
            (instance ?ITEM Physical)
            (instance ?ADVERT WebListing)
            (patient ?ADVERT ?ITEM)
            (patient ?SELLING ?ITEM)
            (causes ?SELLING ?CHARGE)
            (agent ?CHARGE ?OWNER)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (eCommerceSite ?SELLING ?OWNER))))

UXExperimentalTerms.kif 240-255

If a process is an instance of final fee,
then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction

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

KB Term:			Term intersection

English Word: