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 | Die Zahl 1 Argument von observedAtTimeInPlace ist ein fall von Object %n{nicht} |
(domain observedAtTimeInPlace 2 AutonomousAgent) | Justice.kif 32-32 | Die Zahl 2 Argument von observedAtTimeInPlace ist ein fall von AutonomousAgent %n{nicht} |
(domain observedAtTimeInPlace 3 TimePosition) | Justice.kif 33-33 | Die Zahl 3 Argument von observedAtTimeInPlace ist ein fall von TimePosition %n{nicht} |
(domain observedAtTimeInPlace 4 Object) | Justice.kif 34-34 | Die Zahl 4 Argument von observedAtTimeInPlace ist ein fall von Object %n{nicht} |
(instance observedAtTimeInPlace QuaternaryPredicate) | Justice.kif 30-30 | observedAtTimeInPlace ist ein fall von QuaternaryPredicate %n{nicht} |
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 41568-41568 | |
(termFormat ChineseTraditionalLanguage observedAtTimeInPlace "在適當的時候觀察") | domainEnglishFormat.kif 41567-41567 | |
(termFormat EnglishLanguage observedAtTimeInPlace "observed at time in place") | domainEnglishFormat.kif 41566-41566 |
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 |
|
(=> (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 75-77 | |
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE)) |
Justice.kif 71-73 |
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 |
|