InsertionFee - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - InsertionFee

InsertionFee(insertion fee)

appearance as argument number 1

(documentation InsertionFee EnglishLanguage "A type of ChargingAFee where the agent of the InsertionFee is the AutonomousAgent who possesses a %&WebSite where a WebListing is hostedOn. A ListOnSite causes the InsertionFee, and the agent of both is an AutonomousAgent who Possesses the WebSite.")	UXExperimentalTerms.kif 204-207
(subclass InsertionFee ChargingAFee)	UXExperimentalTerms.kif 201-201	Insertion fee is a subclass of chargingA fee

appearance as argument number 2

(termFormat EnglishLanguage InsertionFee "insertion fee")

UXExperimentalTerms.kif 202-202

antecedent

(=> (instance ?CHARGE InsertionFee) (exists (?ADVERT ?PROC ?OWNER) (and (instance ?ADVERT WebListing) (instance ?PROC ListOnSite) (instance ?OWNER AutonomousAgent) (patient ?PROC ?ADVERT) (causes ?PROC ?CHARGE) (agent ?CHARGE ?OWNER) (agent ?PROC ?OWNER))))	UXExperimentalTerms.kif 220-230	If a process is an instance of insertion fee, then there exist an entity, another process and an agent such that the entity is an instance of web listing and the other process is an instance of list on site and the agent is an instance of agent and the entity is a patient of the other process and the other process causes the process and the agent is an agent of the process and the agent is an agent of the other process
(=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER AutonomousAgent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER))))	UXExperimentalTerms.kif 209-218	If a process is an instance of insertion fee, then there exist a web site, an agent and a web listing such that the web site is an instance of web site and the agent is an instance of agent and the web listing is an instance of web listing and the web listing is hosted on the web site and the agent possesses the web site and the agent is an agent of the process

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