; Wed Feb 16 10:16:29 PST 2005 ; ;+ (version "1.8") ;+ (build "Build 1074") ([BROWSER_SLOT_NAMES] of Property_List) ([CLSES_TAB] of Widget (is_hidden FALSE) (property_list [ProjectKB_2782_00009]) (widget_class_name "edu.stanford.smi.protege.widget.ClsesTab") (label "Classes")) ([FORMS_TAB] of Widget (is_hidden FALSE) (property_list [ProjectKB_2782_00038]) (widget_class_name "edu.stanford.smi.protege.widget.FormsTab") (label "Forms")) ([INSTANCES_TAB] of Widget (is_hidden FALSE) (property_list [ProjectKB_2782_00041]) (widget_class_name "edu.stanford.smi.protege.widget.InstancesTab") (label "Instances")) ([KIFcore2_ProjectKB_00423] of Widget (name "partition2") (width 250) (is_hidden FALSE) (property_list [KIFcore2_ProjectKB_00424]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 180) (y 1060)) ([KIFcore2_ProjectKB_00424] of Property_List (properties [KIFcore2_ProjectKB_00425] [KIFcore2_ProjectKB_00426] [KIFcore2_ProjectKB_00427] [KIFcore2_ProjectKB_00428] [KIFcore2_ProjectKB_00429] [KIFcore2_ProjectKB_00430])) ([KIFcore2_ProjectKB_00425] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00426] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00427] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00428] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00429] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00430] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00436] of Widget (name "relatedExternalConcept") (width 250) (is_hidden FALSE) (property_list [KIFcore2_ProjectKB_00437]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 930)) ([KIFcore2_ProjectKB_00437] of Property_List (properties [KIFcore2_ProjectKB_00694] [KIFcore2_ProjectKB_00695] [KIFcore2_ProjectKB_00696] [KIFcore2_ProjectKB_00697] [KIFcore2_ProjectKB_00698] [KIFcore2_ProjectKB_00699])) ([KIFcore2_ProjectKB_00438] of Widget (name "relatedExternalConcept") (width 250) (is_hidden FALSE) (property_list [KIFcore2_ProjectKB_00439]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 920)) ([KIFcore2_ProjectKB_00439] of Property_List (properties [KIFcore2_ProjectKB_00700] [KIFcore2_ProjectKB_00701] [KIFcore2_ProjectKB_00702] [KIFcore2_ProjectKB_00703] [KIFcore2_ProjectKB_00704] [KIFcore2_ProjectKB_00705])) ([KIFcore2_ProjectKB_00444] of Widget (name "partition2") (width 270) (is_hidden FALSE) (property_list [KIFcore2_ProjectKB_00445]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 140) (y 770)) ([KIFcore2_ProjectKB_00445] of Property_List (properties [KIFcore2_ProjectKB_00446] [KIFcore2_ProjectKB_00447] [KIFcore2_ProjectKB_00448] [KIFcore2_ProjectKB_00449] [KIFcore2_ProjectKB_00450] [KIFcore2_ProjectKB_00451])) ([KIFcore2_ProjectKB_00446] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00447] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00448] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00449] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00450] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00451] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00604] of Widget (name ":SUO-name") (width 230) (is_hidden FALSE) (property_list [KIFcore2_ProjectKB_00605]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([KIFcore2_ProjectKB_00605] of Property_List) ([KIFcore2_ProjectKB_00694] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00695] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00696] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00697] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00698] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00699] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00700] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00701] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00702] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00703] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00704] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00705] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([PAL_FORM_WIDGET] of Widget (name ":PAL-CONSTRAINT") (width 738) (is_hidden FALSE) (property_list [SMQCC_ProjectKB_00037]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 585) (y 0)) ([PROJECT] of Project (next_frame_number 0) (default_facet_metaclass ":STANDARD-FACET") (default_slot_metaclass ":SKIF-SLOT") (sources [SOURCES]) (default_instance_widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (property_map [SUMO148_ProjectKB_00222]) (default_cls_metaclass ":STANDARD-CLASS") (customized_instance_widgets [STANDARD_SLOT_FORM_WIDGET] [SKIFcore_ProjectKB_01503] [UBLinv011_ProjectKB_00103] [SUMO116_ProjectKB_00204] [SKIFcore4_ProjectKB_00823] [SKIFcore_ProjectKB_Instance_10091] [SKIFcore_ProjectKB_Instance_20151] [SKIFcore_ProjectKB_00517] [SKIFcore4_ProjectKB_00607] [SKIFcore4_ProjectKB_00083] [UBLinv014_ProjectKB_00002] [SKIFcore_ProjectKB_Instance_50029] [SKIFcore4_ProjectKB_00029] [SUMO115_ProjectKB_01022] [SKIFcore4_ProjectKB_00411] [SKIFcore4_ProjectKB_00009] [SKIFcore4_ProjectKB_00093] [SKIFcore4_ProjectKB_00429] [UBLinv011_ProjectKB_00002] [SKIFcore4_ProjectKB_00031] [UBLinv021_ProjectKB_00002] [STANDARD_CLASS_FORM_WIDGET] [UBLmin_ProjectKB_05347] [SKIFcore_ProjectKB_Instance_11] [SKIFcore_ProjectKB_Instance_20106] [SKIFcore_ProjectKB_Instance_20057] [SUMO116_ProjectKB_00209] [SKIFcore_ProjectKB_00202] [SKIFcore4_ProjectKB_00702] [ProjectKB_2782_00043] [PAL_FORM_WIDGET]) (options [ProjectKB_2782_00010]) (tabs [CLSES_TAB] [SLOTS_TAB] [FORMS_TAB] [INSTANCES_TAB] [ProjectKB_2782_00005] [ProjectKB_2782_00003] [SMQCC_ProjectKB_00042] [SMQCC_ProjectKB_00044]) (browser_slot_names [BROWSER_SLOT_NAMES])) ([ProjectKB_2782_00000] of String (name "factory_class_name") (string_value "edu.stanford.smi.protege.storage.clips.ClipsKnowledgeBaseFactory")) ([ProjectKB_2782_00003] of Widget (is_hidden TRUE) (property_list [ProjectKB_2782_00004]) (widget_class_name "edu.stanford.smi.protege.widget.KAToolTab")) ([ProjectKB_2782_00004] of Property_List) ([ProjectKB_2782_00005] of Widget (is_hidden TRUE) (property_list [ProjectKB_2782_00006]) (widget_class_name "edu.stanford.smi.protege.widget.ClsesAndInstancesTab")) ([ProjectKB_2782_00006] of Property_List) ([ProjectKB_2782_00009] of Property_List (properties [shell1_ProjectKB_00052] [shell1_ProjectKB_00053])) ([ProjectKB_2782_00010] of Options (display_multi_parent_class_icon TRUE) (display_hidden_classes TRUE) (confirm_on_remove FALSE) (is_readonly FALSE) (update_modification_slots FALSE) (display_abstract_class_icon TRUE)) ([ProjectKB_2782_00026] of Property_List (properties [shell1_ProjectKB_00054] [shell1_ProjectKB_00055])) ([ProjectKB_2782_00038] of Property_List (properties [shell1_ProjectKB_00056])) ([ProjectKB_2782_00041] of Property_List (properties [shell1_ProjectKB_00057] [shell1_ProjectKB_00058])) ([ProjectKB_2782_00043] of Widget (name "Entity") (width 723) (is_hidden FALSE) (property_list [ProjectKB_2782_00044]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 680) (y 0)) ([ProjectKB_2782_00044] of Property_List (properties [ProjectKB_2782_00047] [SKIFcore4_ProjectKB_00103] [SKIFcore4_ProjectKB_00614] [SKIFcore4_ProjectKB_00403] [SKIFcore4_ProjectKB_02737] [SKIFcore_ProjectKB_00103] [SKIFcore_ProjectKB_00210] [SKIFcore_ProjectKB_00703] [SKIFcore_ProjectKB_01903] [SKIFcore_ProjectKB_Instance_20397] [SKIFcore_ProjectKB_Instance_20405] [SKIFcore_ProjectKB_Instance_20413] [SMQCC_0-4v_ProjectKB_00003] [SMQCC_0-4v_ProjectKB_00011] [SMQCC_0-4v_ProjectKB_00019] [SMQCC_0-4v_ProjectKB_00027] [SMQCC_0-4v_ProjectKB_00035] [SMQCC_0-4v_ProjectKB_00043] [SMQCC_0-4v_ProjectKB_00051] [SMQCC_0-4v_ProjectKB_00056] [SMQCC_0-4v_ProjectKB_00065])) ([ProjectKB_2782_00047] of Property_List (name "layout properties")) ([ProjectKB_2782_00050] of String (name "classes_file_name") (string_value "SMQCC_0-4v.pont")) ([ProjectKB_2782_00051] of String (name "instances_file_name") (string_value "SMQCC_0-4v.pins")) ([SAM156bX3_ProjectKB_Instance_10] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SAM156bX3_ProjectKB_Instance_11] of Widget (name "synonymousExternalConcept") (width 200) (is_hidden FALSE) (property_list [SAM156bX3_ProjectKB_Instance_12]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 2230)) ([SAM156bX3_ProjectKB_Instance_12] of Property_List (properties [SAM156bX3_ProjectKB_Instance_13] [SAM156bX3_ProjectKB_Instance_14] [SAM156bX3_ProjectKB_Instance_15] [SAM156bX3_ProjectKB_Instance_16] [SAM156bX3_ProjectKB_Instance_17] [SAM156bX3_ProjectKB_Instance_18])) ([SAM156bX3_ProjectKB_Instance_13] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_14] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SAM156bX3_ProjectKB_Instance_15] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_16] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_17] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_18] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SAM156bX3_ProjectKB_Instance_19] of Widget (name "subsumingExternalConcept") (width 200) (is_hidden FALSE) (property_list [SAM156bX3_ProjectKB_Instance_20]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 2170)) ([SAM156bX3_ProjectKB_Instance_20] of Property_List (properties [SAM156bX3_ProjectKB_Instance_21] [SAM156bX3_ProjectKB_Instance_22] [SAM156bX3_ProjectKB_Instance_23] [SAM156bX3_ProjectKB_Instance_24] [SAM156bX3_ProjectKB_Instance_25] [SAM156bX3_ProjectKB_Instance_26])) ([SAM156bX3_ProjectKB_Instance_21] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_22] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SAM156bX3_ProjectKB_Instance_23] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_24] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_25] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_26] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SAM156bX3_ProjectKB_Instance_3] of Widget (name "subsumedExternalConcept") (width 200) (is_hidden FALSE) (property_list [SAM156bX3_ProjectKB_Instance_4]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 2110)) ([SAM156bX3_ProjectKB_Instance_4] of Property_List (properties [SAM156bX3_ProjectKB_Instance_5] [SAM156bX3_ProjectKB_Instance_6] [SAM156bX3_ProjectKB_Instance_7] [SAM156bX3_ProjectKB_Instance_8] [SAM156bX3_ProjectKB_Instance_9] [SAM156bX3_ProjectKB_Instance_10])) ([SAM156bX3_ProjectKB_Instance_5] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_6] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SAM156bX3_ProjectKB_Instance_7] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_8] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SAM156bX3_ProjectKB_Instance_9] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([shell1_ProjectKB_00052] of Integer (integer_value 326) (name "ClsesTab.left_right")) ([shell1_ProjectKB_00053] of Integer (integer_value 620) (name "ClsesTab.left.top_bottom")) ([shell1_ProjectKB_00054] of Integer (integer_value 258) (name "SlotsTab.left_right")) ([shell1_ProjectKB_00055] of Integer (integer_value 620) (name "SlotTab.left.top_bottom")) ([shell1_ProjectKB_00056] of Integer (integer_value 250) (name "FormsTab.left_right")) ([shell1_ProjectKB_00057] of Integer (integer_value 262) (name "InstancesTab.left_right")) ([shell1_ProjectKB_00058] of Integer (integer_value 155) (name "InstancesTab.right.left_right")) ([SKIFcore2_ProjectKB_00103] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00203] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00204] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore2_ProjectKB_00205] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00206] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00207] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore3_ProjectKB_00296] of Widget (name ":synonymousTerm") (width 360) (is_hidden FALSE) (property_list [SKIFcore3_ProjectKB_00297]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore3_ProjectKB_00297] of Property_List) ([SKIFcore3_ProjectKB_00298] of Widget (name ":inLanguage") (width 340) (is_hidden FALSE) (property_list [SKIFcore3_ProjectKB_00299]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 120)) ([SKIFcore3_ProjectKB_00299] of Property_List (properties [SKIFcore3_ProjectKB_00300] [SKIFcore3_ProjectKB_00301] [SKIFcore3_ProjectKB_00302] [SKIFcore3_ProjectKB_00303] [SKIFcore3_ProjectKB_00304] [SKIFcore3_ProjectKB_00305])) ([SKIFcore3_ProjectKB_00300] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00301] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore3_ProjectKB_00302] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00303] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00304] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00305] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore3_ProjectKB_00306] of Widget (name ":hasUsage") (width 125) (is_hidden FALSE) (property_list [SKIFcore3_ProjectKB_00307]) (x 190) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 260)) ([SKIFcore3_ProjectKB_00307] of Property_List) ([SKIFcore3_ProjectKB_00308] of Widget (name ":hasFrequency") (width 125) (is_hidden FALSE) (property_list [SKIFcore3_ProjectKB_00309]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") (height 60) (y 250)) ([SKIFcore3_ProjectKB_00309] of Property_List) ([SKIFcore4_ProjectKB_00007] of Widget (name ":documentation") (width 360) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00008]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 240) (y 130)) ([SKIFcore4_ProjectKB_00008] of Property_List) ([SKIFcore4_ProjectKB_00009] of Widget (name ":KIFentity") (width 738) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00010]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 585) (y 0)) ([SKIFcore4_ProjectKB_00010] of Property_List (properties [SKIFcore4_ProjectKB_00033] [SKIFcore4_ProjectKB_00623] [SKIFcore_ProjectKB_Instance_10094])) ([SKIFcore4_ProjectKB_00029] of Widget (name ":List") (width 738) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00030]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 578) (y 0)) ([SKIFcore4_ProjectKB_00030] of Property_List (properties [SKIFcore4_ProjectKB_00047])) ([SKIFcore4_ProjectKB_00031] of Widget (name ":CodeList") (width 738) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00032]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 578) (y 0)) ([SKIFcore4_ProjectKB_00032] of Property_List (properties [SKIFcore4_ProjectKB_00037])) ([SKIFcore4_ProjectKB_00033] of Widget (name ":SUO-name") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00034]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 10)) ([SKIFcore4_ProjectKB_00034] of Property_List) ([SKIFcore4_ProjectKB_00037] of Widget (name ":SUO-name") (width 350) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00038]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore4_ProjectKB_00038] of Property_List) ([SKIFcore4_ProjectKB_00043] of Widget (name ":SUO-name") (width 340) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00044]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore4_ProjectKB_00044] of Property_List) ([SKIFcore4_ProjectKB_00045] of Widget (name ":SUO-name") (width 270) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00046]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 180)) ([SKIFcore4_ProjectKB_00046] of Property_List) ([SKIFcore4_ProjectKB_00047] of Widget (name ":SUO-name") (width 340) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00048]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore4_ProjectKB_00048] of Property_List) ([SKIFcore4_ProjectKB_00083] of Widget (name ":AbstractString") (width 738) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00084]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 578) (y 0)) ([SKIFcore4_ProjectKB_00084] of Property_List (properties [SKIFcore4_ProjectKB_00085] [SKIFcore4_ProjectKB_00087] [SKIFcore_ProjectKB_01407])) ([SKIFcore4_ProjectKB_00085] of Widget (name ":SUO-name") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00086]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 10)) ([SKIFcore4_ProjectKB_00086] of Property_List) ([SKIFcore4_ProjectKB_00087] of Widget (name ":documentation") (width 360) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00088]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 220) (y 70)) ([SKIFcore4_ProjectKB_00088] of Property_List) ([SKIFcore4_ProjectKB_00093] of Widget (name ":Proposition") (width 760) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00094]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 563) (y 0)) ([SKIFcore4_ProjectKB_00094] of Property_List (properties [SKIFcore4_ProjectKB_00095] [SKIFcore4_ProjectKB_00097] [SKIFcore4_ProjectKB_00101] [SKIFcore4_ProjectKB_00409] [SKIFcore4_ProjectKB_01510] [SKIFcore4_ProjectKB_01403])) ([SKIFcore4_ProjectKB_00095] of Widget (name ":SUO-name") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00096]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 420)) ([SKIFcore4_ProjectKB_00096] of Property_List) ([SKIFcore4_ProjectKB_00097] of Widget (name ":literalTranscription") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00098]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 220) (y 0)) ([SKIFcore4_ProjectKB_00098] of Property_List) ([SKIFcore4_ProjectKB_00101] of Widget (name ":isInModule") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00102]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 90) (y 240)) ([SKIFcore4_ProjectKB_00102] of Property_List (properties [SKIFcore4_ProjectKB_00104] [SKIFcore4_ProjectKB_00305] [SKIFcore4_ProjectKB_00405] [SKIFcore4_ProjectKB_00406] [SKIFcore4_ProjectKB_00407] [SKIFcore4_ProjectKB_00408])) ([SKIFcore4_ProjectKB_00103] of Widget (name ":SUO-name") (width 300) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00203]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore4_ProjectKB_00104] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00203] of Property_List) ([SKIFcore4_ProjectKB_00305] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00403] of Widget (name ":AXIOMS") (width 320) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00503]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 260) (y 0)) ([SKIFcore4_ProjectKB_00405] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00406] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00407] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00408] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00409] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00410]) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 330)) ([SKIFcore4_ProjectKB_00410] of Property_List) ([SKIFcore4_ProjectKB_00411] of Widget (name ":UnclassifiedProposition") (width 723) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00412]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 740) (y -162)) ([SKIFcore4_ProjectKB_00412] of Property_List (properties [SKIFcore4_ProjectKB_00413] [SKIFcore4_ProjectKB_00415] [SKIFcore4_ProjectKB_00419] [SKIFcore4_ProjectKB_00427] [SKIFcore4_ProjectKB_02011] [SKIFcore4_ProjectKB_02216] [SKIFcore4_ProjectKB_02218] [SKIFcore_ProjectKB_00303] [SKIFcore_ProjectKB_01010])) ([SKIFcore4_ProjectKB_00413] of Widget (name ":SUO-name") (width 340) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00414]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 420)) ([SKIFcore4_ProjectKB_00414] of Property_List) ([SKIFcore4_ProjectKB_00415] of Widget (name ":literalTranscription") (width 390) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00416]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 180) (y 0)) ([SKIFcore4_ProjectKB_00416] of Property_List) ([SKIFcore4_ProjectKB_00419] of Widget (name ":isInModule") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00420]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 90) (y 310)) ([SKIFcore4_ProjectKB_00420] of Property_List (properties [SKIFcore4_ProjectKB_00421] [SKIFcore4_ProjectKB_00422] [SKIFcore4_ProjectKB_00423] [SKIFcore4_ProjectKB_00424] [SKIFcore4_ProjectKB_00425] [SKIFcore4_ProjectKB_00426])) ([SKIFcore4_ProjectKB_00421] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00422] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00423] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00424] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00425] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00426] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00427] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00428]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 300)) ([SKIFcore4_ProjectKB_00428] of Property_List) ([SKIFcore4_ProjectKB_00429] of Widget (name ":Assertion") (width 738) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00430]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 578) (y 0)) ([SKIFcore4_ProjectKB_00430] of Property_List (properties [SKIFcore4_ProjectKB_00431] [SKIFcore4_ProjectKB_00433] [SKIFcore4_ProjectKB_01807] [SKIFcore_ProjectKB_00612])) ([SKIFcore4_ProjectKB_00431] of Widget (name ":SUO-name") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00432]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 310)) ([SKIFcore4_ProjectKB_00432] of Property_List) ([SKIFcore4_ProjectKB_00433] of Widget (name ":literalTranscription") (width 420) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00434]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 160) (y 0)) ([SKIFcore4_ProjectKB_00434] of Property_List) ([SKIFcore4_ProjectKB_00503] of Property_List) ([SKIFcore4_ProjectKB_00607] of Widget (name ":QuaternarySlot") (width 723) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00608]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 1060) (y 0)) ([SKIFcore4_ProjectKB_00608] of Property_List (properties [SKIFcore4_ProjectKB_00609] [SKIFcore4_ProjectKB_00610] [SKIFcore4_ProjectKB_00611] [SKIFcore4_ProjectKB_00612] [SKIFcore4_ProjectKB_01018] [SKIFcore4_ProjectKB_01220] [SKIFcore4_ProjectKB_01421] [SKIFcore4_ProjectKB_01526] [SKIFcore4_ProjectKB_01527] [SKIFcore4_ProjectKB_01528] [SKIFcore4_ProjectKB_01529] [SKIFcore4_ProjectKB_01530] [SKIFcore4_ProjectKB_01531] [SKIFcore4_ProjectKB_01532] [SKIFcore4_ProjectKB_01533] [SKIFcore4_ProjectKB_01546] [SKIFcore4_ProjectKB_01551] [SKIFcore4_ProjectKB_01559] [SKIFcore4_ProjectKB_01561] [SKIFcore4_ProjectKB_01563] [SKIFcore4_ProjectKB_01565] [SKIFcore4_ProjectKB_01573] [SKIFcore4_ProjectKB_01575] [SKIFcore4_ProjectKB_01577] [SKIFcore4_ProjectKB_01639] [SKIFcore4_ProjectKB_01641] [SKIFcore4_ProjectKB_01649] [SKIFcore_ProjectKB_00708] [SKIFcore_ProjectKB_01603] [SKIFcore_ProjectKB_02011] [SKIFcore_ProjectKB_02024] [SKIFcore_ProjectKB_Instance_40190] [SKIFcore_ProjectKB_Instance_40198] [SKIFcore_ProjectKB_Instance_40206] [SKIFcore_ProjectKB_Instance_40214] [SKIFcore_ProjectKB_Instance_40216] [SKIFcore_ProjectKB_Instance_40224] [SKIFcore_ProjectKB_Instance_60008]) (name "slow widget properties")) ([SKIFcore4_ProjectKB_00609] of Widget (name ":SLOT-MINIMUM-CARDINALITY") (width 200) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (label "Cardinality") (height 60) (y 170)) ([SKIFcore4_ProjectKB_00610] of Widget (name ":SLOT-MAXIMUM-CARDINALITY") (width 200) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (height 35) (y 230)) ([SKIFcore4_ProjectKB_00611] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore4_ProjectKB_00612] of Widget (name ":SLOT-VALUES") (width 260) (property_list [SKIFcore4_ProjectKB_00613]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (label "Values") (height 120) (y 1300)) ([SKIFcore4_ProjectKB_00613] of Property_List (properties [SKIFcore4_ProjectKB_00715] [SKIFcore4_ProjectKB_00916] [SKIFcore4_ProjectKB_01016] [SKIFcore4_ProjectKB_01017])) ([SKIFcore4_ProjectKB_00614] of Widget (name ":documentation") (width 320) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00615]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 290) (y 60)) ([SKIFcore4_ProjectKB_00615] of Property_List) ([SKIFcore4_ProjectKB_00623] of Widget (name ":documentation") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00624]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 240) (y 70)) ([SKIFcore4_ProjectKB_00624] of Property_List) ([SKIFcore4_ProjectKB_00702] of Widget (name ":SKIFdocs") (width 723) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00804]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 660) (y 0)) ([SKIFcore4_ProjectKB_00710] of Widget (name "relatedInternalConcept") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00712]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 120) (y 930)) ([SKIFcore4_ProjectKB_00712] of Property_List (properties [SKIFcore4_ProjectKB_00812] [SKIFcore4_ProjectKB_00813] [SKIFcore4_ProjectKB_00814])) ([SKIFcore4_ProjectKB_00715] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00804] of Property_List (properties [SKIFcore4_ProjectKB_01005] [SKIFcore4_ProjectKB_01407] [SKIFcore4_ProjectKB_01508] [SKIFcore4_ProjectKB_01711] [SKIFcore4_ProjectKB_01916])) ([SKIFcore4_ProjectKB_00812] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00813] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00814] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00818] of Widget (name "disjointRelation") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00819]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 1320)) ([SKIFcore4_ProjectKB_00819] of Property_List (properties [SKIFcore4_ProjectKB_00880] [SKIFcore4_ProjectKB_00881] [SKIFcore4_ProjectKB_00882] [SKIFcore4_ProjectKB_00883] [SKIFcore4_ProjectKB_00884] [SKIFcore4_ProjectKB_00885])) ([SKIFcore4_ProjectKB_00823] of Widget (name ":VariableAritySlot") (width 750) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00824]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 990) (y 0)) ([SKIFcore4_ProjectKB_00824] of Property_List (properties [SKIFcore4_ProjectKB_00825] [SKIFcore4_ProjectKB_00826] [SKIFcore4_ProjectKB_00827] [SKIFcore4_ProjectKB_00828] [SKIFcore4_ProjectKB_00829] [SKIFcore4_ProjectKB_00835] [SKIFcore4_ProjectKB_00836] [SKIFcore4_ProjectKB_00837] [SKIFcore4_ProjectKB_00843] [SKIFcore4_ProjectKB_00844] [SKIFcore4_ProjectKB_00845] [SKIFcore4_ProjectKB_00846] [SKIFcore4_ProjectKB_00847] [SKIFcore4_ProjectKB_00848] [SKIFcore4_ProjectKB_00849] [SKIFcore4_ProjectKB_00850] [SKIFcore4_ProjectKB_00851] [SKIFcore4_ProjectKB_00853] [SKIFcore4_ProjectKB_00855] [SKIFcore4_ProjectKB_00863] [SKIFcore4_ProjectKB_00865] [SKIFcore4_ProjectKB_00886] [SKIFcore4_ProjectKB_01817] [SKIFcore_ProjectKB_00002] [SKIFcore_ProjectKB_01303] [SKIFcore_ProjectKB_01815] [SKIFcore_ProjectKB_02322] [SKIFcore_ProjectKB_Instance_40003] [SKIFcore_ProjectKB_Instance_50011] [SKIFcore_ProjectKB_Instance_50019] [SKIFcore_ProjectKB_Instance_50021] [SKIFcore_ProjectKB_Instance_70173]) (name "slot widget properties")) ([SKIFcore4_ProjectKB_00825] of Widget (name ":SLOT-MINIMUM-CARDINALITY") (width 200) (x 230) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (label "Cardinality") (height 60) (y 220)) ([SKIFcore4_ProjectKB_00826] of Widget (name ":SLOT-MAXIMUM-CARDINALITY") (width 200) (x 230) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (height 35) (y 280)) ([SKIFcore4_ProjectKB_00827] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore4_ProjectKB_00828] of Widget (name ":DIRECT-TYPE")) ([SKIFcore4_ProjectKB_00829] of Widget (name ":SLOT-VALUES") (width 250) (property_list [SKIFcore4_ProjectKB_00830]) (x 290) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (label "Template Values") (height 120) (y 880)) ([SKIFcore4_ProjectKB_00830] of Property_List (properties [SKIFcore4_ProjectKB_00831] [SKIFcore4_ProjectKB_00832] [SKIFcore4_ProjectKB_00833] [SKIFcore4_ProjectKB_00834])) ([SKIFcore4_ProjectKB_00831] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00832] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00833] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00834] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00835] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore4_ProjectKB_00836] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore4_ProjectKB_00837] of Widget (name ":SLOT-DEFAULTS") (width 260) (property_list [SKIFcore4_ProjectKB_00838]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (label "Default") (height 110) (y 1150)) ([SKIFcore4_ProjectKB_00838] of Property_List (properties [SKIFcore4_ProjectKB_00839] [SKIFcore4_ProjectKB_00840] [SKIFcore4_ProjectKB_00841] [SKIFcore4_ProjectKB_00842])) ([SKIFcore4_ProjectKB_00839] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00840] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00841] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00842] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00843] of Widget (name ":DOCUMENTATION") (width 250) (x 240) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (label "Documentation") (height 220) (y 0)) ([SKIFcore4_ProjectKB_00844] of Widget (name ":SLOT-NUMERIC-MAXIMUM") (width 80) (x 100) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (label "Maximum") (height 60) (y 240)) ([SKIFcore4_ProjectKB_00845] of Widget (name ":SLOT-NUMERIC-MINIMUM") (width 90) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (label "Minimum") (height 60) (y 240)) ([SKIFcore4_ProjectKB_00846] of Widget (name ":ASSOCIATED-FACET")) ([SKIFcore4_ProjectKB_00847] of Widget (name ":NAME") (width 260) (x 590) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (label "Name") (height 60) (y 590)) ([SKIFcore4_ProjectKB_00848] of Widget (name ":SLOT-INVERSE") (width 250) (x 220) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (label "Inverse Slot") (height 60) (y 310)) ([SKIFcore4_ProjectKB_00849] of Widget (name ":SLOT-VALUE-TYPE") (width 200) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (label "Value Type") (height 170) (y 60)) ([SKIFcore4_ProjectKB_00850] of Property_List (name "layout properties")) ([SKIFcore4_ProjectKB_00851] of Widget (name ":AXIOMS") (width 340) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00852]) (x 490) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 350) (y 0)) ([SKIFcore4_ProjectKB_00852] of Property_List) ([SKIFcore4_ProjectKB_00853] of Widget (name ":Domain1Type") (width 125) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00854]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 300)) ([SKIFcore4_ProjectKB_00854] of Property_List) ([SKIFcore4_ProjectKB_00855] of Widget (name ":isInModule") (width 240) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00856]) (x 610) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 100) (y 390)) ([SKIFcore4_ProjectKB_00856] of Property_List (properties [SKIFcore4_ProjectKB_00857] [SKIFcore4_ProjectKB_00858] [SKIFcore4_ProjectKB_00859] [SKIFcore4_ProjectKB_00860] [SKIFcore4_ProjectKB_00861] [SKIFcore4_ProjectKB_00862])) ([SKIFcore4_ProjectKB_00857] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00858] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00859] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00860] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00861] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00862] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00863] of Widget (name ":LOAD-SEQUENCE") (width 150) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00864]) (x 620) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 500)) ([SKIFcore4_ProjectKB_00864] of Property_List) ([SKIFcore4_ProjectKB_00865] of Widget (name ":SUO-name") (width 240) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00866]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore4_ProjectKB_00866] of Property_List) ([SKIFcore4_ProjectKB_00880] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00881] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00882] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00883] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00884] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00885] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00886] of Widget (name "disjointRelation") (width 260) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00887]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 130) (y 880)) ([SKIFcore4_ProjectKB_00887] of Property_List (properties [SKIFcore4_ProjectKB_00888] [SKIFcore4_ProjectKB_00889] [SKIFcore4_ProjectKB_00890] [SKIFcore4_ProjectKB_00891] [SKIFcore4_ProjectKB_00892] [SKIFcore4_ProjectKB_00893])) ([SKIFcore4_ProjectKB_00888] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00889] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00890] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00891] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00892] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00893] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00908] of Widget (name "disjointRelation") (width 270) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_00909]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 100) (y 930)) ([SKIFcore4_ProjectKB_00909] of Property_List (properties [SKIFcore4_ProjectKB_00910] [SKIFcore4_ProjectKB_00911] [SKIFcore4_ProjectKB_00912] [SKIFcore4_ProjectKB_00913] [SKIFcore4_ProjectKB_00914] [SKIFcore4_ProjectKB_00915])) ([SKIFcore4_ProjectKB_00910] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00911] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00912] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00913] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00914] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00915] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00916] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01005] of Widget (name ":SUO-name") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01206]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 520)) ([SKIFcore4_ProjectKB_01016] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01017] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01018] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore4_ProjectKB_01116] of Widget (name ":StartingBlock") (width 125) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01117]) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 60)) ([SKIFcore4_ProjectKB_01117] of Property_List) ([SKIFcore4_ProjectKB_01206] of Property_List) ([SKIFcore4_ProjectKB_01220] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore4_ProjectKB_01403] of Widget (name ":argumentList") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01503]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 160) (y 240)) ([SKIFcore4_ProjectKB_01407] of Widget (name ":documentation") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01507]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 80) (y 580)) ([SKIFcore4_ProjectKB_01421] of Widget (name ":SLOT-DEFAULTS") (width 240) (property_list [SKIFcore4_ProjectKB_01521]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (label "Default") (height 110) (y 820)) ([SKIFcore4_ProjectKB_01503] of Property_List (properties [SKIFcore4_ProjectKB_01504] [SKIFcore4_ProjectKB_01706] [SKIFcore4_ProjectKB_01806])) ([SKIFcore4_ProjectKB_01504] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01507] of Property_List) ([SKIFcore4_ProjectKB_01508] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01509]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 430)) ([SKIFcore4_ProjectKB_01509] of Property_List) ([SKIFcore4_ProjectKB_01510] of Widget (name ":documentation") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01511]) (x 390) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 220) (y 10)) ([SKIFcore4_ProjectKB_01511] of Property_List) ([SKIFcore4_ProjectKB_01521] of Property_List (properties [SKIFcore4_ProjectKB_01522] [SKIFcore4_ProjectKB_01523] [SKIFcore4_ProjectKB_01524] [SKIFcore4_ProjectKB_01525])) ([SKIFcore4_ProjectKB_01522] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01523] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01524] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01525] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01526] of Widget (name ":DOCUMENTATION") (width 250) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (label "Documentation") (height 170) (y 0)) ([SKIFcore4_ProjectKB_01527] of Widget (name ":SLOT-NUMERIC-MAXIMUM") (width 100) (x 100) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (label "Maximum") (height 60) (y 220)) ([SKIFcore4_ProjectKB_01528] of Widget (name ":SLOT-NUMERIC-MINIMUM") (width 100) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (label "Minimum") (height 60) (y 220)) ([SKIFcore4_ProjectKB_01529] of Widget (name ":NAME") (width 270) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (label "Name") (height 60) (y 630)) ([SKIFcore4_ProjectKB_01530] of Widget (name ":SLOT-INVERSE") (width 240) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (label "Inverse Slot") (height 60) (y 260)) ([SKIFcore4_ProjectKB_01531] of Widget (name ":SLOT-VALUE-TYPE") (width 200) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (label "Value Type") (height 150) (y 60)) ([SKIFcore4_ProjectKB_01532] of Property_List (name "layout properties")) ([SKIFcore4_ProjectKB_01533] of Widget (name ":ASSOCIATED-FACET") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01534]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 1580)) ([SKIFcore4_ProjectKB_01534] of Property_List (properties [SKIFcore4_ProjectKB_01535] [SKIFcore4_ProjectKB_01536] [SKIFcore4_ProjectKB_01537] [SKIFcore4_ProjectKB_01538] [SKIFcore4_ProjectKB_01539] [SKIFcore4_ProjectKB_01540])) ([SKIFcore4_ProjectKB_01535] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01536] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01537] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01538] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01539] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01540] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01546] of Widget (name ":Domain2Class") (width 300) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01547]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (height 60) (y 480)) ([SKIFcore4_ProjectKB_01547] of Property_List (properties [SKIFcore4_ProjectKB_01548] [SKIFcore4_ProjectKB_01549] [SKIFcore4_ProjectKB_01550])) ([SKIFcore4_ProjectKB_01548] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01549] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01550] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01551] of Widget (name ":Domain2Value") (width 280) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01552]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 550)) ([SKIFcore4_ProjectKB_01552] of Property_List (properties [SKIFcore4_ProjectKB_01553] [SKIFcore4_ProjectKB_01554] [SKIFcore4_ProjectKB_01555] [SKIFcore4_ProjectKB_01556] [SKIFcore4_ProjectKB_01557] [SKIFcore4_ProjectKB_01558])) ([SKIFcore4_ProjectKB_01553] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01554] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01555] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01556] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01557] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01558] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01559] of Widget (name ":AXIOMS") (width 290) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01560]) (x 460) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 310) (y 0)) ([SKIFcore4_ProjectKB_01560] of Property_List) ([SKIFcore4_ProjectKB_01561] of Widget (name ":Domain2Type") (width 180) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01562]) (x 260) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 420)) ([SKIFcore4_ProjectKB_01562] of Property_List) ([SKIFcore4_ProjectKB_01563] of Widget (name ":Domain1Type") (width 160) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01564]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 440)) ([SKIFcore4_ProjectKB_01564] of Property_List) ([SKIFcore4_ProjectKB_01565] of Widget (name ":isInModule") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01566]) (x 240) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 100) (y 320)) ([SKIFcore4_ProjectKB_01566] of Property_List (properties [SKIFcore4_ProjectKB_01567] [SKIFcore4_ProjectKB_01568] [SKIFcore4_ProjectKB_01569] [SKIFcore4_ProjectKB_01570] [SKIFcore4_ProjectKB_01571] [SKIFcore4_ProjectKB_01572])) ([SKIFcore4_ProjectKB_01567] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01568] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01569] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01570] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01571] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01572] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01573] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01574]) (x 500) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 350)) ([SKIFcore4_ProjectKB_01574] of Property_List) ([SKIFcore4_ProjectKB_01575] of Widget (name ":SUO-name") (width 210) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01576]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore4_ProjectKB_01576] of Property_List) ([SKIFcore4_ProjectKB_01577] of Widget (name "disjointRelation") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01578]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 1440)) ([SKIFcore4_ProjectKB_01578] of Property_List (properties [SKIFcore4_ProjectKB_01579] [SKIFcore4_ProjectKB_01580] [SKIFcore4_ProjectKB_01581] [SKIFcore4_ProjectKB_01582] [SKIFcore4_ProjectKB_01583] [SKIFcore4_ProjectKB_01584])) ([SKIFcore4_ProjectKB_01579] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01580] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01581] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01582] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01583] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01584] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01639] of Widget (name ":Domain3Type") (width 180) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01640]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 620)) ([SKIFcore4_ProjectKB_01640] of Property_List) ([SKIFcore4_ProjectKB_01641] of Widget (name ":Domain3Value") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01642]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 750)) ([SKIFcore4_ProjectKB_01642] of Property_List (properties [SKIFcore4_ProjectKB_01643] [SKIFcore4_ProjectKB_01644] [SKIFcore4_ProjectKB_01645] [SKIFcore4_ProjectKB_01646] [SKIFcore4_ProjectKB_01647] [SKIFcore4_ProjectKB_01648])) ([SKIFcore4_ProjectKB_01643] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01644] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01645] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01646] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01647] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01648] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01649] of Widget (name ":Domain3Class") (width 270) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01650]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (height 60) (y 690)) ([SKIFcore4_ProjectKB_01650] of Property_List (properties [SKIFcore4_ProjectKB_01651] [SKIFcore4_ProjectKB_01652] [SKIFcore4_ProjectKB_01653])) ([SKIFcore4_ProjectKB_01651] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01652] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01653] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01706] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01711] of Widget (name ":commentLines") (width 610) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01811]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 410) (y 10)) ([SKIFcore4_ProjectKB_01806] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01807] of Widget (name ":documentation") (width 410) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01909]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 160) (y 380)) ([SKIFcore4_ProjectKB_01811] of Property_List (properties [SKIFcore4_ProjectKB_01812] [SKIFcore4_ProjectKB_01813] [SKIFcore4_ProjectKB_01814])) ([SKIFcore4_ProjectKB_01812] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01813] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01814] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01817] of Widget (name ":SYNONYMS") (width 700) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01818]) (x 0) (widget_class_name "edu.stanford.smi.protegex.widget.instancetable.InstanceTableWidget") (label ":SYNONYMS") (height 180) (y 690)) ([SKIFcore4_ProjectKB_01818] of Property_List (properties [SKIFcore_ProjectKB_Instance_70224] [SKIFcore_ProjectKB_Instance_70225] [SKIFcore_ProjectKB_Instance_70226] [SKIFcore_ProjectKB_Instance_70228] [SKIFcore_ProjectKB_Instance_70229] [SKIFcore_ProjectKB_Instance_70230] [SKIFcore_ProjectKB_Instance_70232] [SKIFcore_ProjectKB_Instance_70233] [SKIFcore_ProjectKB_Instance_70234] [SKIFcore_ProjectKB_Instance_70236] [SKIFcore_ProjectKB_Instance_70237] [SKIFcore_ProjectKB_Instance_70238] [SKIFcore_ProjectKB_Instance_70240] [SKIFcore_ProjectKB_Instance_70245] [SKIFcore_ProjectKB_Instance_70246] [SKIFcore_ProjectKB_Instance_70247] [SKIFcore_ProjectKB_Instance_70248] [SKIFcore_ProjectKB_Instance_70249] [SKIFcore_ProjectKB_Instance_70250] [SKIFcore_ProjectKB_Instance_70251] [SKIFcore_ProjectKB_Instance_70252] [SKIFcore_ProjectKB_Instance_70253] [SKIFcore_ProjectKB_Instance_70254] [SKIFcore_ProjectKB_Instance_70255] [SKIFcore_ProjectKB_Instance_70256] [SKIFcore_ProjectKB_Instance_70257] [SKIFcore_ProjectKB_Instance_70258] [SKIFcore_ProjectKB_Instance_70259] [SKIFcore_ProjectKB_Instance_70260] [SKIFcore_ProjectKB_Instance_70261] [SKIFcore_ProjectKB_Instance_70262] [SKIFcore_ProjectKB_Instance_70263] [SKIFcore_ProjectKB_Instance_70264] [SKIFcore_ProjectKB_Instance_70265] [SKIFcore_ProjectKB_Instance_70266] [SKIFcore_ProjectKB_Instance_70267] [SKIFcore_ProjectKB_Instance_70268] [SKIFcore_ProjectKB_Instance_70269] [SKIFcore_ProjectKB_Instance_70288] [SKIFcore_ProjectKB_Instance_70293] [SKIFcore_ProjectKB_Instance_70294] [SKIFcore_ProjectKB_Instance_70295] [SKIFcore_ProjectKB_Instance_70296])) ([SKIFcore4_ProjectKB_01825] of Widget (name ":documentation") (width 340) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01826]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 180) (y 310)) ([SKIFcore4_ProjectKB_01826] of Property_List) ([SKIFcore4_ProjectKB_01832] of Widget (name ":SYNONYMS") (width 250) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_01833]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 730)) ([SKIFcore4_ProjectKB_01833] of Property_List (properties [SKIFcore4_ProjectKB_01834] [SKIFcore4_ProjectKB_01835] [SKIFcore4_ProjectKB_01836] [SKIFcore4_ProjectKB_01837] [SKIFcore4_ProjectKB_01838] [SKIFcore4_ProjectKB_01839])) ([SKIFcore4_ProjectKB_01834] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01835] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01836] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01837] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01838] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01839] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01909] of Property_List) ([SKIFcore4_ProjectKB_01916] of Widget (name ":isInModule") (width 290) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02016]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 90) (y 430)) ([SKIFcore4_ProjectKB_02009] of Widget (name ":inputFile") (width 260) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02010]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 60)) ([SKIFcore4_ProjectKB_02010] of Property_List) ([SKIFcore4_ProjectKB_02011] of Widget (name ":argumentList") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02113]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 120) (y 180)) ([SKIFcore4_ProjectKB_02016] of Property_List (properties [SKIFcore4_ProjectKB_02017] [SKIFcore4_ProjectKB_02018] [SKIFcore4_ProjectKB_02120] [SKIFcore4_ProjectKB_02220] [SKIFcore4_ProjectKB_02221] [SKIFcore4_ProjectKB_02222])) ([SKIFcore4_ProjectKB_02017] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02018] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02113] of Property_List (properties [SKIFcore4_ProjectKB_02213] [SKIFcore4_ProjectKB_02214] [SKIFcore4_ProjectKB_02215])) ([SKIFcore4_ProjectKB_02120] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_02213] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02214] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02215] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02216] of Widget (name ":blockLineNumber") (width 125) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02217]) (x 260) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 360)) ([SKIFcore4_ProjectKB_02217] of Property_List) ([SKIFcore4_ProjectKB_02218] of Widget (name ":documentation") (width 370) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02219]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 120) (y 620)) ([SKIFcore4_ProjectKB_02219] of Property_List) ([SKIFcore4_ProjectKB_02220] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02221] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02222] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_02712] of Widget (name ":identicalTo") (width 330) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02713]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 140) (y 770)) ([SKIFcore4_ProjectKB_02713] of Property_List (properties [SKIFcore4_ProjectKB_02716] [SKIFcore4_ProjectKB_02717] [SKIFcore4_ProjectKB_02718])) ([SKIFcore4_ProjectKB_02716] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02717] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02718] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02727] of Widget (name ":identicalTo") (width 300) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02728]) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 140) (y 430)) ([SKIFcore4_ProjectKB_02728] of Property_List (properties [SKIFcore4_ProjectKB_02729] [SKIFcore4_ProjectKB_02730] [SKIFcore4_ProjectKB_02731])) ([SKIFcore4_ProjectKB_02729] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02730] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02731] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02732] of Widget (name ":identicalTo") (width 310) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02733]) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 140) (y 530)) ([SKIFcore4_ProjectKB_02733] of Property_List (properties [SKIFcore4_ProjectKB_02734] [SKIFcore4_ProjectKB_02735] [SKIFcore4_ProjectKB_02736])) ([SKIFcore4_ProjectKB_02734] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02735] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02736] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02737] of Widget (name ":identicalTo") (width 300) (is_hidden FALSE) (property_list [SKIFcore4_ProjectKB_02738]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 140) (y 480)) ([SKIFcore4_ProjectKB_02738] of Property_List (properties [SKIFcore4_ProjectKB_02739] [SKIFcore4_ProjectKB_02740] [SKIFcore4_ProjectKB_02741])) ([SKIFcore4_ProjectKB_02739] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02740] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02741] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00002] of Widget (name ":identicalTo") (width 300) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00003]) (x 290) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 150) (y 380)) ([SKIFcore_ProjectKB_00003] of Property_List (properties [SKIFcore_ProjectKB_00004] [SKIFcore_ProjectKB_00005] [SKIFcore_ProjectKB_00107])) ([SKIFcore_ProjectKB_00004] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00005] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00006] of Widget (name ":SUO-name") (width 210) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00007]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore_ProjectKB_00007] of Property_List) ([SKIFcore_ProjectKB_00103] of Widget (name ":isInModule") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00203]) (x 330) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 90) (y 260)) ([SKIFcore_ProjectKB_00107] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00202] of Widget (name ":KIF-CLASS") (width 738) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00304]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 578) (y 0)) ([SKIFcore_ProjectKB_00203] of Property_List (properties [SKIFcore_ProjectKB_00204] [SKIFcore_ProjectKB_00205] [SKIFcore_ProjectKB_00206] [SKIFcore_ProjectKB_00207] [SKIFcore_ProjectKB_00208] [SKIFcore_ProjectKB_00209])) ([SKIFcore_ProjectKB_00204] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00205] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00206] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00207] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00208] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00209] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00210] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00211]) (x 590) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 280)) ([SKIFcore_ProjectKB_00211] of Property_List) ([SKIFcore_ProjectKB_00227] of Widget (name ":identicalTo") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00228]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 120) (y 1260)) ([SKIFcore_ProjectKB_00228] of Property_List (properties [SKIFcore_ProjectKB_00229] [SKIFcore_ProjectKB_00230] [SKIFcore_ProjectKB_00231])) ([SKIFcore_ProjectKB_00229] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00230] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00231] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00303] of Widget (name ":uncInstList") (width 270) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00403]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 490)) ([SKIFcore_ProjectKB_00304] of Property_List (properties [SKIFcore_ProjectKB_00404] [SKIFcore_ProjectKB_00913] [SKIFcore_ProjectKB_01013] [SKIFcore_ProjectKB_01115] [SKIFcore_ProjectKB_01215] [SKIFcore_ProjectKB_01216] [SKIFcore_ProjectKB_01217] [SKIFcore_ProjectKB_01218] [SKIFcore_ProjectKB_01219] [SKIFcore_ProjectKB_01229] [SKIFcore_ProjectKB_01231] [SKIFcore_ProjectKB_01239]) (name "class widget properties")) ([SKIFcore_ProjectKB_00403] of Property_List (properties [SKIFcore_ProjectKB_00505] [SKIFcore_ProjectKB_00706] [SKIFcore_ProjectKB_00806] [SKIFcore_ProjectKB_00807] [SKIFcore_ProjectKB_00909] [SKIFcore_ProjectKB_01009])) ([SKIFcore_ProjectKB_00404] of Widget (name ":SLOT-CONSTRAINTS") (width 190) (property_list [SKIFcore_ProjectKB_00405]) (x 490) (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget") (label "Constraints") (height 120) (y 10)) ([SKIFcore_ProjectKB_00405] of Property_List (properties [SKIFcore_ProjectKB_00507] [SKIFcore_ProjectKB_00607] [SKIFcore_ProjectKB_00608] [SKIFcore_ProjectKB_00609] [SKIFcore_ProjectKB_00610] [SKIFcore_ProjectKB_00712])) ([SKIFcore_ProjectKB_00406] of Widget (name ":isRestrictedTo") (width 360) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00407]) (x 290) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 150) (y 990)) ([SKIFcore_ProjectKB_00407] of Property_List (properties [SKIFcore_ProjectKB_01004] [SKIFcore_ProjectKB_01005] [SKIFcore_ProjectKB_01006])) ([SKIFcore_ProjectKB_00408] of Widget (name ":isRestrictedTo") (width 260) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00409]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 810)) ([SKIFcore_ProjectKB_00409] of Property_List (properties [SKIFcore_ProjectKB_01007] [SKIFcore_ProjectKB_01008] [SKIFcore_ProjectKB_01110])) ([SKIFcore_ProjectKB_00503] of Widget (name ":ClassPredicates") (width 350) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00603]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 270) (y 1140)) ([SKIFcore_ProjectKB_00505] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00507] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00517] of Widget (name "InheritableRelation") (width 738) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00518]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 578) (y 0)) ([SKIFcore_ProjectKB_00518] of Property_List (properties [SKIFcore_ProjectKB_00519] [SKIFcore_ProjectKB_00521] [SKIFcore_ProjectKB_00618] [SKIFcore_ProjectKB_00725])) ([SKIFcore_ProjectKB_00519] of Widget (name ":documentation") (width 360) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00520]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 150) (y 180)) ([SKIFcore_ProjectKB_00520] of Property_List) ([SKIFcore_ProjectKB_00521] of Widget (name ":identicalTo") (width 370) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00522]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 150) (y 10)) ([SKIFcore_ProjectKB_00522] of Property_List (properties [SKIFcore_ProjectKB_00523] [SKIFcore_ProjectKB_00524] [SKIFcore_ProjectKB_00525])) ([SKIFcore_ProjectKB_00523] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00524] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00525] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00603] of Property_List (properties [SKIFcore_ProjectKB_00604] [SKIFcore_ProjectKB_00605] [SKIFcore_ProjectKB_00606])) ([SKIFcore_ProjectKB_00604] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00605] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00606] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00607] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00608] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00609] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00610] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00611] of Widget (name ":hasDefaultValue") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00713]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 1240)) ([SKIFcore_ProjectKB_00612] of Widget (name ":argumentList") (width 330) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00613]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 140) (y 160)) ([SKIFcore_ProjectKB_00613] of Property_List (properties [SKIFcore_ProjectKB_00614] [SKIFcore_ProjectKB_00615] [SKIFcore_ProjectKB_00616])) ([SKIFcore_ProjectKB_00614] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00615] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00616] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00618] of Widget (name ":isInModule") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00718]) (x 140) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 330)) ([SKIFcore_ProjectKB_00703] of Widget (name ":InstanceAssertions") (width 430) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00803]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 350)) ([SKIFcore_ProjectKB_00706] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00708] of Widget (name ":identicalTo") (width 290) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00808]) (x 290) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 120) (y 700)) ([SKIFcore_ProjectKB_00712] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00713] of Property_List (properties [SKIFcore_ProjectKB_00914] [SKIFcore_ProjectKB_01014] [SKIFcore_ProjectKB_01015] [SKIFcore_ProjectKB_01016] [SKIFcore_ProjectKB_01017] [SKIFcore_ProjectKB_01018])) ([SKIFcore_ProjectKB_00718] of Property_List (properties [SKIFcore_ProjectKB_00719] [SKIFcore_ProjectKB_00720] [SKIFcore_ProjectKB_00721] [SKIFcore_ProjectKB_00722] [SKIFcore_ProjectKB_00723] [SKIFcore_ProjectKB_00724])) ([SKIFcore_ProjectKB_00719] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00720] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00721] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00722] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00723] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00724] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00725] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_00726]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 340)) ([SKIFcore_ProjectKB_00726] of Property_List) ([SKIFcore_ProjectKB_00803] of Property_List (properties [SKIFcore_ProjectKB_00810] [SKIFcore_ProjectKB_00811] [SKIFcore_ProjectKB_00812] [SKIFcore_ProjectKB_00813] [SKIFcore_ProjectKB_00814] [SKIFcore_ProjectKB_00815])) ([SKIFcore_ProjectKB_00806] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00807] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00808] of Property_List (properties [SKIFcore_ProjectKB_00809] [SKIFcore_ProjectKB_00911] [SKIFcore_ProjectKB_01011])) ([SKIFcore_ProjectKB_00809] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00810] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00811] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00812] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00813] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00814] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00815] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00903] of Widget (name ":isaSynonymOf") (width 270) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01003]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 60)) ([SKIFcore_ProjectKB_00909] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00911] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00913] of Widget (name ":DIRECT-INSTANCES")) ([SKIFcore_ProjectKB_00914] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01003] of Property_List (properties [SKIFcore_ProjectKB_01790] [SKIFcore_ProjectKB_01791] [SKIFcore_ProjectKB_01792] [SKIFcore_ProjectKB_01793] [SKIFcore_ProjectKB_01794] [SKIFcore_ProjectKB_01795])) ([SKIFcore_ProjectKB_01004] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01005] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01006] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01007] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01008] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01009] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01010] of Property_List (name "layout properties")) ([SKIFcore_ProjectKB_01011] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01013] of Widget (name ":DIRECT-SUBCLASSES")) ([SKIFcore_ProjectKB_01014] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01015] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01016] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01017] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01018] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01049] of Widget (name ":hasRestrictedVal") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01050]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 1300)) ([SKIFcore_ProjectKB_01050] of Property_List (properties [SKIFcore_ProjectKB_01275] [SKIFcore_ProjectKB_01276] [SKIFcore_ProjectKB_01277])) ([SKIFcore_ProjectKB_01051] of Widget (name ":hasClassValue") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01052]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 1180)) ([SKIFcore_ProjectKB_01052] of Property_List (properties [SKIFcore_ProjectKB_01068] [SKIFcore_ProjectKB_01069] [SKIFcore_ProjectKB_01070] [SKIFcore_ProjectKB_01071] [SKIFcore_ProjectKB_01072] [SKIFcore_ProjectKB_01073])) ([SKIFcore_ProjectKB_01068] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01069] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01070] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01071] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01072] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01073] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01103] of Widget (name ":SYNONYMS") (width 630) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01203]) (x 0) (widget_class_name "edu.stanford.smi.protegex.widget.instancetable.InstanceTableWidget") (label ":SYNONYMS") (height 150) (y 1040)) ([SKIFcore_ProjectKB_01105] of Widget (name ":relationAllExists") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01205]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 920)) ([SKIFcore_ProjectKB_01110] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01115] of Widget (name ":DIRECT-SUPERCLASSES")) ([SKIFcore_ProjectKB_01203] of Property_List (properties [SKIFcore_ProjectKB_Instance_30004] [SKIFcore_ProjectKB_Instance_30005] [SKIFcore_ProjectKB_Instance_30006] [SKIFcore_ProjectKB_Instance_30008] [SKIFcore_ProjectKB_Instance_30009] [SKIFcore_ProjectKB_Instance_30010] [SKIFcore_ProjectKB_Instance_30012] [SKIFcore_ProjectKB_Instance_30013] [SKIFcore_ProjectKB_Instance_30014] [SKIFcore_ProjectKB_Instance_30016] [SKIFcore_ProjectKB_Instance_30017] [SKIFcore_ProjectKB_Instance_30018] [SKIFcore_ProjectKB_Instance_30020] [SKIFcore_ProjectKB_Instance_30025] [SKIFcore_ProjectKB_Instance_30026] [SKIFcore_ProjectKB_Instance_30027] [SKIFcore_ProjectKB_Instance_30028] [SKIFcore_ProjectKB_Instance_30029] [SKIFcore_ProjectKB_Instance_30030] [SKIFcore_ProjectKB_Instance_30031] [SKIFcore_ProjectKB_Instance_30032] [SKIFcore_ProjectKB_Instance_30033] [SKIFcore_ProjectKB_Instance_30034] [SKIFcore_ProjectKB_Instance_30035] [SKIFcore_ProjectKB_Instance_30036] [SKIFcore_ProjectKB_Instance_30037] [SKIFcore_ProjectKB_Instance_30038] [SKIFcore_ProjectKB_Instance_30039] [SKIFcore_ProjectKB_Instance_30040] [SKIFcore_ProjectKB_Instance_30041] [SKIFcore_ProjectKB_Instance_30042] [SKIFcore_ProjectKB_Instance_30043] [SKIFcore_ProjectKB_Instance_30044] [SKIFcore_ProjectKB_Instance_30045] [SKIFcore_ProjectKB_Instance_30046] [SKIFcore_ProjectKB_Instance_30047] [SKIFcore_ProjectKB_Instance_30048] [SKIFcore_ProjectKB_Instance_30049] [SKIFcore_ProjectKB_Instance_40080] [SKIFcore_ProjectKB_Instance_40081] [SKIFcore_ProjectKB_Instance_40082] [SKIFcore_ProjectKB_Instance_40107] [SKIFcore_ProjectKB_Instance_40112] [SKIFcore_ProjectKB_Instance_40113] [SKIFcore_ProjectKB_Instance_40114] [SKIFcore_ProjectKB_Instance_40115])) ([SKIFcore_ProjectKB_01205] of Property_List (properties [SKIFcore_ProjectKB_01214] [SKIFcore_ProjectKB_01316] [SKIFcore_ProjectKB_01416])) ([SKIFcore_ProjectKB_01206] of Widget (name ":relationAllExists") (width 320) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01207]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 1210)) ([SKIFcore_ProjectKB_01207] of Property_List (properties [SKIFcore_ProjectKB_01417] [SKIFcore_ProjectKB_01418] [SKIFcore_ProjectKB_01419])) ([SKIFcore_ProjectKB_01214] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01215] of Widget (name ":DOCUMENTATION") (width 290) (x 200) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (label "Documentation") (height 170) (y 0)) ([SKIFcore_ProjectKB_01216] of Widget (name ":NAME") (width 200) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (label "Name") (height 60) (y 0)) ([SKIFcore_ProjectKB_01217] of Widget (name ":ROLE") (width 200) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget") (label "Role") (height 60) (y 60)) ([SKIFcore_ProjectKB_01218] of Widget (name ":DIRECT-TYPE")) ([SKIFcore_ProjectKB_01219] of Widget (name ":DIRECT-TEMPLATE-SLOTS") (width 600) (property_list [SKIFcore_ProjectKB_01220]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget") (label "Template Slots") (height 220) (y 180)) ([SKIFcore_ProjectKB_01220] of Property_List (properties [SKIFcore_ProjectKB_01221] [SKIFcore_ProjectKB_01222] [SKIFcore_ProjectKB_01223] [SKIFcore_ProjectKB_01224] [SKIFcore_ProjectKB_01225] [SKIFcore_ProjectKB_01226] [SKIFcore_ProjectKB_01227] [SKIFcore_ProjectKB_01228])) ([SKIFcore_ProjectKB_01221] of Boolean (name "ButtonDisplayed-View selected slots") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01222] of Boolean (name "ButtonDisplayed-View selected slots at class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01223] of Boolean (name "ButtonDisplayed-Create slot and attach to class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01224] of Boolean (name "ButtonDisplayed-Remove overrides from selected slots") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01225] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01226] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01227] of Boolean (name "ButtonDisplayed-Move up") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01228] of Boolean (name "ButtonDisplayed-Move down") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01229] of Property_List (properties [SKIFcore_ProjectKB_01230]) (name "layout properties")) ([SKIFcore_ProjectKB_01230] of String (name "vertical_stretcher") (string_value ":DIRECT-TEMPLATE-SLOTS")) ([SKIFcore_ProjectKB_01231] of Widget (name ":isInModule") (width 360) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01232]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 90) (y 410)) ([SKIFcore_ProjectKB_01232] of Property_List (properties [SKIFcore_ProjectKB_01233] [SKIFcore_ProjectKB_01234] [SKIFcore_ProjectKB_01235] [SKIFcore_ProjectKB_01236] [SKIFcore_ProjectKB_01237] [SKIFcore_ProjectKB_01238])) ([SKIFcore_ProjectKB_01233] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01234] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01235] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01236] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01237] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01238] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01239] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01240]) (x 380) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 430)) ([SKIFcore_ProjectKB_01240] of Property_List) ([SKIFcore_ProjectKB_01275] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01276] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01277] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01303] of Widget (name ":relationAllExists") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01403]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 1010)) ([SKIFcore_ProjectKB_01316] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01403] of Property_List (properties [SKIFcore_ProjectKB_01404] [SKIFcore_ProjectKB_01405] [SKIFcore_ProjectKB_01707])) ([SKIFcore_ProjectKB_01404] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01405] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01407] of Property_List (name "layout properties")) ([SKIFcore_ProjectKB_01416] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01417] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01418] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01419] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01503] of Widget (name ":QuintarySlot") (width 723) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02029]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (height 1480) (y -153)) ([SKIFcore_ProjectKB_01507] of Widget (name ":isaSubrelationOf") (width 230) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01607]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 100) (y 580)) ([SKIFcore_ProjectKB_01603] of Widget (name ":SYNONYMS") (width 630) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01604]) (x 10) (widget_class_name "edu.stanford.smi.protegex.widget.instancetable.InstanceTableWidget") (label ":SYNONYMS") (height 180) (y 1100)) ([SKIFcore_ProjectKB_01604] of Property_List (properties [SKIFcore_ProjectKB_Instance_40230] [SKIFcore_ProjectKB_Instance_40231] [SKIFcore_ProjectKB_Instance_40232] [SKIFcore_ProjectKB_Instance_40234] [SKIFcore_ProjectKB_Instance_40235] [SKIFcore_ProjectKB_Instance_40236] [SKIFcore_ProjectKB_Instance_40238] [SKIFcore_ProjectKB_Instance_40239] [SKIFcore_ProjectKB_Instance_40240] [SKIFcore_ProjectKB_Instance_40242] [SKIFcore_ProjectKB_Instance_40243] [SKIFcore_ProjectKB_Instance_40244] [SKIFcore_ProjectKB_Instance_40246] [SKIFcore_ProjectKB_Instance_40251] [SKIFcore_ProjectKB_Instance_40252] [SKIFcore_ProjectKB_Instance_40253] [SKIFcore_ProjectKB_Instance_40254] [SKIFcore_ProjectKB_Instance_40255] [SKIFcore_ProjectKB_Instance_40256] [SKIFcore_ProjectKB_Instance_40257] [SKIFcore_ProjectKB_Instance_40258] [SKIFcore_ProjectKB_Instance_40259] [SKIFcore_ProjectKB_Instance_40260] [SKIFcore_ProjectKB_Instance_40261] [SKIFcore_ProjectKB_Instance_40262] [SKIFcore_ProjectKB_Instance_40263] [SKIFcore_ProjectKB_Instance_40264] [SKIFcore_ProjectKB_Instance_40265] [SKIFcore_ProjectKB_Instance_40266] [SKIFcore_ProjectKB_Instance_40267] [SKIFcore_ProjectKB_Instance_40268] [SKIFcore_ProjectKB_Instance_40269] [SKIFcore_ProjectKB_Instance_40270] [SKIFcore_ProjectKB_Instance_40271] [SKIFcore_ProjectKB_Instance_40272] [SKIFcore_ProjectKB_Instance_40273] [SKIFcore_ProjectKB_Instance_40274] [SKIFcore_ProjectKB_Instance_40275] [SKIFcore_ProjectKB_Instance_40294] [SKIFcore_ProjectKB_Instance_40299] [SKIFcore_ProjectKB_Instance_40300] [SKIFcore_ProjectKB_Instance_40301] [SKIFcore_ProjectKB_Instance_40302])) ([SKIFcore_ProjectKB_01607] of Property_List (properties [SKIFcore_ProjectKB_Instance_70178] [SKIFcore_ProjectKB_Instance_70179] [SKIFcore_ProjectKB_Instance_70180] [SKIFcore_ProjectKB_Instance_70181] [SKIFcore_ProjectKB_Instance_70182] [SKIFcore_ProjectKB_Instance_70183])) ([SKIFcore_ProjectKB_01707] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01764] of Widget (name ":hasRestrictedVal") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01765]) (x 290) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 240) (y 1450)) ([SKIFcore_ProjectKB_01765] of Property_List (properties [SKIFcore_ProjectKB_01766] [SKIFcore_ProjectKB_01767] [SKIFcore_ProjectKB_01768])) ([SKIFcore_ProjectKB_01766] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01767] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01768] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01769] of Widget (name ":hasDefaultValue") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01770]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 1470)) ([SKIFcore_ProjectKB_01770] of Property_List (properties [SKIFcore_ProjectKB_01771] [SKIFcore_ProjectKB_01772] [SKIFcore_ProjectKB_01773] [SKIFcore_ProjectKB_01774] [SKIFcore_ProjectKB_01775] [SKIFcore_ProjectKB_01776])) ([SKIFcore_ProjectKB_01771] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01772] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01773] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01774] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01775] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01776] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01777] of Widget (name ":hasClassValue") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01778]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 1390)) ([SKIFcore_ProjectKB_01778] of Property_List (properties [SKIFcore_ProjectKB_01779] [SKIFcore_ProjectKB_01780] [SKIFcore_ProjectKB_01781] [SKIFcore_ProjectKB_01782] [SKIFcore_ProjectKB_01783] [SKIFcore_ProjectKB_01784])) ([SKIFcore_ProjectKB_01779] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01780] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01781] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01782] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01783] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01784] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01785] of Widget (name ":ClassPredicates") (width 590) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01786]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 120) (y 520)) ([SKIFcore_ProjectKB_01786] of Property_List (properties [SKIFcore_ProjectKB_01787] [SKIFcore_ProjectKB_01788] [SKIFcore_ProjectKB_01789])) ([SKIFcore_ProjectKB_01787] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01788] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01789] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01790] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01791] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01792] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01793] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01794] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01795] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01804] of Widget (name ":hasName") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01805]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 1750)) ([SKIFcore_ProjectKB_01805] of Property_List (properties [SKIFcore_ProjectKB_01806] [SKIFcore_ProjectKB_01908] [SKIFcore_ProjectKB_02008] [SKIFcore_ProjectKB_02210] [SKIFcore_ProjectKB_02310] [SKIFcore_ProjectKB_02311])) ([SKIFcore_ProjectKB_01806] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01815] of Widget (name ":isRestrictedTo") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_01816]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 1030)) ([SKIFcore_ProjectKB_01816] of Property_List (properties [SKIFcore_ProjectKB_01817] [SKIFcore_ProjectKB_01818] [SKIFcore_ProjectKB_01819])) ([SKIFcore_ProjectKB_01817] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01818] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01819] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01903] of Widget (name ":hasValueClass") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02003]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (height 60) (y 620)) ([SKIFcore_ProjectKB_01908] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02003] of Property_List (properties [SKIFcore_ProjectKB_02004] [SKIFcore_ProjectKB_02005] [SKIFcore_ProjectKB_02006])) ([SKIFcore_ProjectKB_02004] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02005] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02006] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02008] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02011] of Widget (name ":relationAllExists") (width 310) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02012]) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 970)) ([SKIFcore_ProjectKB_02012] of Property_List (properties [SKIFcore_ProjectKB_02013] [SKIFcore_ProjectKB_02014] [SKIFcore_ProjectKB_02015])) ([SKIFcore_ProjectKB_02013] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02014] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02015] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02024] of Widget (name ":isRestrictedTo") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02025]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 950)) ([SKIFcore_ProjectKB_02025] of Property_List (properties [SKIFcore_ProjectKB_02026] [SKIFcore_ProjectKB_02027] [SKIFcore_ProjectKB_02028])) ([SKIFcore_ProjectKB_02026] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02027] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02028] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02029] of Property_List (properties [SKIFcore_ProjectKB_02030] [SKIFcore_ProjectKB_02031] [SKIFcore_ProjectKB_02032] [SKIFcore_ProjectKB_02033] [SKIFcore_ProjectKB_02039] [SKIFcore_ProjectKB_02040] [SKIFcore_ProjectKB_02041] [SKIFcore_ProjectKB_02047] [SKIFcore_ProjectKB_02048] [SKIFcore_ProjectKB_02049] [SKIFcore_ProjectKB_02050] [SKIFcore_ProjectKB_02051] [SKIFcore_ProjectKB_02052] [SKIFcore_ProjectKB_02053] [SKIFcore_ProjectKB_02054] [SKIFcore_ProjectKB_02067] [SKIFcore_ProjectKB_02072] [SKIFcore_ProjectKB_02080] [SKIFcore_ProjectKB_02082] [SKIFcore_ProjectKB_02084] [SKIFcore_ProjectKB_02086] [SKIFcore_ProjectKB_02094] [SKIFcore_ProjectKB_02096] [SKIFcore_ProjectKB_02098] [SKIFcore_ProjectKB_02111] [SKIFcore_ProjectKB_02113] [SKIFcore_ProjectKB_02121] [SKIFcore_ProjectKB_02126] [SKIFcore_ProjectKB_02131] [SKIFcore_ProjectKB_02139] [SKIFcore_ProjectKB_02144] [SKIFcore_ProjectKB_02152] [SKIFcore_ProjectKB_02157] [SKIFcore_ProjectKB_02159] [SKIFcore_ProjectKB_02164] [SKIFcore_ProjectKB_Instance_60003] [SKIFcore_ProjectKB_Instance_70011] [SKIFcore_ProjectKB_Instance_70013] [SKIFcore_ProjectKB_Instance_70021] [SKIFcore_ProjectKB_Instance_70029] [SKIFcore_ProjectKB_Instance_70034]) (name "slow widget properties")) ([SKIFcore_ProjectKB_02030] of Widget (name ":SLOT-MINIMUM-CARDINALITY") (width 200) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (label "Cardinality") (height 60) (y 140)) ([SKIFcore_ProjectKB_02031] of Widget (name ":SLOT-MAXIMUM-CARDINALITY") (width 200) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (height 35) (y 200)) ([SKIFcore_ProjectKB_02032] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore_ProjectKB_02033] of Widget (name ":SLOT-VALUES") (width 200) (property_list [SKIFcore_ProjectKB_02034]) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (label "Values") (height 120) (y 1440)) ([SKIFcore_ProjectKB_02034] of Property_List (properties [SKIFcore_ProjectKB_02035] [SKIFcore_ProjectKB_02036] [SKIFcore_ProjectKB_02037] [SKIFcore_ProjectKB_02038])) ([SKIFcore_ProjectKB_02035] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02036] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02037] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02038] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02039] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore_ProjectKB_02040] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore_ProjectKB_02041] of Widget (name ":SLOT-DEFAULTS") (width 200) (property_list [SKIFcore_ProjectKB_02042]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (label "Default") (height 80) (y 830)) ([SKIFcore_ProjectKB_02042] of Property_List (properties [SKIFcore_ProjectKB_02043] [SKIFcore_ProjectKB_02044] [SKIFcore_ProjectKB_02045] [SKIFcore_ProjectKB_02046])) ([SKIFcore_ProjectKB_02043] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02044] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02045] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02046] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02047] of Widget (name ":DOCUMENTATION") (width 250) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (label "Documentation") (height 140) (y 0)) ([SKIFcore_ProjectKB_02048] of Widget (name ":SLOT-NUMERIC-MAXIMUM") (width 100) (x 100) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (label "Maximum") (height 60) (y 220)) ([SKIFcore_ProjectKB_02049] of Widget (name ":SLOT-NUMERIC-MINIMUM") (width 100) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (label "Minimum") (height 60) (y 220)) ([SKIFcore_ProjectKB_02050] of Widget (name ":NAME") (width 270) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (label "Name") (height 60) (y 910)) ([SKIFcore_ProjectKB_02051] of Widget (name ":SLOT-INVERSE") (width 240) (x 210) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (label "Inverse Slot") (height 60) (y 230)) ([SKIFcore_ProjectKB_02052] of Widget (name ":SLOT-VALUE-TYPE") (width 200) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (label "Value Type") (height 150) (y 60)) ([SKIFcore_ProjectKB_02053] of Property_List (name "layout properties")) ([SKIFcore_ProjectKB_02054] of Widget (name ":ASSOCIATED-FACET") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02055]) (x 280) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 1590)) ([SKIFcore_ProjectKB_02055] of Property_List (properties [SKIFcore_ProjectKB_02056] [SKIFcore_ProjectKB_02057] [SKIFcore_ProjectKB_02058] [SKIFcore_ProjectKB_02059] [SKIFcore_ProjectKB_02060] [SKIFcore_ProjectKB_02061])) ([SKIFcore_ProjectKB_02056] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02057] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02058] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02059] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02060] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02061] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02067] of Widget (name ":Domain2Class") (width 280) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02068]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (height 60) (y 290)) ([SKIFcore_ProjectKB_02068] of Property_List (properties [SKIFcore_ProjectKB_02069] [SKIFcore_ProjectKB_02070] [SKIFcore_ProjectKB_02071])) ([SKIFcore_ProjectKB_02069] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02070] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02071] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02072] of Widget (name ":Domain2Value") (width 280) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02073]) (x 320) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 290)) ([SKIFcore_ProjectKB_02073] of Property_List (properties [SKIFcore_ProjectKB_02074] [SKIFcore_ProjectKB_02075] [SKIFcore_ProjectKB_02076] [SKIFcore_ProjectKB_02077] [SKIFcore_ProjectKB_02078] [SKIFcore_ProjectKB_02079])) ([SKIFcore_ProjectKB_02074] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02075] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02076] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02077] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02078] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02079] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02080] of Widget (name ":AXIOMS") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02081]) (x 460) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (height 260) (y 0)) ([SKIFcore_ProjectKB_02081] of Property_List) ([SKIFcore_ProjectKB_02082] of Widget (name ":Domain2Type") (width 140) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02083]) (x 150) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 350)) ([SKIFcore_ProjectKB_02083] of Property_List) ([SKIFcore_ProjectKB_02084] of Widget (name ":Domain1Type") (width 125) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02085]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 350)) ([SKIFcore_ProjectKB_02085] of Property_List) ([SKIFcore_ProjectKB_02086] of Widget (name ":isInModule") (width 290) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02087]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 100) (y 600)) ([SKIFcore_ProjectKB_02087] of Property_List (properties [SKIFcore_ProjectKB_02088] [SKIFcore_ProjectKB_02089] [SKIFcore_ProjectKB_02090] [SKIFcore_ProjectKB_02091] [SKIFcore_ProjectKB_02092] [SKIFcore_ProjectKB_02093])) ([SKIFcore_ProjectKB_02088] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02089] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02090] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02091] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02092] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02093] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02094] of Widget (name ":LOAD-SEQUENCE") (width 125) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02095]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (height 60) (y 640)) ([SKIFcore_ProjectKB_02095] of Property_List) ([SKIFcore_ProjectKB_02096] of Widget (name ":SUO-name") (width 210) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02097]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (height 60) (y 0)) ([SKIFcore_ProjectKB_02097] of Property_List) ([SKIFcore_ProjectKB_02098] of Widget (name "disjointRelation") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02099]) (x 10) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 1480)) ([SKIFcore_ProjectKB_02099] of Property_List (properties [SKIFcore_ProjectKB_02100] [SKIFcore_ProjectKB_02101] [SKIFcore_ProjectKB_02102] [SKIFcore_ProjectKB_02103] [SKIFcore_ProjectKB_02104] [SKIFcore_ProjectKB_02105])) ([SKIFcore_ProjectKB_02100] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02101] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02102] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02103] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02104] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02105] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02111] of Widget (name ":Domain3Type") (width 125) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02112]) (x 310) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 350)) ([SKIFcore_ProjectKB_02112] of Property_List) ([SKIFcore_ProjectKB_02113] of Widget (name ":Domain3Value") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02114]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 410)) ([SKIFcore_ProjectKB_02114] of Property_List (properties [SKIFcore_ProjectKB_02115] [SKIFcore_ProjectKB_02116] [SKIFcore_ProjectKB_02117] [SKIFcore_ProjectKB_02118] [SKIFcore_ProjectKB_02119] [SKIFcore_ProjectKB_02120])) ([SKIFcore_ProjectKB_02115] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02116] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02117] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02118] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02119] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02120] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02121] of Widget (name ":Domain3Class") (width 270) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02122]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (height 60) (y 410)) ([SKIFcore_ProjectKB_02122] of Property_List (properties [SKIFcore_ProjectKB_02123] [SKIFcore_ProjectKB_02124] [SKIFcore_ProjectKB_02125])) ([SKIFcore_ProjectKB_02123] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02124] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02125] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02126] of Widget (name ":identicalTo") (width 260) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02127]) (x 290) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (height 120) (y 710)) ([SKIFcore_ProjectKB_02127] of Property_List (properties [SKIFcore_ProjectKB_02128] [SKIFcore_ProjectKB_02129] [SKIFcore_ProjectKB_02130])) ([SKIFcore_ProjectKB_02128] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02129] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02130] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02131] of Widget (name ":SYNONYMS") (width 730) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02132]) (x 0) (widget_class_name "edu.stanford.smi.protegex.widget.instancetable.InstanceTableWidget") (label ":SYNONYMS") (height 160) (y 970)) ([SKIFcore_ProjectKB_02132] of Property_List (properties [SKIFcore_ProjectKB_Instance_70040] [SKIFcore_ProjectKB_Instance_70041] [SKIFcore_ProjectKB_Instance_70042] [SKIFcore_ProjectKB_Instance_70044] [SKIFcore_ProjectKB_Instance_70045] [SKIFcore_ProjectKB_Instance_70046] [SKIFcore_ProjectKB_Instance_70048] [SKIFcore_ProjectKB_Instance_70051] [SKIFcore_ProjectKB_Instance_70052] [SKIFcore_ProjectKB_Instance_70053] [SKIFcore_ProjectKB_Instance_70054] [SKIFcore_ProjectKB_Instance_70055] [SKIFcore_ProjectKB_Instance_70056] [SKIFcore_ProjectKB_Instance_70057] [SKIFcore_ProjectKB_Instance_70058] [SKIFcore_ProjectKB_Instance_70059] [SKIFcore_ProjectKB_Instance_70060] [SKIFcore_ProjectKB_Instance_70061] [SKIFcore_ProjectKB_Instance_70062] [SKIFcore_ProjectKB_Instance_70063] [SKIFcore_ProjectKB_Instance_70064] [SKIFcore_ProjectKB_Instance_70065] [SKIFcore_ProjectKB_Instance_70066] [SKIFcore_ProjectKB_Instance_70067] [SKIFcore_ProjectKB_Instance_70068] [SKIFcore_ProjectKB_Instance_70069] [SKIFcore_ProjectKB_Instance_70070] [SKIFcore_ProjectKB_Instance_70071] [SKIFcore_ProjectKB_Instance_70072] [SKIFcore_ProjectKB_Instance_70073] [SKIFcore_ProjectKB_Instance_70074] [SKIFcore_ProjectKB_Instance_70075] [SKIFcore_ProjectKB_Instance_70092] [SKIFcore_ProjectKB_Instance_70093] [SKIFcore_ProjectKB_Instance_70094] [SKIFcore_ProjectKB_Instance_70097] [SKIFcore_ProjectKB_Instance_70098] [SKIFcore_ProjectKB_Instance_70099] [SKIFcore_ProjectKB_Instance_70124] [SKIFcore_ProjectKB_Instance_70129] [SKIFcore_ProjectKB_Instance_70130] [SKIFcore_ProjectKB_Instance_70131] [SKIFcore_ProjectKB_Instance_70132])) ([SKIFcore_ProjectKB_02139] of Widget (name ":relationAllExists") (width 460) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02140]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 1310)) ([SKIFcore_ProjectKB_02140] of Property_List (properties [SKIFcore_ProjectKB_02141] [SKIFcore_ProjectKB_02142] [SKIFcore_ProjectKB_02143])) ([SKIFcore_ProjectKB_02141] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02142] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02143] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02144] of Widget (name ":isaSubrelationOf") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02145]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 90) (y 540)) ([SKIFcore_ProjectKB_02145] of Property_List (properties [SKIFcore_ProjectKB_02146] [SKIFcore_ProjectKB_02147] [SKIFcore_ProjectKB_02148] [SKIFcore_ProjectKB_02149] [SKIFcore_ProjectKB_02150] [SKIFcore_ProjectKB_02151])) ([SKIFcore_ProjectKB_02146] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02147] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02148] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02149] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02150] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02151] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02152] of Widget (name ":isRestrictedTo") (width 440) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02153]) (x 270) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget") (height 120) (y 1180)) ([SKIFcore_ProjectKB_02153] of Property_List (properties [SKIFcore_ProjectKB_02154] [SKIFcore_ProjectKB_02155] [SKIFcore_ProjectKB_02156])) ([SKIFcore_ProjectKB_02154] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02155] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02156] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02157] of Widget (name ":Domain4Type") (width 125) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02158]) (x 450) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (height 60) (y 350)) ([SKIFcore_ProjectKB_02158] of Property_List) ([SKIFcore_ProjectKB_02159] of Widget (name ":Domain4Class") (width 270) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02160]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (height 60) (y 470)) ([SKIFcore_ProjectKB_02160] of Property_List (properties [SKIFcore_ProjectKB_02161] [SKIFcore_ProjectKB_02162] [SKIFcore_ProjectKB_02163])) ([SKIFcore_ProjectKB_02161] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02162] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02163] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02164] of Widget (name ":Domain4Value") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02165]) (x 300) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 470)) ([SKIFcore_ProjectKB_02165] of Property_List (properties [SKIFcore_ProjectKB_02166] [SKIFcore_ProjectKB_02167] [SKIFcore_ProjectKB_02168] [SKIFcore_ProjectKB_02169] [SKIFcore_ProjectKB_02170] [SKIFcore_ProjectKB_02171])) ([SKIFcore_ProjectKB_02166] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02167] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02168] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02169] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02170] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02171] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02203] of Widget (name ":isaSynonymOf") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02303]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (height 60) (y 1420)) ([SKIFcore_ProjectKB_02210] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02303] of Property_List (properties [SKIFcore_ProjectKB_02304] [SKIFcore_ProjectKB_02305] [SKIFcore_ProjectKB_02306] [SKIFcore_ProjectKB_02307] [SKIFcore_ProjectKB_02409] [SKIFcore_ProjectKB_02509])) ([SKIFcore_ProjectKB_02304] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02305] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02306] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02307] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02310] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02311] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02320] of Widget (name ":hasClassMethod") (width 280) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02321]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 150) (y 1160)) ([SKIFcore_ProjectKB_02321] of Property_List (properties [SKIFcore_ProjectKB_02344] [SKIFcore_ProjectKB_02345] [SKIFcore_ProjectKB_02346] [SKIFcore_ProjectKB_02347] [SKIFcore_ProjectKB_02348] [SKIFcore_ProjectKB_02349])) ([SKIFcore_ProjectKB_02322] of Widget (name ":hasClassMethod") (width 270) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02323]) (x 0) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 1270)) ([SKIFcore_ProjectKB_02323] of Property_List (properties [SKIFcore_ProjectKB_02350] [SKIFcore_ProjectKB_02351] [SKIFcore_ProjectKB_02352] [SKIFcore_ProjectKB_02353] [SKIFcore_ProjectKB_02354] [SKIFcore_ProjectKB_02355])) ([SKIFcore_ProjectKB_02324] of Widget (name ":hasClassMethod") (width 250) (is_hidden FALSE) (property_list [SKIFcore_ProjectKB_02325]) (x 340) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (height 120) (y 1320)) ([SKIFcore_ProjectKB_02325] of Property_List (properties [SKIFcore_ProjectKB_02356] [SKIFcore_ProjectKB_02357] [SKIFcore_ProjectKB_02358] [SKIFcore_ProjectKB_02359] [SKIFcore_ProjectKB_02360] [SKIFcore_ProjectKB_02361])) ([SKIFcore_ProjectKB_02344] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02345] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02346] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02347] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02348] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02349] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02350] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02351] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02352] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02353] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02354] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02355] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02356] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02357] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02358] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02359] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02360] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02361] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02409] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02504] of Widget (name ":hasRequiredAttribute")