| 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 |
| 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 | |
| (=> (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 |
|
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