Instance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Instance

Instance

antecedent

(=>
    (and
        (instance ?REQUEST ViewItemRequest)
        (instance ?ACCESSING Instance)
        (instance ?PAGE ViewItemPage)
        (instance ?AGENT Agent)
        (instance ?LISTING Advertising)
        (component ?PAGE ?LISTING)
        (destination ?ACESSING ?PAGE)
        (agent ?ACCESSING ?AGENT))
    (viewedListing ?AGENT ?LISTING))

UXExperimentalTerms.kif 1777-1787

If an entity is an instance of view item request and a process is an instance of Instance and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the corpuscular object is a component of the web listing and another process ends up at the corpuscular object and the agent is an agent of the process,
then the agent viewed the web listing

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners