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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - observedAtTimeInPlace
observedAtTimeInPlace

appearance as argument number 1
-------------------------


(documentation observedAtTimeInPlace EnglishLanguage "(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) means that during the time specified by ?TIME, ?OBJ is observed by ?AGENT to be in the location specified by ?PLACE. Note that in the implicit Seeing event, the physical distance between the patient ?OBJ and the agent ?AGENT might be great (e.g., a hunter using binoculars to spot Bighorn sheep on a distant mountainside). Therefore, ?PLACE denotes the specific location of ?OBJ at ?TIME, and not the possibly much more extensive region encompassed by the Seeing event.") Justice.kif 36-45
(domain observedAtTimeInPlace 1 Object) Justice.kif 31-31 The number 1 argument of observed at time in place is an instance of object
(domain observedAtTimeInPlace 2 Agent) Justice.kif 32-32 The number 2 argument of observed at time in place is an instance of agent
(domain observedAtTimeInPlace 3 TimePosition) Justice.kif 33-33 The number 3 argument of observed at time in place is an instance of time position
(domain observedAtTimeInPlace 4 Object) Justice.kif 34-34 The number 4 argument of observed at time in place is an instance of object
(instance observedAtTimeInPlace QuaternaryPredicate) Justice.kif 30-30 observed at time in place is an instance of quaternary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage observedAtTimeInPlace "%1 %n{doesn't} observed at time in place %2 for %3 with %4") domainEnglishFormat.kif 463-463
(termFormat EnglishLanguage observedAtTimeInPlace "observed at time in place") domainEnglishFormat.kif 7347-7347 "observed at time in place" is the printable form of observed at time in place in english language

antecedent
-------------------------


(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (exists (?SEEING)
        (and
            (instance ?SEEING Seeing)
            (agent ?SEEING ?AGENT)
            (patient ?SEEING ?OBJ))))
Justice.kif 51-57
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (locatedAtTime ?OBJ ?TIME ?PLACE))
Justice.kif 47-49
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))
Justice.kif 73-75
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))
Justice.kif 69-71

consequent
-------------------------


(=>
    (and
        (instance ?SEEING Seeing)
        (patient ?SEEING ?OBJ)
        (agent ?SEEING ?AGENT)
        (instance ?OBJ Object)
        (time ?SEEING ?TIME)
        (holdsDuring ?TIME
            (located ?OBJ ?PLACE)))
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 59-67


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