Bob visits Jack Black

From OpenCog
Jump to: navigation, search
On Tuesday, Bob went to Jack Black's house
Jack Black's house is in Topeka
|-
On Tuesday, Bob was in Topeka

Jack Black's house is in Topeka

Containing:Container(in, Topeka)
Containing:Contained(in, house)
Possession:Owner(house, JackBlack)
Possession:Possession(house, house)

On Tuesday, Bob went to Jack Black's house

^1_Self_motion:Time(go,Tuesday)
^1_Self_motion:Theme(go,Bob)
^1_Self_motion:Goal(go,house)
Possession:Owner(house, JackBlack)
Possession:Possession(house, house)

Background knowledge

Implication
      AND
              atTimeLink
                      $T
                      AND
                              ^1_Self_motion:Goal(go,$H)
                              ^1_Self_motion:Theme(go,$B)
      ThereExists $S
              AND
                  Evaluation soonAfter ($S, $T)
                  atTimeLink
                      $S
                      AND
                              Containing:Container(go, $H)
                              Containing:Contained(go, $B)


Implication
      AND
              Containing:Container(blah, $A)
              Containing:Contained(blah, $B)
              Containing:Container(blah, $B)
              Containing:Contained(blah, $C)
      Containing:Container(blah, $A)
      Containing:Contained(blah, $C)
// used by nominal reference resolution
Possession:Owner(house, JackBlack)
Possession:Possession(house, house)