ListOnSite - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ListOnSite EnglishLanguage "An IntentionalProcess meant to represent the actions taken to initially list a Weblisting on a WebSite. There exists a TimeInterval before the processes occurred where the patient WebListing was not hostedOn the WebSite and a TimeInterval after which it does. The TimePoint marking the end of when the site is not hosted is the same as the end of the process (i.e. when WebListing began to be listed.")	UXExperimentalTerms.kif 260-264
(subclass ListOnSite IntentionalProcess)	UXExperimentalTerms.kif 257-257	List on site is a subclass of intentional process

appearance as argument number 2

(termFormat EnglishLanguage ListOnSite "list on site")

UXExperimentalTerms.kif 258-258

antecedent

(=>
    (instance ?LIST ListOnSite)
    (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
        (and
            (instance ?SITE WebSite)
            (instance ?ADVERT WebListing)
            (instance ?EARLIER TimeInterval)
            (instance ?AFTER TimeInterval)
            (patient ?LIST ?ADVERT)
            (equal
                (EndFn ?EARLIER)
                (EndFn ?LIST))
            (earlier ?LIST ?AFTER)
            (meetsTemporally ?LIST ?AFTER)
            (holdsDuring ?EARLIER
                (not
                    (hostedOn ?ADVERT ?SITE)))
            (holdsDuring ?AFTER
                (hostedOn ?ADVERT ?SITE))
            (agent ?LIST ?OWNER)
            (possesses ?OWNER ?SITE))))

UXExperimentalTerms.kif 266-286

If a time interval is an instance of list on site,
then there exist an object, an entity,, , another time interval,, , a third time interval and an agent such that the object is an instance of web site and the entity is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the entity is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and the agent is an agent of the time interval and the agent possesses the object

consequent

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

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

KB Term:			Term intersection

English Word: