CSE 463/563, Spring 2005

Answers to "Representing English Sentences in FOL"

Last Update: 27 February 2005

Note: or material is highlighted

This document uses "pretend-it's English" semantics, for convenience only :-)

English FOL

There are exactly two P's. xy[P(x) ^ P(y) ^ z[P(z) (z=x v z=y)]]

A cube is a block. x[Cube(x) Block(x)]

A label of a cube is a label of a block.
(where "is a label of" is a 2-place predicate) y[x[Cube(x) ^ Label(y,x)] z[Block(z) ^ Label(y,z)]]

A label of a cube is a label of a block.
(where "label of" is a 1-place function symbol) y[x[Cube(x) ^ y = label-of(x)] z[Block(z) ^ y = label-of(z)]]

English	FOL
There are exactly two P's.	xy[P(x) ^ P(y) ^ z[P(z) (z=x v z=y)]]
A cube is a block.	x[Cube(x) Block(x)]
A label of a cube is a label of a block. (where "is a label of" is a 2-place predicate)	y[x[Cube(x) ^ Label(y,x)] z[Block(z) ^ Label(y,z)]]
A label of a cube is a label of a block. (where "label of" is a 1-place function symbol)	y[x[Cube(x) ^ y = label-of(x)] z[Block(z) ^ y = label-of(z)]]