Fact. example World_is_round. has_part Verification. is_type_of Concept.       Vr.155, Dec 2010     Readme      ..