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)]] |

Copyright © 2005 by William J. Rapaport (rapaport@cse.buffalo.edu)

file: 563S05/fol-translation-2005-02-27.html