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

Formal Language: 



KB Term:  Term intersection
English Word: 

  observedAtTimeInPlace

Sigma KEE - observedAtTimeInPlace
observedAtTimeInPlace

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


s__documentation(s__observedAtTimeInPlace__m,s__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
s__domain(s__observedAtTimeInPlace__m,n__1,s__Object)

Justice.kif 31-31 The number 1 argument of observed at time in place is an instance of object
s__domain(s__observedAtTimeInPlace__m,n__2,s__Agent)

Justice.kif 32-32 The number 2 argument of observed at time in place is an instance of agent
s__domain(s__observedAtTimeInPlace__m,n__3,s__TimePosition)

Justice.kif 33-33 The number 3 argument of observed at time in place is an instance of time position
s__domain(s__observedAtTimeInPlace__m,n__4,s__Object)

Justice.kif 34-34 The number 4 argument of observed at time in place is an instance of object
s__instance(s__observedAtTimeInPlace__m,s__QuaternaryPredicate)

s__instance(s__QuaternaryPredicate,s__SetOrClass)

Justice.kif 30-30 observed at time in place is an instance of quaternary predicate

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


s__format(s__ChineseLanguage,s__observedAtTimeInPlace__m,'"%1 %n 是在此刻 observed 对于 %3 和 %4 在地方 %2"')

domainEnglishFormat.kif 1819-1819
s__format(s__ChineseTraditionalLanguage,s__observedAtTimeInPlace__m,'"%1 %n 是在此刻 observed 對於 %3 和 %4 在地方 %2 "')

domainEnglishFormat.kif 1818-1818
s__format(s__EnglishLanguage,s__observedAtTimeInPlace__m,'"%1 is %n observed at time in place %2 for %3 with %4"')

domainEnglishFormat.kif 1817-1817
s__termFormat(s__ChineseLanguage,s__observedAtTimeInPlace__m,'"在适当的时候观察"')

domainEnglishFormat.kif 41551-41551
s__termFormat(s__ChineseTraditionalLanguage,s__observedAtTimeInPlace__m,'"在適當的時候觀察"')

domainEnglishFormat.kif 41550-41550
s__termFormat(s__EnglishLanguage,s__observedAtTimeInPlace__m,'"observed at time in place"')

domainEnglishFormat.kif 41549-41549

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


( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimeInterval) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (( ? [V__SEEING] :
             ((s__instance(V__SEEING,s__Seeing) &
                 s__agent(V__SEEING,V__AGENT)
               &
               s__during(s__WhenFn(V__SEEING)
            ,V__TIME)
           &
           s__located(V__SEEING,V__PLACE)
         &
         s__patient(V__SEEING,V__OBJ))))))))
)
)

Justice.kif 51-59
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)))))
)
)

Justice.kif 47-49
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (s__playsRoleInEventOfType(V__AGENT,s__agent__m,s__Seeing,V__TIME,V__PLACE)))))
)
)

Justice.kif 75-77
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (s__playsRoleInEventOfType(V__OBJ,s__patient__m,s__Seeing,V__TIME,V__PLACE)))))
)
)

Justice.kif 71-73

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


No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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