Advertisement
logicmoo

Untitled

Nov 28th, 2018
536
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 0.58 KB | None | 0 0
  1. e2c("I see two books on a shelf").
  2.  
  3.  
  4. (thereExists (?SPEAKER ?SEE)
  5.    (and     (isa ?SPEAKER Person )    
  6.       (isa ?SEE2 VisualPerception )    
  7.     (thereExistExactly 2 ?TWO2        
  8.       (isa ?TWO2 BookCopy )                  
  9.      (awareOf ?SPEAKER ?TWO2 )                                
  10.       (performedBy ?SEE2 ?SPEAKER )                
  11.    (perceivedThings ?SEE2 ?TWO2 ) ) )  
  12.           (thereExists ?SHELF5              
  13.            (and                
  14.                (isa ?SHELF5 ShelfInABuilding )
  15.        (on-UnderspecifiedSurface ?TWO2 ?SHELF5 ) ) ) ) ) ) ) ) )
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement