text: Next go back to the Individuals by class tab. Go to the Individuals by type (inferred) view. You should 
  see the individuals that exist right now. So far we have the example Pizzas you created and the instances 
  of Spiciness: Hot, Medium, and Mild. Click on Hot. Notice that in the Property assertions view in the 
  lower right corner the title should now say: Property assertions: Hot. Click on the (+) icon next to Object 
  property assertions. You will be prompted with a form with two areas to input values. The name of the 
  property goes in the left hand side and the value in the right hand side (see figure 6.1). Type in 
  isSpicierThan as the name of the property. Remember you can use auto-complete so you should only 
  need to type*isS*and type <control><space> and Protégé will fill in the name of the property. Enter 
  Medium as the value. Your UI should look similar to figure 6.1. Select OK. Now click on Medium and 
  set its isSpicierThan value to be Mild. That is all the data entry you need to do. Now run the reasoner 
  again and click on the Hot, Medium, and Mild individuals. You should see that all the additional 
  isSpicierThan and isMilderThan values have been filled in for you because the reasoner knows that 
  the two properties are inverses and transitive. For example, Mild, which we didn’t edit at all, should have 
  two values for isMilderThan filled in by the reasoner. 