• Navigation
  • Home
  • About
  • FAQ
  • Development
  • Project Status
  • Topic Categories
  • Recent Changes
• Community
  • The Team
  • Donate
  • Get Involved
  • Events
• Toolbox
  • What links here
  • Related changes
  • Upload file
  • Special pages
• Personal tools
  • Log in / create account

Bob visits Jack Black

From OpenCog

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)