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 Agent who possesses a %&WebSite where a WebListing is hostedOn. A ListOnSite causes the InsertionFee, and the agent of both is an Agent who Possesses the WebSite.")	UXExperimentalTerms.kif 266-269
(subclass InsertionFee ChargingAFee)	UXExperimentalTerms.kif 262-262	Insertion fee is a subclass of chargingA fee

appearance as argument number 2

(termFormat EnglishLanguage InsertionFee "insertion fee")

UXExperimentalTerms.kif 264-264

antecedent

(=> (instance ?CHARGE InsertionFee) (exists (?ADVERT ?PROC ?OWNER) (and (instance ?ADVERT WebListing) (instance ?PROC ListOnSite) (instance ?OWNER Agent) (patient ?PROC ?ADVERT) (causes ?PROC ?CHARGE) (agent ?CHARGE ?OWNER) (agent ?PROC ?OWNER))))	UXExperimentalTerms.kif 282-292	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 Agent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER))))	UXExperimentalTerms.kif 271-280	If a process is an instance of insertion fee, then there exist a WebSite, an agent and a web listing such that the WebSite is an instance of WebSite 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 WebSite and the agent possesses the WebSite 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