Background Knowledge

English is a subclass of language.

Language is a subclass of representation.

Noun is a subclass of the English language.

Proper name is a subclass of noun.

Verb is a subclass of the English language.

Every English representation of an agent is a noun.

....

Archeologist is a subclass of person.

Every person who studies artifacts is an archeologist.

Study is a subclass of mental act.

Learn is a subclass of mental act.

Discover is a subclass of learn.

Physical act is a subclass of act.

Dig is a subclass of physical act.

Excavate is a subclass of dig.

Small is a subclass of relationship.

Big is a subclass of relationship.

Big if something is big then it is not small.

If something is small then it is not big.

Allow is a subclass of act.

Spacecraft is a subclass of vehicle

Fly is a subclass of physical act.

Vehicles that fly in space are spacecraft.

Details are small parts of a whole.

Pictures are visual representations.

Agents can see more visual details at small distances.

Something is mysterious if its properties are not known.

Body is a physical object.

Satellite is a subclass of body.

Planet is a subclass of body.

Revolve is a subclass of physical action.

A body that revolves around a planet is a satellite.

Above is a subclass of spatial relationship.

Foot is a subclass of distance.

A mile is 5280 feet.

Meter is a subclass of distance.

A kilometer is 1000 meters.

Believe is a subclass of mental act.

Assume is a subclass of believe.

Break is a subclass of physical act.

Every rigid body that breaks easily is brittle.

Black is the darkest color.

Material is a subclass of physical object.

Skull is a subclass of bone.

The biggest bone in the head is the skull.

Asphalt is a subclass of black substance.

Site is a subclass of location.

Large is another word for big

Deposit is a subclass of location.

Country is a subclass of location.

Isreal is the proper name of a country.

People live on Earth.

The Moon revolves around the earth.

Every object located in space is a celestial object.

Visit is a subclass of physical action.

Seem is a subclass of mental act.

Appear is a subclass of visual seeming.

Close is a subclass of spatial relationship.

Every object that is a small distance from something is close to it.

Hole is a subclass of location.

Cave is a subclass of large hole.

Become is a subclass of action.

Natural objects were not made by any person.