Verification.
example Travel_to_moon.
has_type Experience.
has_type Experiment.
is_part_of Fact.
   
 
Vr.155, Dec 2009     Readme      List of Objects Queries: obromley@hotmail.com