; Mon Oct 10 14:41:31 EDT 2005 ; ;+ (version "3.2") ;+ (build "Build 228") ([BROWSER_SLOT_NAMES] of Property_List (properties [project_ProjectKB_Instance_20018] [project_ProjectKB_Instance_20019] [project_ProjectKB_Instance_20020] [project_ProjectKB_Instance_20021] [project_ProjectKB_Instance_20022] [project_ProjectKB_Instance_20023])) ([CLSES_TAB] of Widget (is_hidden FALSE) (label "Classes") (property_list [math_ProjectKB_00000]) (widget_class_name "edu.stanford.smi.protege.widget.ClsesTab")) ([FORMS_TAB] of Widget (is_hidden FALSE) (label "Forms") (property_list [math_ProjectKB_00022]) (widget_class_name "edu.stanford.smi.protege.widget.FormsTab")) ([INSTANCES_TAB] of Widget (is_hidden FALSE) (label "Instances") (property_list [math_ProjectKB_00023]) (widget_class_name "edu.stanford.smi.protege.widget.InstancesTab")) ([KB_541449_Instance_0] of Property_List (name "class widget properties") (properties [KB_541449_Instance_1] [KB_541449_Instance_2] [KB_541449_Instance_3] [KB_541449_Instance_4] [KB_541449_Instance_5] [KB_541449_Instance_6] [KB_541449_Instance_7] [KB_541449_Instance_8] [KB_541449_Instance_9] [KB_541449_Instance_10])) ([KB_541449_Instance_1] of Widget (height 120) (label "Constraints") (name ":SLOT-CONSTRAINTS") (property_list [project_ProjectKB_Instance_10046]) (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget") (width 200) (x 400) (y 0)) ([KB_541449_Instance_10] of Property_List (name "layout properties") (properties [KB_541449_Instance_11])) ([KB_541449_Instance_11] of String (name "vertical_stretcher") (string_value ":DIRECT-TEMPLATE-SLOTS")) ([KB_541449_Instance_12] of Property_List (name "slot widget properties") (properties [KB_541449_Instance_13] [KB_541449_Instance_14] [KB_541449_Instance_15] [KB_541449_Instance_16] [KB_541449_Instance_17] [KB_541449_Instance_18] [KB_541449_Instance_19] [KB_541449_Instance_20] [KB_541449_Instance_21] [KB_541449_Instance_22] [KB_541449_Instance_23] [KB_541449_Instance_24] [KB_541449_Instance_25] [KB_541449_Instance_26] [KB_541449_Instance_27] [KB_541449_Instance_28] [project_ProjectKB_Instance_10055])) ([KB_541449_Instance_13] of Widget (height 60) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [project_ProjectKB_Instance_10059]) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (width 200) (x 200) (y 120)) ([KB_541449_Instance_14] of Widget (height 35) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [project_ProjectKB_Instance_10060]) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (width 200) (x 200) (y 180)) ([KB_541449_Instance_15] of Widget (name ":SLOT-CONSTRAINTS")) ([KB_541449_Instance_16] of Widget (name ":DIRECT-TYPE")) ([KB_541449_Instance_17] of Widget (height 95) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [project_ProjectKB_Instance_10056]) (widget_class_name "edu.stanford.smi.protege.widget.DirectDomainWidget") (width 200) (x 400) (y 180)) ([KB_541449_Instance_18] of Widget (height 90) (label "Template Values") (name ":SLOT-VALUES") (property_list [project_ProjectKB_Instance_10057]) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (width 200) (x 400) (y 0)) ([KB_541449_Instance_19] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_541449_Instance_2] of Widget (name ":DIRECT-INSTANCES")) ([KB_541449_Instance_20] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_541449_Instance_21] of Widget (height 90) (label "Default") (name ":SLOT-DEFAULTS") (property_list [project_ProjectKB_Instance_10058]) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (width 200) (x 400) (y 90)) ([KB_541449_Instance_22] of Widget (height 120) (label "Documentation") (name ":DOCUMENTATION") (property_list [project_ProjectKB_Instance_10061]) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 200) (x 200) (y 0)) ([KB_541449_Instance_23] of Widget (height 60) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [project_ProjectKB_Instance_10062]) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (width 100) (x 100) (y 215)) ([KB_541449_Instance_24] of Widget (height 60) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (property_list [project_ProjectKB_Instance_10063]) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (width 100) (x 0) (y 215)) ([KB_541449_Instance_25] of Widget (name ":ASSOCIATED-FACET")) ([KB_541449_Instance_26] of Widget (height 60) (label "Name") (name ":NAME") (property_list [project_ProjectKB_Instance_10064]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 200) (x 0) (y 0)) ([KB_541449_Instance_27] of Widget (height 60) (label "Inverse Slot") (name ":SLOT-INVERSE") (property_list [project_ProjectKB_Instance_10065]) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (width 200) (x 200) (y 215)) ([KB_541449_Instance_28] of Widget (height 155) (label "Value Type") (name ":SLOT-VALUE-TYPE") (property_list [project_ProjectKB_Instance_10066]) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (width 200) (x 0) (y 60)) ([KB_541449_Instance_29] of Widget (is_hidden FALSE) (name ":STANDARD-FACET") (property_list [KB_541449_Instance_30]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([KB_541449_Instance_3] of Widget (name ":DIRECT-SUBCLASSES")) ([KB_541449_Instance_30] of Property_List (name "facet widget properties") (properties [KB_541449_Instance_31] [KB_541449_Instance_32] [KB_541449_Instance_33])) ([KB_541449_Instance_31] of Widget (height 60) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 200) (x 0) (y 0)) ([KB_541449_Instance_32] of Widget (height 120) (label "Documentation") (name ":DOCUMENTATION") (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 200) (x 200) (y 0)) ([KB_541449_Instance_33] of Widget (height 60) (label "Associated Slot") (name ":ASSOCIATED-SLOT") (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 200) (x 0) (y 60)) ([KB_541449_Instance_34] of Widget (is_hidden FALSE) (name ":INSTANCE-ANNOTATION") (property_list [KB_541449_Instance_35]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([KB_541449_Instance_35] of Property_List (properties [KB_541449_Instance_36] [KB_541449_Instance_37] [KB_541449_Instance_38] [KB_541449_Instance_39])) ([KB_541449_Instance_36] of Widget (name ":ANNOTATED-INSTANCE")) ([KB_541449_Instance_37] of Widget (name ":CREATOR")) ([KB_541449_Instance_38] of Widget (name ":CREATION-TIMESTAMP")) ([KB_541449_Instance_39] of Widget (height 100) (is_hidden FALSE) (name ":ANNOTATION-TEXT") (widget_class_name "edu.stanford.smi.protege.widget.YellowStickyWidget") (width 200) (x 0) (y 0)) ([KB_541449_Instance_4] of Widget (name ":DIRECT-SUPERCLASSES")) ([KB_541449_Instance_40] of Widget (is_hidden FALSE) (name ":PAL-CONSTRAINT") (property_list [KB_541449_Instance_41]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([KB_541449_Instance_41] of Property_List (properties [KB_541449_Instance_42] [KB_541449_Instance_43] [KB_541449_Instance_44] [KB_541449_Instance_45])) ([KB_541449_Instance_42] of Widget (height 60) (is_hidden FALSE) (label "Name") (name ":PAL-NAME") (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 275) (x 0) (y 0)) ([KB_541449_Instance_43] of Widget (height 180) (is_hidden FALSE) (label "Range") (name ":PAL-RANGE") (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalRangeWidget") (width 250) (x 275) (y 180)) ([KB_541449_Instance_44] of Widget (height 180) (is_hidden FALSE) (label "Description") (name ":PAL-DESCRIPTION") (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 250) (x 275) (y 0)) ([KB_541449_Instance_45] of Widget (height 300) (is_hidden FALSE) (label "Statement") (name ":PAL-STATEMENT") (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalConstraintWidget") (width 275) (x 0) (y 60)) ([KB_541449_Instance_5] of Widget (height 120) (label "Documentation") (name ":DOCUMENTATION") (property_list [project_ProjectKB_Instance_10052]) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 200) (x 200) (y 0)) ([KB_541449_Instance_6] of Widget (height 60) (label "Name") (name ":NAME") (property_list [project_ProjectKB_Instance_10053]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 200) (x 0) (y 0)) ([KB_541449_Instance_7] of Widget (height 60) (label "Role") (name ":ROLE") (property_list [project_ProjectKB_Instance_10054]) (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget") (width 200) (x 0) (y 60)) ([KB_541449_Instance_8] of Widget (name ":DIRECT-TYPE")) ([KB_541449_Instance_9] of Widget (height 150) (label "Template Slots") (name ":DIRECT-TEMPLATE-SLOTS") (property_list [project_ProjectKB_Instance_10049]) (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget") (width 600) (x 0) (y 120)) ([KB_616212_Instance_0] of String (name "factory_class_name") (string_value "edu.stanford.smi.protege.storage.clips.ClipsKnowledgeBaseFactory")) ([KB_616212_Instance_1] of Options (confirm_on_remove FALSE) (display_abstract_class_icon TRUE) (display_hidden_classes TRUE) (display_multi_parent_class_icon TRUE) (is_readonly FALSE) (tabbed_instance_form_layout FALSE) (update_modification_slots FALSE)) ([KB_616212_Instance_78] of String (name "classes_file_name") (string_value "project.pont")) ([KB_616212_Instance_79] of String (name "instances_file_name") (string_value "project.pins")) ([math_ProjectKB_00000] of Property_List (properties [project_ProjectKB_00242] [project_ProjectKB_00243])) ([math_ProjectKB_00013] of Property_List (properties [project_ProjectKB_00244] [project_ProjectKB_00245])) ([math_ProjectKB_00022] of Property_List (properties [project_ProjectKB_00246])) ([math_ProjectKB_00023] of Property_List (properties [project_ProjectKB_00247] [project_ProjectKB_00248])) ([math_ProjectKB_Instance_28] of Widget (is_hidden TRUE) (property_list [math_ProjectKB_Instance_29]) (widget_class_name "edu.stanford.smi.protege.widget.KAToolTab")) ([math_ProjectKB_Instance_29] of Property_List ) ([math_ProjectKB_Instance_57] of Widget (height 975) (is_hidden FALSE) (name "Mathematician") (property_list [project_ProjectKB_Instance_20569]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 850) (x 0) (y 0)) ([math_ProjectKB_Instance_8] of Widget (is_hidden TRUE) (property_list [math_ProjectKB_Instance_9]) (widget_class_name "edu.stanford.smi.protege.widget.ClsesAndInstancesTab")) ([math_ProjectKB_Instance_9] of Property_List ) ([PROJECT] of Project (browser_slot_names [BROWSER_SLOT_NAMES]) (customized_instance_widgets [project_ProjectKB_Instance_6] [KB_541449_Instance_29] [KB_541449_Instance_34] [math_ProjectKB_Instance_57] [KB_541449_Instance_40] [STANDARD_SLOT_FORM_WIDGET] [STANDARD_CLASS_FORM_WIDGET]) (default_cls_metaclass ":STANDARD-CLASS") (default_facet_metaclass ":STANDARD-FACET") (default_instance_widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (default_slot_metaclass ":STANDARD-SLOT") (journaling_enabled FALSE) (next_frame_number 0) (options [KB_616212_Instance_1]) (property_map [project_ProjectKB_00254]) (sources [SOURCES]) (tabs [CLSES_TAB] [SLOTS_TAB] [FORMS_TAB] [INSTANCES_TAB] [project_ProjectKB_Instance_43] [project_ProjectKB_Instance_81] [project_ProjectKB_Instance_57] [project_ProjectKB_Instance_89] [math_ProjectKB_Instance_8] [project_ProjectKB_Instance_75] [project_ProjectKB_Instance_65] [project_ProjectKB_Instance_79] [project_ProjectKB_Instance_49] [math_ProjectKB_Instance_28] [project_ProjectKB_Instance_77] [project_ProjectKB_Instance_45] [project_ProjectKB_Instance_73] [project_ProjectKB_Instance_69] [project_ProjectKB_Instance_47] [project_ProjectKB_Instance_59] [project_ProjectKB_Instance_51] [project_ProjectKB_Instance_91] [project_ProjectKB_Instance_67] [project_ProjectKB_Instance_63] [project_ProjectKB_Instance_85] [project_ProjectKB_Instance_83] [project_ProjectKB_Instance_55] [project_ProjectKB_Instance_71] [project_ProjectKB_Instance_93] [project_ProjectKB_Instance_87] [project_ProjectKB_Instance_61] [project_ProjectKB_Instance_53])) ([project_ProjectKB_00242] of Integer (integer_value 250) (name "ClsesTab.left_right")) ([project_ProjectKB_00243] of Integer (integer_value 400) (name "ClsesTab.left.top_bottom")) ([project_ProjectKB_00244] of Integer (integer_value 250) (name "SlotsTab.left_right")) ([project_ProjectKB_00245] of Integer (integer_value 400) (name "SlotTab.left.top_bottom")) ([project_ProjectKB_00246] of Integer (integer_value 250) (name "FormsTab.left_right")) ([project_ProjectKB_00247] of Integer (integer_value 231) (name "InstancesTab.left_right")) ([project_ProjectKB_00248] of Integer (integer_value 198) (name "InstancesTab.right.left_right")) ([project_ProjectKB_00254] of Map ) ([project_ProjectKB_Instance_10013] of Property_List (name "layout properties")) ([project_ProjectKB_Instance_10046] of Property_List (properties [project_ProjectKB_Instance_10047] [project_ProjectKB_Instance_10048])) ([project_ProjectKB_Instance_10047] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_10048] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_10049] of Property_List (properties [project_ProjectKB_Instance_10050] [project_ProjectKB_Instance_10051])) ([project_ProjectKB_Instance_10050] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move up")) ([project_ProjectKB_Instance_10051] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move down")) ([project_ProjectKB_Instance_10052] of Property_List ) ([project_ProjectKB_Instance_10053] of Property_List ) ([project_ProjectKB_Instance_10054] of Property_List ) ([project_ProjectKB_Instance_10055] of Property_List (name "layout properties")) ([project_ProjectKB_Instance_10056] of Property_List ) ([project_ProjectKB_Instance_10057] of Property_List ) ([project_ProjectKB_Instance_10058] of Property_List ) ([project_ProjectKB_Instance_10059] of Property_List ) ([project_ProjectKB_Instance_10060] of Property_List ) ([project_ProjectKB_Instance_10061] of Property_List ) ([project_ProjectKB_Instance_10062] of Property_List ) ([project_ProjectKB_Instance_10063] of Property_List ) ([project_ProjectKB_Instance_10064] of Property_List ) ([project_ProjectKB_Instance_10065] of Property_List ) ([project_ProjectKB_Instance_10066] of Property_List ) ([project_ProjectKB_Instance_10334] of String (name "SearchTab_Query")) ([project_ProjectKB_Instance_12850] of Widget (height 60) (is_hidden FALSE) (name "born_in_year") (property_list [project_ProjectKB_Instance_12851]) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 100) (x 200) (y 0)) ([project_ProjectKB_Instance_12851] of Property_List ) ([project_ProjectKB_Instance_12852] of Widget (height 60) (is_hidden FALSE) (name "id") (property_list [project_ProjectKB_Instance_12853]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 180)) ([project_ProjectKB_Instance_12853] of Property_List ) ([project_ProjectKB_Instance_12854] of Widget (height 120) (is_hidden FALSE) (name "child_of") (property_list [project_ProjectKB_Instance_12855]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 200) (y 240)) ([project_ProjectKB_Instance_12855] of Property_List (properties [project_ProjectKB_Instance_12856] [project_ProjectKB_Instance_12857])) ([project_ProjectKB_Instance_12856] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_12857] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_12858] of Widget (height 60) (is_hidden FALSE) (name "middle_name") (property_list [project_ProjectKB_Instance_12859]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 240)) ([project_ProjectKB_Instance_12859] of Property_List ) ([project_ProjectKB_Instance_12860] of Widget (height 120) (is_hidden FALSE) (name "friend_of") (property_list [project_ProjectKB_Instance_12861]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 400) (y 0)) ([project_ProjectKB_Instance_12861] of Property_List (properties [project_ProjectKB_Instance_12862] [project_ProjectKB_Instance_12863])) ([project_ProjectKB_Instance_12862] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_12863] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_12864] of Widget (height 240) (is_hidden FALSE) (name "parent_of") (property_list [project_ProjectKB_Instance_12865]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 400) (y 120)) ([project_ProjectKB_Instance_12865] of Property_List (properties [project_ProjectKB_Instance_12866] [project_ProjectKB_Instance_12867])) ([project_ProjectKB_Instance_12866] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_12867] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_12868] of Widget (height 60) (is_hidden FALSE) (name "family_name") (property_list [project_ProjectKB_Instance_12869]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 60)) ([project_ProjectKB_Instance_12869] of Property_List ) ([project_ProjectKB_Instance_12874] of Widget (height 60) (is_hidden FALSE) (name "died_in_year") (property_list [project_ProjectKB_Instance_12875]) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 100) (x 300) (y 0)) ([project_ProjectKB_Instance_12875] of Property_List ) ([project_ProjectKB_Instance_12876] of Widget (height 60) (is_hidden FALSE) (name "edited") (property_list [project_ProjectKB_Instance_12877]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 200) (x 200) (y 60)) ([project_ProjectKB_Instance_12877] of Property_List (properties [project_ProjectKB_Instance_12878] [project_ProjectKB_Instance_12879])) ([project_ProjectKB_Instance_12878] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_12879] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_12880] of Widget (height 60) (is_hidden FALSE) (name "given_name") (property_list [project_ProjectKB_Instance_12881]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 120)) ([project_ProjectKB_Instance_12881] of Property_List ) ([project_ProjectKB_Instance_12882] of Widget (height 60) (is_hidden FALSE) (name "born_in") (property_list [project_ProjectKB_Instance_12883]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 0)) ([project_ProjectKB_Instance_12883] of Property_List ) ([project_ProjectKB_Instance_12884] of Widget (height 60) (is_hidden FALSE) (name "spouse_of") (property_list [project_ProjectKB_Instance_12885]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 200) (x 200) (y 120)) ([project_ProjectKB_Instance_12885] of Property_List (properties [project_ProjectKB_Instance_12886] [project_ProjectKB_Instance_12887])) ([project_ProjectKB_Instance_12886] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_12887] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_12888] of Widget (height 60) (is_hidden FALSE) (name "female") (property_list [project_ProjectKB_Instance_12889]) (widget_class_name "edu.stanford.smi.protege.widget.CheckBoxWidget") (width 200) (x 0) (y 300)) ([project_ProjectKB_Instance_12889] of Property_List ) ([project_ProjectKB_Instance_12992] of Boolean (boolean_value FALSE) (name "use_roundtrip")) ([project_ProjectKB_Instance_20018] of String (name "Conjecture") (string_value "name")) ([project_ProjectKB_Instance_20019] of String (name "Person") (string_value "given_name{+}family_name{+}id")) ([project_ProjectKB_Instance_20020] of String (name ":META-CLASS") (string_value "%3ANAME")) ([project_ProjectKB_Instance_20021] of String (name "Institution") (string_value "name")) ([project_ProjectKB_Instance_20022] of String (name "Publication") (string_value "title")) ([project_ProjectKB_Instance_20023] of String (name "Theorem") (string_value "name")) ([project_ProjectKB_Instance_20355] of Widget (height 120) (is_hidden FALSE) (name "wrote") (property_list [project_ProjectKB_Instance_20356]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 0) (y 360)) ([project_ProjectKB_Instance_20356] of Property_List (properties [project_ProjectKB_Instance_20357] [project_ProjectKB_Instance_20358])) ([project_ProjectKB_Instance_20357] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20358] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20569] of Property_List (properties [project_ProjectKB_Instance_20570] [project_ProjectKB_Instance_20572] [project_ProjectKB_Instance_20574] [project_ProjectKB_Instance_20578] [project_ProjectKB_Instance_20580] [project_ProjectKB_Instance_20584] [project_ProjectKB_Instance_20588] [project_ProjectKB_Instance_20590] [project_ProjectKB_Instance_20592] [project_ProjectKB_Instance_20596] [project_ProjectKB_Instance_20598] [project_ProjectKB_Instance_20600] [project_ProjectKB_Instance_20604] [project_ProjectKB_Instance_20606] [project_ProjectKB_Instance_20607] [project_ProjectKB_Instance_20611] [project_ProjectKB_Instance_20615] [project_ProjectKB_Instance_20619] [project_ProjectKB_Instance_20621] [project_ProjectKB_Instance_20625] [project_ProjectKB_Instance_20629] [project_ProjectKB_Instance_20633] [project_ProjectKB_Instance_20635])) ([project_ProjectKB_Instance_20570] of Widget (height 60) (is_hidden FALSE) (name "born_in_year") (property_list [project_ProjectKB_Instance_20571]) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 100) (x 0) (y 360)) ([project_ProjectKB_Instance_20571] of Property_List ) ([project_ProjectKB_Instance_20572] of Widget (height 60) (is_hidden FALSE) (name "id") (property_list [project_ProjectKB_Instance_20573]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 180)) ([project_ProjectKB_Instance_20573] of Property_List ) ([project_ProjectKB_Instance_20574] of Widget (height 120) (is_hidden FALSE) (name "child_of") (property_list [project_ProjectKB_Instance_20575]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 200) (y 120)) ([project_ProjectKB_Instance_20575] of Property_List (properties [project_ProjectKB_Instance_20576] [project_ProjectKB_Instance_20577])) ([project_ProjectKB_Instance_20576] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20577] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20578] of Widget (height 60) (is_hidden FALSE) (name "middle_name") (property_list [project_ProjectKB_Instance_20579]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 240)) ([project_ProjectKB_Instance_20579] of Property_List ) ([project_ProjectKB_Instance_20580] of Widget (height 120) (is_hidden FALSE) (name "friend_of") (property_list [project_ProjectKB_Instance_20581]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 200) (y 480)) ([project_ProjectKB_Instance_20581] of Property_List (properties [project_ProjectKB_Instance_20582] [project_ProjectKB_Instance_20583])) ([project_ProjectKB_Instance_20582] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20583] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20584] of Widget (height 360) (is_hidden FALSE) (name "parent_of") (property_list [project_ProjectKB_Instance_20585]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 400) (y 360)) ([project_ProjectKB_Instance_20585] of Property_List (properties [project_ProjectKB_Instance_20586] [project_ProjectKB_Instance_20587])) ([project_ProjectKB_Instance_20586] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20587] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20588] of Widget (height 60) (is_hidden FALSE) (name "family_name") (property_list [project_ProjectKB_Instance_20589]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 60)) ([project_ProjectKB_Instance_20589] of Property_List ) ([project_ProjectKB_Instance_20590] of Widget (height 60) (is_hidden FALSE) (name "died_in_year") (property_list [project_ProjectKB_Instance_20591]) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 100) (x 100) (y 360)) ([project_ProjectKB_Instance_20591] of Property_List ) ([project_ProjectKB_Instance_20592] of Widget (height 60) (is_hidden FALSE) (name "edited") (property_list [project_ProjectKB_Instance_20593]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 200) (x 0) (y 420)) ([project_ProjectKB_Instance_20593] of Property_List (properties [project_ProjectKB_Instance_20594] [project_ProjectKB_Instance_20595])) ([project_ProjectKB_Instance_20594] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20595] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20596] of Widget (height 60) (is_hidden FALSE) (name "given_name") (property_list [project_ProjectKB_Instance_20597]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 120)) ([project_ProjectKB_Instance_20597] of Property_List ) ([project_ProjectKB_Instance_20598] of Widget (height 60) (is_hidden FALSE) (name "born_in") (property_list [project_ProjectKB_Instance_20599]) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 200) (x 0) (y 0)) ([project_ProjectKB_Instance_20599] of Property_List ) ([project_ProjectKB_Instance_20600] of Widget (height 60) (is_hidden FALSE) (name "spouse_of") (property_list [project_ProjectKB_Instance_20601]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 200) (x 0) (y 480)) ([project_ProjectKB_Instance_20601] of Property_List (properties [project_ProjectKB_Instance_20602] [project_ProjectKB_Instance_20603])) ([project_ProjectKB_Instance_20602] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20603] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20604] of Widget (height 60) (is_hidden FALSE) (name "female") (property_list [project_ProjectKB_Instance_20605]) (widget_class_name "edu.stanford.smi.protege.widget.CheckBoxWidget") (width 200) (x 0) (y 300)) ([project_ProjectKB_Instance_20605] of Property_List ) ([project_ProjectKB_Instance_20606] of Property_List (name "layout properties")) ([project_ProjectKB_Instance_20607] of Widget (height 120) (is_hidden FALSE) (name "wrote") (property_list [project_ProjectKB_Instance_20608]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 400) (y 240)) ([project_ProjectKB_Instance_20608] of Property_List (properties [project_ProjectKB_Instance_20609] [project_ProjectKB_Instance_20610])) ([project_ProjectKB_Instance_20609] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20610] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20611] of Widget (height 120) (is_hidden FALSE) (name "taught") (property_list [project_ProjectKB_Instance_20612]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 400) (y 0)) ([project_ProjectKB_Instance_20612] of Property_List (properties [project_ProjectKB_Instance_20613] [project_ProjectKB_Instance_20614])) ([project_ProjectKB_Instance_20613] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20614] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20615] of Widget (height 120) (is_hidden FALSE) (name "conjectured") (property_list [project_ProjectKB_Instance_20616]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 200) (y 240)) ([project_ProjectKB_Instance_20616] of Property_List (properties [project_ProjectKB_Instance_20617] [project_ProjectKB_Instance_20618])) ([project_ProjectKB_Instance_20617] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20618] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20619] of Widget (height 120) (is_hidden FALSE) (name "specialty") (property_list [project_ProjectKB_Instance_20620]) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (width 200) (x 200) (y 0)) ([project_ProjectKB_Instance_20620] of Property_List ) ([project_ProjectKB_Instance_20621] of Widget (height 120) (is_hidden FALSE) (name "corresponded_with") (property_list [project_ProjectKB_Instance_20622]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 200) (y 360)) ([project_ProjectKB_Instance_20622] of Property_List (properties [project_ProjectKB_Instance_20623] [project_ProjectKB_Instance_20624])) ([project_ProjectKB_Instance_20623] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20624] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20625] of Widget (height 120) (is_hidden FALSE) (name "proved") (property_list [project_ProjectKB_Instance_20626]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 200) (y 600)) ([project_ProjectKB_Instance_20626] of Property_List (properties [project_ProjectKB_Instance_20627] [project_ProjectKB_Instance_20628])) ([project_ProjectKB_Instance_20627] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20628] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20629] of Widget (height 120) (is_hidden FALSE) (name "worked_for") (property_list [project_ProjectKB_Instance_20630]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 200) (x 400) (y 120)) ([project_ProjectKB_Instance_20630] of Property_List (properties [project_ProjectKB_Instance_20631] [project_ProjectKB_Instance_20632])) ([project_ProjectKB_Instance_20631] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20632] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_20633] of Widget (height 120) (is_hidden FALSE) (name "field") (property_list [project_ProjectKB_Instance_20634]) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (width 200) (x 0) (y 600)) ([project_ProjectKB_Instance_20634] of Property_List ) ([project_ProjectKB_Instance_20635] of Widget (height 60) (is_hidden FALSE) (name "studied_under") (property_list [project_ProjectKB_Instance_20636]) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 200) (x 0) (y 540)) ([project_ProjectKB_Instance_20636] of Property_List (properties [project_ProjectKB_Instance_20637] [project_ProjectKB_Instance_20638])) ([project_ProjectKB_Instance_20637] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([project_ProjectKB_Instance_20638] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([project_ProjectKB_Instance_43] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_44]) (widget_class_name "TGViztab.TGVizTab")) ([project_ProjectKB_Instance_44] of Property_List ) ([project_ProjectKB_Instance_45] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_46]) (widget_class_name "dfki.protege.ontoviz_tab.OntovizTab")) ([project_ProjectKB_Instance_46] of Property_List ) ([project_ProjectKB_Instance_47] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_48]) (widget_class_name "script.ProtegeScriptTab")) ([project_ProjectKB_Instance_48] of Property_List ) ([project_ProjectKB_Instance_49] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_50]) (widget_class_name "JessTab.JessTab")) ([project_ProjectKB_Instance_50] of Property_List ) ([project_ProjectKB_Instance_51] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_52]) (widget_class_name "edu.stanford.smi.protege.keywordsearch.StringSearch")) ([project_ProjectKB_Instance_52] of Property_List ) ([project_ProjectKB_Instance_53] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_54]) (widget_class_name "edu.stanford.smi.RemoteKBTab.WordNetTab")) ([project_ProjectKB_Instance_54] of Property_List ) ([project_ProjectKB_Instance_55] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_56]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadatatab.OWLMetadataTab")) ([project_ProjectKB_Instance_56] of Property_List ) ([project_ProjectKB_Instance_57] of Widget (is_hidden FALSE) (property_list [project_ProjectKB_Instance_58]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([project_ProjectKB_Instance_58] of Property_List (properties [project_ProjectKB_Instance_10334])) ([project_ProjectKB_Instance_59] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_60]) (widget_class_name "edu.stanford.smi.protegex.psm.PSMTab")) ([project_ProjectKB_Instance_6] of Widget (is_hidden FALSE) (name "Person") (property_list [project_ProjectKB_Instance_7]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([project_ProjectKB_Instance_60] of Property_List ) ([project_ProjectKB_Instance_61] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_62]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([project_ProjectKB_Instance_62] of Property_List ) ([project_ProjectKB_Instance_63] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_64]) (widget_class_name "ezpal.EZPalTab")) ([project_ProjectKB_Instance_64] of Property_List ) ([project_ProjectKB_Instance_65] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_66]) (widget_class_name "edu.stanford.smi.protegex.fctab.FacetConstraintsTab")) ([project_ProjectKB_Instance_66] of Property_List ) ([project_ProjectKB_Instance_67] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_68]) (widget_class_name "edu.stanford.smi.protegex.xml.tab.XMLTab")) ([project_ProjectKB_Instance_68] of Property_List ) ([project_ProjectKB_Instance_69] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_70]) (widget_class_name "edu.stanford.smi.protegex.prompt.PromptTab")) ([project_ProjectKB_Instance_7] of Property_List (properties [project_ProjectKB_Instance_12850] [project_ProjectKB_Instance_12852] [project_ProjectKB_Instance_12854] [project_ProjectKB_Instance_12858] [project_ProjectKB_Instance_12860] [project_ProjectKB_Instance_12864] [project_ProjectKB_Instance_12868] [project_ProjectKB_Instance_12874] [project_ProjectKB_Instance_12876] [project_ProjectKB_Instance_12880] [project_ProjectKB_Instance_12882] [project_ProjectKB_Instance_12884] [project_ProjectKB_Instance_12888] [project_ProjectKB_Instance_10013] [project_ProjectKB_Instance_20355])) ([project_ProjectKB_Instance_70] of Property_List ) ([project_ProjectKB_Instance_71] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_72]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.OWLPropertiesTab")) ([project_ProjectKB_Instance_72] of Property_List ) ([project_ProjectKB_Instance_73] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_74]) (widget_class_name "edu.stanford.smi.protegex.widget.pal.PalConstraintsTab")) ([project_ProjectKB_Instance_74] of Property_List ) ([project_ProjectKB_Instance_75] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_76]) (widget_class_name "DataGenieTab.DataGenieTab")) ([project_ProjectKB_Instance_76] of Property_List ) ([project_ProjectKB_Instance_77] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_78]) (widget_class_name "edu.stanford.smi.protege.widget.instance_tree.KnowledgeTreeTab")) ([project_ProjectKB_Instance_78] of Property_List ) ([project_ProjectKB_Instance_79] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_80]) (widget_class_name "edu.stanford.smi.protege.widget.instance_tree.InstanceTreeTab")) ([project_ProjectKB_Instance_80] of Property_List ) ([project_ProjectKB_Instance_81] of Widget (is_hidden FALSE) (property_list [project_ProjectKB_Instance_82]) (widget_class_name "ca.uvic.csr.shrimp.protegeTab.JambalayaTab")) ([project_ProjectKB_Instance_82] of Property_List ) ([project_ProjectKB_Instance_83] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_84]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.individuals.OWLIndividualsTab")) ([project_ProjectKB_Instance_84] of Property_List ) ([project_ProjectKB_Instance_85] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_86]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.cls.OWLClassesTab")) ([project_ProjectKB_Instance_86] of Property_List ) ([project_ProjectKB_Instance_87] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_88]) (widget_class_name "edu.stanford.smi.protegex.widget.pal.PalQueriesTab")) ([project_ProjectKB_Instance_88] of Property_List ) ([project_ProjectKB_Instance_89] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_90]) (widget_class_name "org.algernon.kb.okbc.protege.plugins.AlgernonTab")) ([project_ProjectKB_Instance_90] of Property_List ) ([project_ProjectKB_Instance_91] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_92]) (widget_class_name "edu.stanford.smi.RemoteKBTab.UMLSTab")) ([project_ProjectKB_Instance_92] of Property_List ) ([project_ProjectKB_Instance_93] of Widget (is_hidden TRUE) (property_list [project_ProjectKB_Instance_94]) (widget_class_name "uk.ac.man.cs.mig.coode.owlviz.ui.OWLVizTab")) ([project_ProjectKB_Instance_94] of Property_List ) ([SLOTS_TAB] of Widget (is_hidden FALSE) (label "Slots") (property_list [math_ProjectKB_00013]) (widget_class_name "edu.stanford.smi.protege.widget.SlotsTab")) ([SOURCES] of Property_List (properties [KB_616212_Instance_0] [KB_616212_Instance_78] [KB_616212_Instance_79] [project_ProjectKB_Instance_12992])) ([STANDARD_CLASS_FORM_WIDGET] of Widget (name ":STANDARD-CLASS") (property_list [KB_541449_Instance_0]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([STANDARD_SLOT_FORM_WIDGET] of Widget (name ":STANDARD-SLOT") (property_list [KB_541449_Instance_12]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget"))