Ontology Course Exercises

1. Quantification. Code the following statements in SUO-KIF:
   1. "All the king's horses and all the king's men are in England."
   2. The king would like to exchange his entire kingdom for a horse. Or more poetically: "A horse, a horse, my kingdom for a horse!"
   3. "He never met a horse he didn't like."
   
   
2. Rules. Code the following statements in SUO-KIF:
   1. "Every good boy likes fudge."
   2. "All good men will come to the aid of their country."
   3. "Some men are born to greatness..."
   4. "A right triangle is a triangle with a one right angle."
   
   
3. Negation. Code the following statements in SUO-KIF:
   1. "Mike didn't go to school."
   2. "Mike was going to school when he got hit by a bus."
   3. "Fortunately, Mike didn't die."
   
   
4. Case roles. Code the following statements in SUO-KIF and SUMO:
   1. "John turns the screw with the screwdriver."
   2. "Johns walks from the store to his home."
   3. "John saw the explosion."
   
   
5. Processes. Define the following terms in SUO-KIF and SUMO:
   1. Following
   2. Rehabilitating
   3. Interrogating
   4. Planing (wood or other material)
   
   
6. Time and change. Code the following in SUO-KIF and SUMO:
   1. "John has a different car than he had last year."
   2. "Mary graduated in 2000."
   3. "Tom is older than Jim."
   4. "Lou has a party every year in August."
   
   
7. Sets and groups. Code the following in SUO-KIF and SUMO:
   1. "There are 15 children in the classroom."
   2. "The five-member board approved the motion."
   3. "Susan joined Acme Software."
   
   
8. Comparatives and Superlatives. Code the following in SUO-KIF and SUMO:
   1. "Tom is shorter than Bill."
   2. "The Hope Diamond is the most expensive diamond."
   3. "Bill is the wealthiest man."
   
   
9. Spatial expressions. Code the following in SUO-KIF and SUMO:
   1. "Atlanta is north of Miami."
   2. "Sally travels to New York City."
   3. "The vase is on top of the table."
   
   
10. Part-whole relations. State the relationship between
    1. a chair and its legs
    2. a snail and its shell
    3. Mike and his left ear
    4. a chicken and an egg
    
    
11. Roles. Code the following in SUO-KIF and SUMO:
    1. "Mary is a pianist."
    2. "Rudolph is a reindeer."
    3. "Bill was president in 1999."
    4. "Joe is brown."
    
    
12. Measures. Code the following in SUO-KIF and SUMO:
    1. "The battery has 300 Amp-hours of electric power."
    2. "The house is 2000 square feet."
    3. "The container holds 5 gallons."
    
    
13. Represent the statements below in SUO-KIF syntax and terms from SUMO whenever possible.
    1. if John likes Sue then Sue likes John
    2. if John likes someone, that person likes him
    3. If Someone likes someone else then he or she has the attribute of being likable
    4. Every likable person knows someone
    5. Every human has two feet
    6. Every human is likable in the afternoon
    7. John eats with a fork
    
    
14. Create a very basic definition for skipping (as in "The little girl was skipping down the path."), consisting of at least the following statements in SUO-KIF and SUMO, paying careful attention to strictly correct syntax.
    1. documentation string
    2. termFormat expression
    3. subclass statement
    4. extra credit: create a rule that defines what is essential about skipping compared to walking, jumping, etc.
    
    
15. Beliefs, desires and higher-order logic
    1. Jimmy wants a dog
    2. Billy wants to be 21 years old
    3. In 2003 Jane was 15 years old
    4. John thinks that there are unicorns in the world
    
    

Webmaster