Time Exercise - 1

E-Mail Comments to: training@cyc.com
Copyright© 1996, 1997, 1998 Cycorp. All rights reserved.

[Up]Representation Of Time

Questions:

Write axioms that express the following statements in CycL.

Children are born after their parents.
(useful constants: #$children)

Humans and dinosaurs never lived at the same time.
(useful constants: #$Person, #$Dinosaur)

After you mop a floor, it's clean.
(useful constants: #$MoppingAFloor, #$FloorInABuilding, #$Clean, #$objectOfStateChange, #$hasAttributes)

The recipient of a letter reads it after the writer writes it.
(useful constants: #$Letter, #$iboCreated, #$informationOrigin, #$Writing, #$Reading)

In a conversation only one person is talking at a given time. (useful constants: #$Conversation, #$Speaking, #$subEvents, #$performedBy, #$equals)

In 1492, tomatoes were found only in the Western Hemisphere.
(useful constants: #$TomatoPlant, #$objectFoundInLocation, #$WesternHemisphere-Region, #$forAll)


[Up]
Last Update: 10/26/1998 11:40:36