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