Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  InsertionFee

Sigma KEE - InsertionFee
InsertionFee

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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners