Corkage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Corkage EnglishLanguage "Corkage is a FinancialTransaction imposed by an AutonomousAgent to a customer for bringing items not purchased from AutonomousAgent")	Dining.kif 106-107
(subclass Corkage ChargingAFee)	Dining.kif 105-105	Corkage is a subclass of charging a fee

appearance as argument number 2

(termFormat EnglishLanguage Corkage "corkage")

Dining.kif 108-108

antecedent

(=>
    (instance ?C Corkage)
    (exists (?AMT)
        (amountCharged ?C ?AMT)))

Dining.kif 110-113

If a charging a fee is an instance of corkage,
then there exists a currency measure such that the currency measure is the amount charged in the charging a fee

consequent

(=>
    (and
        (customer ?CUST ?AGENT)
        (corkageFee ?AMT ?ITEM ?AGENT)
        (instance ?X ?ITEM)
        (not
            (exists (?B)
                (and
                    (instance ?B Buying)
                    (patient ?B ?X)
                    (destination ?B ?CUST)
                    (origin ?B ?AGENT))))
        (instance ?D Drinking)
        (agent ?D ?CUST)
        (resource ?D ?X))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (refers ?C ?X)
            (destination ?C ?AGENT))))

Dining.kif 130-150

If an agent is a customer of a cognitive agent and the agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the cognitive agent and the process originates at the agent and another process is an instance of drinking and the cognitive agent is an agent of the other process and the other object is a resource for the other process,
then there exists a third process such that the third process is an instance of corkage and the cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the agent

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: