observedAtTimeInPlace - Sigma Knowledge base Browser

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 AutonomousAgent)	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 ChineseLanguage observedAtTimeInPlace "%1 %n 是在此刻 observed 对于 %3 和 %4 在地方 %2")	domainEnglishFormat.kif 1819-1819
(format ChineseTraditionalLanguage observedAtTimeInPlace "%1 %n 是在此刻 observed 對於 %3 和 %4 在地方 %2 ")	domainEnglishFormat.kif 1818-1818
(format EnglishLanguage observedAtTimeInPlace "%1 is %n observed at time in place %2 for %3 with %4")	domainEnglishFormat.kif 1817-1817
(termFormat ChineseLanguage observedAtTimeInPlace "在适当的时候观察")	domainEnglishFormat.kif 41604-41604
(termFormat ChineseTraditionalLanguage observedAtTimeInPlace "在適當的時候觀察")	domainEnglishFormat.kif 41603-41603
(termFormat EnglishLanguage observedAtTimeInPlace "observed at time in place")	domainEnglishFormat.kif 41602-41602

antecedent

(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (exists (?SEEING) (and (instance ?SEEING Seeing) (agent ?SEEING ?AGENT) (during (WhenFn ?SEEING) ?TIME) (located ?SEEING ?PLACE) (patient ?SEEING ?OBJ))))	Justice.kif 51-59	If an object is observed at time in place an agent for a time interval with another object, then there exists a process such that the process is an instance of seeing and the agent is an agent of the process and the time of existence of the process takes place during the time interval and the process is located at the other object and the object is a patient of the process
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (locatedAtTime ?OBJ ?TIME ?PLACE))	Justice.kif 47-49	If an object is observed at time in place an agent for a time position with another object, then the object located at time the time position for the other object
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))	Justice.kif 75-77	If an object is observed at time in place an agent for a time position with another object, then the agent plays role in event of type agent for seeing with the time position and the other object
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))	Justice.kif 71-73	If an object is observed at time in place an agent for a time position with another object, then the object plays role in event of type patient for seeing with the time position and the other object

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 61-69

If a process is an instance of seeing and an object is a patient of the process and an agent is an agent of the process and the object is an instance of object and the process exists during a time position and the object is located at another object holds during the time position,
then the object is observed at time in place the agent for the time position with the other object

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: