; Wed Jan 21 16:03:30 GMT-05:00 2004 ; ;+ (version "1.9") ;+ (build "Build 1120") ([BROWSER_SLOT_NAMES] of Property_List (properties [SMINK001_ProjectKB_00085] [SMINK001_ProjectKB_00086] [SMINK001_ProjectKB_00087] [SMINK001_ProjectKB_00088] [SMINK001_ProjectKB_00089] [SMINK001_ProjectKB_00090] [SMINK001_ProjectKB_00091] [SMINK001_ProjectKB_00092] [SMINK001_ProjectKB_00093] [SMINK001_ProjectKB_00094] [SMINK001_ProjectKB_00095] [SMINK001_ProjectKB_00096] [SMINK001_ProjectKB_00097] [SMINK001_ProjectKB_00098] [SMINK001_ProjectKB_00099])) ([CLSES_TAB] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ClsesTab") (property_list [ProjectKB_2782_00009]) (is_hidden FALSE) (label "Classes")) ([FORMS_TAB] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormsTab") (property_list [ProjectKB_2782_00038]) (is_hidden FALSE) (label "Forms")) ([INSTANCES_TAB] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstancesTab") (property_list [ProjectKB_2782_00041]) (is_hidden FALSE) (label "Instances")) ([KIFcore2_ProjectKB_00423] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 180) (name "partition2") (property_list [KIFcore2_ProjectKB_00424]) (x 270) (is_hidden FALSE) (y 910)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KIFcore2_ProjectKB_00426] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KIFcore2_ProjectKB_00427] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KIFcore2_ProjectKB_00428] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KIFcore2_ProjectKB_00429] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KIFcore2_ProjectKB_00430] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KIFcore2_ProjectKB_00436] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name "relatedExternalConcept") (property_list [KIFcore2_ProjectKB_00437]) (x 330) (is_hidden FALSE) (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 (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name "relatedExternalConcept") (property_list [KIFcore2_ProjectKB_00439]) (x 0) (is_hidden FALSE) (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 (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 270) (height 140) (name "partition2") (property_list [KIFcore2_ProjectKB_00445]) (x 330) (is_hidden FALSE) (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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KIFcore2_ProjectKB_00447] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KIFcore2_ProjectKB_00448] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KIFcore2_ProjectKB_00449] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KIFcore2_ProjectKB_00450] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KIFcore2_ProjectKB_00451] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KIFcore2_ProjectKB_00604] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 230) (height 60) (name ":SUO-name") (property_list [KIFcore2_ProjectKB_00605]) (x 0) (is_hidden FALSE) (y 0)) ([KIFcore2_ProjectKB_00605] of Property_List) ([KIFcore2_ProjectKB_00694] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KIFcore2_ProjectKB_00695] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KIFcore2_ProjectKB_00696] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KIFcore2_ProjectKB_00697] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KIFcore2_ProjectKB_00698] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KIFcore2_ProjectKB_00699] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KIFcore2_ProjectKB_00700] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KIFcore2_ProjectKB_00701] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KIFcore2_ProjectKB_00702] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KIFcore2_ProjectKB_00703] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KIFcore2_ProjectKB_00704] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KIFcore2_ProjectKB_00705] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([PAL_FORM_WIDGET] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 585) (name ":PAL-CONSTRAINT") (property_list [SMINK001_ProjectKB_00037]) (x 0) (is_hidden FALSE) (y 0)) ([PROJECT] of Project (property_map [SUMO148_ProjectKB_00222]) (default_facet_metaclass ":STANDARD-FACET") (options [ProjectKB_2782_00010]) (default_instance_widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (default_slot_metaclass ":STANDARD-SLOT") (customized_instance_widgets [ProjectKB_2782_00043] [SKIFcore4_ProjectKB_00823] [UBLmin_ProjectKB_05347] [STANDARD_CLASS_FORM_WIDGET] [UBLinv014_ProjectKB_00002] [SKIFcore4_ProjectKB_00031] [SKIFcore4_ProjectKB_00411] [STANDARD_SLOT_FORM_WIDGET] [SKIFcore4_ProjectKB_00093] [SMINK001_ProjectKB_00062] [SKIFcore4_ProjectKB_00702] [SKIFcore4_ProjectKB_00083] [SKIFcore4_ProjectKB_00009] [PAL_FORM_WIDGET] [SUMO116_ProjectKB_00209] [SUMO116_ProjectKB_00204] [UBLinv011_ProjectKB_00002] [SKIFcore4_ProjectKB_00429] [SKIFcore4_ProjectKB_00029] [SUMO115_ProjectKB_01022] [SKIFcore_ProjectKB_00517] [SKIFcore4_ProjectKB_00607] [UBLinv011_ProjectKB_00103] [UBLinv021_ProjectKB_00002]) (tabs [CLSES_TAB] [SLOTS_TAB] [FORMS_TAB] [INSTANCES_TAB] [ProjectKB_2782_00003] [ProjectKB_2782_00005] [SKIFcore4_ProjectKB_00000] [SMINK001_ProjectKB_00042]) (sources [SOURCES]) (default_cls_metaclass ":STANDARD-CLASS") (next_frame_number 394) (browser_slot_names [BROWSER_SLOT_NAMES])) ([ProjectKB_2782_00000] of String (string_value "edu.stanford.smi.protege.storage.clips.ClipsKnowledgeBaseFactory") (name "factory_class_name")) ([ProjectKB_2782_00003] of Widget (widget_class_name "edu.stanford.smi.protege.widget.KAToolTab") (property_list [ProjectKB_2782_00004]) (is_hidden TRUE)) ([ProjectKB_2782_00004] of Property_List) ([ProjectKB_2782_00005] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ClsesAndInstancesTab") (property_list [ProjectKB_2782_00006]) (is_hidden TRUE)) ([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_hidden_classes TRUE) (update_modification_slots FALSE) (display_multi_parent_class_icon TRUE) (confirm_on_remove FALSE) (is_readonly 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 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name "Entity") (property_list [ProjectKB_2782_00044]) (x 0) (is_hidden FALSE) (y 0)) ([ProjectKB_2782_00044] of Property_List (properties [ProjectKB_2782_00047] [SKIFcore4_ProjectKB_00103] [SKIFcore4_ProjectKB_00614] [SKIFcore4_ProjectKB_00403] [SKIFcore4_ProjectKB_00803] [SKIFcore4_ProjectKB_02737] [SKIFcore_ProjectKB_00103] [SKIFcore_ProjectKB_00210] [SKIFcore_ProjectKB_00946] [SKIFcore_ProjectKB_00954] [SKIFcore_ProjectKB_00962] [SKIFcore_ProjectKB_00970] [SKIFcore_ProjectKB_00978] [SKIFcore_ProjectKB_00986] [SKIFcore_ProjectKB_00994] [SKIFcore_ProjectKB_01002] [SKIFcore_ProjectKB_01010] [SKIFcore_ProjectKB_01018])) ([ProjectKB_2782_00047] of Property_List (name "layout properties")) ([ProjectKB_2782_00050] of String (string_value "SMINK001.pont") (name "classes_file_name")) ([ProjectKB_2782_00051] of String (string_value "SMINK001.pins") (name "instances_file_name")) ([shell1_ProjectKB_00052] of Integer (integer_value 337) (name "ClsesTab.left_right")) ([shell1_ProjectKB_00053] of Integer (integer_value 475) (name "ClsesTab.left.top_bottom")) ([shell1_ProjectKB_00054] of Integer (integer_value 258) (name "SlotsTab.left_right")) ([shell1_ProjectKB_00055] of Integer (integer_value 483) (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 171) (name "InstancesTab.right.left_right")) ([SKIFcore2_ProjectKB_00103] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore2_ProjectKB_00203] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore2_ProjectKB_00204] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore2_ProjectKB_00205] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore2_ProjectKB_00206] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore2_ProjectKB_00207] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore2_ProjectKB_00208] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore2_ProjectKB_00209] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore2_ProjectKB_00210] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore2_ProjectKB_00211] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore2_ProjectKB_00212] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore2_ProjectKB_00213] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore3_ProjectKB_00296] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 360) (height 60) (name ":synonymousTerm") (property_list [SKIFcore3_ProjectKB_00297]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore3_ProjectKB_00297] of Property_List) ([SKIFcore3_ProjectKB_00298] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 350) (height 60) (name ":inLanguage") (property_list [SKIFcore3_ProjectKB_00299]) (x 0) (is_hidden FALSE) (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 (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore3_ProjectKB_00301] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore3_ProjectKB_00302] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore3_ProjectKB_00303] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore3_ProjectKB_00304] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore3_ProjectKB_00305] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore3_ProjectKB_00306] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 125) (height 60) (name ":hasUsage") (property_list [SKIFcore3_ProjectKB_00307]) (x 125) (is_hidden FALSE) (y 60)) ([SKIFcore3_ProjectKB_00307] of Property_List) ([SKIFcore3_ProjectKB_00308] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget") (width 125) (height 60) (name ":hasFrequency") (property_list [SKIFcore3_ProjectKB_00309]) (x 0) (is_hidden FALSE) (y 60)) ([SKIFcore3_ProjectKB_00309] of Property_List) ([SKIFcore4_ProjectKB_00000] of Widget (widget_class_name "skif_tab.SkifTab") (property_list [SKIFcore4_ProjectKB_00001]) (is_hidden TRUE) (label "SKIF Utilities")) ([SKIFcore4_ProjectKB_00001] of Property_List) ([SKIFcore4_ProjectKB_00007] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 360) (height 240) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00008]) (x 10) (is_hidden FALSE) (y 130)) ([SKIFcore4_ProjectKB_00008] of Property_List) ([SKIFcore4_ProjectKB_00009] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 585) (name ":KIFentity") (property_list [SKIFcore4_ProjectKB_00010]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00010] of Property_List (properties [SKIFcore4_ProjectKB_00033] [SKIFcore4_ProjectKB_00623])) ([SKIFcore4_ProjectKB_00029] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name ":List") (property_list [SKIFcore4_ProjectKB_00030]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00030] of Property_List (properties [SKIFcore4_ProjectKB_00047])) ([SKIFcore4_ProjectKB_00031] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name ":CodeList") (property_list [SKIFcore4_ProjectKB_00032]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00032] of Property_List (properties [SKIFcore4_ProjectKB_00037])) ([SKIFcore4_ProjectKB_00033] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 370) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00034]) (x 0) (is_hidden FALSE) (y 10)) ([SKIFcore4_ProjectKB_00034] of Property_List) ([SKIFcore4_ProjectKB_00037] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 350) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00038]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00038] of Property_List) ([SKIFcore4_ProjectKB_00043] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 340) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00044]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00044] of Property_List) ([SKIFcore4_ProjectKB_00045] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 250) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00046]) (x 0) (is_hidden FALSE) (y 180)) ([SKIFcore4_ProjectKB_00046] of Property_List) ([SKIFcore4_ProjectKB_00047] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 340) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00048]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00048] of Property_List) ([SKIFcore4_ProjectKB_00049] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 250) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00050]) (x 340) (is_hidden FALSE) (y 1070)) ([SKIFcore4_ProjectKB_00050] of Property_List) ([SKIFcore4_ProjectKB_00083] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name ":AbstractString") (property_list [SKIFcore4_ProjectKB_00084]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00084] of Property_List (properties [SKIFcore4_ProjectKB_00085] [SKIFcore4_ProjectKB_00087])) ([SKIFcore4_ProjectKB_00085] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 370) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00086]) (x 0) (is_hidden FALSE) (y 10)) ([SKIFcore4_ProjectKB_00086] of Property_List) ([SKIFcore4_ProjectKB_00087] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 360) (height 220) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00088]) (x 0) (is_hidden FALSE) (y 70)) ([SKIFcore4_ProjectKB_00088] of Property_List) ([SKIFcore4_ProjectKB_00093] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 760) (height 563) (name ":SUMOProposition") (property_list [SKIFcore4_ProjectKB_00094]) (x 0) (is_hidden FALSE) (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 (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 370) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00096]) (x 10) (is_hidden FALSE) (y 420)) ([SKIFcore4_ProjectKB_00096] of Property_List) ([SKIFcore4_ProjectKB_00097] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 370) (height 220) (name ":literalTranscription") (property_list [SKIFcore4_ProjectKB_00098]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00098] of Property_List) ([SKIFcore4_ProjectKB_00101] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 90) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_00102]) (x 270) (is_hidden FALSE) (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 (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 300) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00203]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00104] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_00201] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 590) (height 120) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_00301]) (x 10) (is_hidden FALSE) (y 700)) ([SKIFcore4_ProjectKB_00203] of Property_List) ([SKIFcore4_ProjectKB_00301] of Property_List (properties [SKIFcore4_ProjectKB_01003] [SKIFcore4_ProjectKB_01103] [SKIFcore4_ProjectKB_01104] [SKIFcore4_ProjectKB_01105] [SKIFcore4_ProjectKB_01106] [SKIFcore4_ProjectKB_01107])) ([SKIFcore4_ProjectKB_00302] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 260) (height 120) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00303]) (x 10) (is_hidden FALSE) (y 480)) ([SKIFcore4_ProjectKB_00303] of Property_List (properties [SKIFcore4_ProjectKB_00304] [SKIFcore4_ProjectKB_00306] [SKIFcore4_ProjectKB_00507])) ([SKIFcore4_ProjectKB_00304] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_00305] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_00306] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_00403] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 320) (height 250) (name ":AXIOMS") (property_list [SKIFcore4_ProjectKB_00503]) (x 330) (is_hidden FALSE) (y 10)) ([SKIFcore4_ProjectKB_00405] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_00406] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00407] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00408] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_00409] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_00410]) (x 280) (is_hidden FALSE) (y 330)) ([SKIFcore4_ProjectKB_00410] of Property_List) ([SKIFcore4_ProjectKB_00411] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 723) (height 680) (name ":UnclassifiedProposition") (property_list [SKIFcore4_ProjectKB_00412]) (x 0) (is_hidden FALSE) (y -102)) ([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])) ([SKIFcore4_ProjectKB_00413] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 340) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00414]) (x 150) (is_hidden FALSE) (y 490)) ([SKIFcore4_ProjectKB_00414] of Property_List) ([SKIFcore4_ProjectKB_00415] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 390) (height 270) (name ":literalTranscription") (property_list [SKIFcore4_ProjectKB_00416]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00416] of Property_List) ([SKIFcore4_ProjectKB_00419] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 90) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_00420]) (x 10) (is_hidden FALSE) (y 390)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_00422] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_00423] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_00424] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00425] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00426] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_00427] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_00428]) (x 280) (is_hidden FALSE) (y 410)) ([SKIFcore4_ProjectKB_00428] of Property_List) ([SKIFcore4_ProjectKB_00429] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name ":Assertion") (property_list [SKIFcore4_ProjectKB_00430]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00430] of Property_List (properties [SKIFcore4_ProjectKB_00431] [SKIFcore4_ProjectKB_00433] [SKIFcore4_ProjectKB_01807])) ([SKIFcore4_ProjectKB_00431] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 370) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00432]) (x 0) (is_hidden FALSE) (y 440)) ([SKIFcore4_ProjectKB_00432] of Property_List) ([SKIFcore4_ProjectKB_00433] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 420) (height 300) (name ":literalTranscription") (property_list [SKIFcore4_ProjectKB_00434]) (x 0) (is_hidden FALSE) (y 10)) ([SKIFcore4_ProjectKB_00434] of Property_List) ([SKIFcore4_ProjectKB_00503] of Property_List) ([SKIFcore4_ProjectKB_00507] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00603] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 120) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00703]) (x 10) (is_hidden FALSE) (y 570)) ([SKIFcore4_ProjectKB_00607] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 723) (height 1060) (name ":QuaternarySlot") (property_list [SKIFcore4_ProjectKB_00608]) (x 0) (is_hidden FALSE) (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_01541] [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_01585] [SKIFcore4_ProjectKB_01634] [SKIFcore4_ProjectKB_01639] [SKIFcore4_ProjectKB_01641] [SKIFcore4_ProjectKB_01649]) (name "slow widget properties")) ([SKIFcore4_ProjectKB_00609] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (width 200) (height 60) (name ":SLOT-MINIMUM-CARDINALITY") (x 210) (label "Cardinality") (y 140)) ([SKIFcore4_ProjectKB_00610] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (width 200) (height 35) (name ":SLOT-MAXIMUM-CARDINALITY") (x 210) (y 200)) ([SKIFcore4_ProjectKB_00611] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore4_ProjectKB_00612] of Widget (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (width 200) (height 120) (name ":SLOT-VALUES") (property_list [SKIFcore4_ProjectKB_00613]) (x 320) (label "Values") (y 630)) ([SKIFcore4_ProjectKB_00613] of Property_List (properties [SKIFcore4_ProjectKB_00715] [SKIFcore4_ProjectKB_00916] [SKIFcore4_ProjectKB_01016] [SKIFcore4_ProjectKB_01017])) ([SKIFcore4_ProjectKB_00614] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 320) (height 290) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00615]) (x 0) (is_hidden FALSE) (y 60)) ([SKIFcore4_ProjectKB_00615] of Property_List) ([SKIFcore4_ProjectKB_00621] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 250) (height 120) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00622]) (x 0) (is_hidden FALSE) (y 1060)) ([SKIFcore4_ProjectKB_00622] of Property_List) ([SKIFcore4_ProjectKB_00623] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 370) (height 240) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00624]) (x 0) (is_hidden FALSE) (y 70)) ([SKIFcore4_ProjectKB_00624] of Property_List) ([SKIFcore4_ProjectKB_00625] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 250) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00626]) (x 10) (is_hidden FALSE) (y 1060)) ([SKIFcore4_ProjectKB_00626] of Property_List) ([SKIFcore4_ProjectKB_00627] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 250) (height 60) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00628]) (x 270) (is_hidden FALSE) (y 1320)) ([SKIFcore4_ProjectKB_00628] of Property_List) ([SKIFcore4_ProjectKB_00702] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 723) (height 660) (name ":SKIFdocs") (property_list [SKIFcore4_ProjectKB_00804]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00703] of Property_List (properties [SKIFcore4_ProjectKB_00704] [SKIFcore4_ProjectKB_00705] [SKIFcore4_ProjectKB_00706])) ([SKIFcore4_ProjectKB_00704] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_00705] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_00706] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00710] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 120) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00712]) (x 0) (is_hidden FALSE) (y 930)) ([SKIFcore4_ProjectKB_00712] of Property_List (properties [SKIFcore4_ProjectKB_00812] [SKIFcore4_ProjectKB_00813] [SKIFcore4_ProjectKB_00814])) ([SKIFcore4_ProjectKB_00715] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([SKIFcore4_ProjectKB_00803] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 120) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00903]) (x 340) (is_hidden FALSE) (y 390)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_00813] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_00814] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00818] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_00819]) (x 310) (is_hidden FALSE) (y 500)) ([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 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 750) (height 990) (name ":VariableAritySlot") (property_list [SKIFcore4_ProjectKB_00824]) (x 0) (is_hidden FALSE) (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_01512] [SKIFcore4_ProjectKB_01817] [SKIFcore_ProjectKB_00002]) (name "slot widget properties")) ([SKIFcore4_ProjectKB_00825] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (width 200) (height 60) (name ":SLOT-MINIMUM-CARDINALITY") (x 230) (label "Cardinality") (y 190)) ([SKIFcore4_ProjectKB_00826] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (width 200) (height 35) (name ":SLOT-MAXIMUM-CARDINALITY") (x 230) (y 250)) ([SKIFcore4_ProjectKB_00827] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore4_ProjectKB_00828] of Widget (name ":DIRECT-TYPE")) ([SKIFcore4_ProjectKB_00829] of Widget (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (width 250) (height 120) (name ":SLOT-VALUES") (property_list [SKIFcore4_ProjectKB_00830]) (x 290) (label "Template Values") (y 740)) ([SKIFcore4_ProjectKB_00830] of Property_List (properties [SKIFcore4_ProjectKB_00831] [SKIFcore4_ProjectKB_00832] [SKIFcore4_ProjectKB_00833] [SKIFcore4_ProjectKB_00834])) ([SKIFcore4_ProjectKB_00831] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([SKIFcore4_ProjectKB_00832] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([SKIFcore4_ProjectKB_00833] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00834] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00835] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore4_ProjectKB_00836] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore4_ProjectKB_00837] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (width 200) (height 110) (name ":SLOT-DEFAULTS") (property_list [SKIFcore4_ProjectKB_00838]) (x 10) (label "Default") (y 880)) ([SKIFcore4_ProjectKB_00838] of Property_List (properties [SKIFcore4_ProjectKB_00839] [SKIFcore4_ProjectKB_00840] [SKIFcore4_ProjectKB_00841] [SKIFcore4_ProjectKB_00842])) ([SKIFcore4_ProjectKB_00839] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([SKIFcore4_ProjectKB_00840] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([SKIFcore4_ProjectKB_00841] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00842] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00843] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 250) (height 190) (name ":DOCUMENTATION") (x 240) (label "Documentation") (y 0)) ([SKIFcore4_ProjectKB_00844] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (width 80) (height 60) (name ":SLOT-NUMERIC-MAXIMUM") (x 100) (label "Maximum") (y 240)) ([SKIFcore4_ProjectKB_00845] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (width 90) (height 60) (name ":SLOT-NUMERIC-MINIMUM") (x 0) (label "Minimum") (y 240)) ([SKIFcore4_ProjectKB_00846] of Widget (name ":ASSOCIATED-FACET")) ([SKIFcore4_ProjectKB_00847] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 260) (height 60) (name ":NAME") (x 220) (label "Name") (y 350)) ([SKIFcore4_ProjectKB_00848] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (width 250) (height 60) (name ":SLOT-INVERSE") (x 220) (label "Inverse Slot") (y 290)) ([SKIFcore4_ProjectKB_00849] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (width 200) (height 170) (name ":SLOT-VALUE-TYPE") (x 0) (label "Value Type") (y 60)) ([SKIFcore4_ProjectKB_00850] of Property_List (name "layout properties")) ([SKIFcore4_ProjectKB_00851] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 260) (height 350) (name ":AXIOMS") (property_list [SKIFcore4_ProjectKB_00852]) (x 490) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00852] of Property_List) ([SKIFcore4_ProjectKB_00853] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 125) (height 60) (name ":Domain1Type") (property_list [SKIFcore4_ProjectKB_00854]) (x 10) (is_hidden FALSE) (y 300)) ([SKIFcore4_ProjectKB_00854] of Property_List) ([SKIFcore4_ProjectKB_00855] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 210) (height 90) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_00856]) (x 0) (is_hidden FALSE) (y 360)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_00858] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_00859] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_00860] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00861] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00862] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_00863] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 120) (height 60) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_00864]) (x 290) (is_hidden FALSE) (y 530)) ([SKIFcore4_ProjectKB_00864] of Property_List) ([SKIFcore4_ProjectKB_00865] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 240) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00866]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_00866] of Property_List) ([SKIFcore4_ProjectKB_00880] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_00881] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_00882] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_00883] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00884] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00885] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_00886] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 260) (height 130) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_00887]) (x 0) (is_hidden FALSE) (y 730)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_00889] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_00890] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_00891] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00892] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00893] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_00903] of Property_List (properties [SKIFcore4_ProjectKB_00904] [SKIFcore4_ProjectKB_00905] [SKIFcore4_ProjectKB_00906])) ([SKIFcore4_ProjectKB_00904] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_00905] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_00906] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00908] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_00909]) (x 300) (is_hidden FALSE) (y 590)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_00911] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_00912] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_00913] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_00914] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_00915] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_00916] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01003] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_01005] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 370) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_01206]) (x 10) (is_hidden FALSE) (y 520)) ([SKIFcore4_ProjectKB_01016] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([SKIFcore4_ProjectKB_01017] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01018] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore4_ProjectKB_01103] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01104] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01105] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01106] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01107] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_01116] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":StartingBlock") (property_list [SKIFcore4_ProjectKB_01117]) (x 280) (is_hidden FALSE) (y 60)) ([SKIFcore4_ProjectKB_01117] of Property_List) ([SKIFcore4_ProjectKB_01200] of Widget (widget_class_name "edu.stanford.smi.protegex.widget.instancetable.InstanceTableWidget") (width 550) (height 120) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_01201]) (x 10) (is_hidden FALSE) (label ":SYNONYMS") (y 720)) ([SKIFcore4_ProjectKB_01201] of Property_List (properties [SKIFcore4_ProjectKB_01283] [SKIFcore4_ProjectKB_01284] [SKIFcore4_ProjectKB_01285] [SKIFcore4_ProjectKB_01287] [SKIFcore4_ProjectKB_01288] [SKIFcore4_ProjectKB_01289] [SKIFcore4_ProjectKB_01291] [SKIFcore4_ProjectKB_01292] [SKIFcore4_ProjectKB_01293] [SKIFcore4_ProjectKB_01295] [SKIFcore4_ProjectKB_01296] [SKIFcore4_ProjectKB_01297] [SKIFcore4_ProjectKB_01299] [SKIFcore4_ProjectKB_01304] [SKIFcore4_ProjectKB_01305] [SKIFcore4_ProjectKB_01306] [SKIFcore4_ProjectKB_01307] [SKIFcore4_ProjectKB_01308] [SKIFcore4_ProjectKB_01309] [SKIFcore4_ProjectKB_01310] [SKIFcore4_ProjectKB_01311] [SKIFcore4_ProjectKB_01312] [SKIFcore4_ProjectKB_01313] [SKIFcore4_ProjectKB_01314] [SKIFcore4_ProjectKB_01315] [SKIFcore4_ProjectKB_01316] [SKIFcore4_ProjectKB_01317] [SKIFcore4_ProjectKB_01318] [SKIFcore4_ProjectKB_01319] [SKIFcore4_ProjectKB_01320] [SKIFcore4_ProjectKB_01321] [SKIFcore4_ProjectKB_01322] [SKIFcore4_ProjectKB_01323] [SKIFcore4_ProjectKB_01324] [SKIFcore4_ProjectKB_01325] [SKIFcore4_ProjectKB_01326] [SKIFcore4_ProjectKB_01327] [SKIFcore4_ProjectKB_01328] [SKIFcore4_ProjectKB_01347] [SKIFcore4_ProjectKB_01352] [SKIFcore4_ProjectKB_01353] [SKIFcore4_ProjectKB_01354] [SKIFcore4_ProjectKB_01355])) ([SKIFcore4_ProjectKB_01206] of Property_List) ([SKIFcore4_ProjectKB_01220] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore4_ProjectKB_01283] of String (string_value ":hasUsage") (name ":COLUMN:NAME:DESCRIPTOR:hasUsage")) ([SKIFcore4_ProjectKB_01284] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:hasUsage")) ([SKIFcore4_ProjectKB_01285] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:hasUsage")) ([SKIFcore4_ProjectKB_01287] of String (string_value ":inLanguage") (name ":COLUMN:NAME:DESCRIPTOR:inLanguage")) ([SKIFcore4_ProjectKB_01288] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:inLanguage")) ([SKIFcore4_ProjectKB_01289] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:inLanguage")) ([SKIFcore4_ProjectKB_01291] of String (string_value ":hasFrequency") (name ":COLUMN:NAME:DESCRIPTOR:hasFrequency")) ([SKIFcore4_ProjectKB_01292] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:hasFrequency")) ([SKIFcore4_ProjectKB_01293] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:hasFrequency")) ([SKIFcore4_ProjectKB_01295] of String (string_value ":synonymousTerm") (name ":COLUMN:NAME:DESCRIPTOR:synonymousTerm")) ([SKIFcore4_ProjectKB_01296] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:synonymousTerm")) ([SKIFcore4_ProjectKB_01297] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:synonymousTerm")) ([SKIFcore4_ProjectKB_01299] of Integer (integer_value 4) (name ":Number:Of:Visible:Slots")) ([SKIFcore4_ProjectKB_01304] of Boolean (boolean_value FALSE) (name ":Automatically:Select:Insertions")) ([SKIFcore4_ProjectKB_01305] of Boolean (boolean_value TRUE) (name ":Create:Form:For:New:Instances")) ([SKIFcore4_ProjectKB_01306] of Boolean (boolean_value TRUE) (name ":HighLight:Selected:Row")) ([SKIFcore4_ProjectKB_01307] of Boolean (boolean_value FALSE) (name ":Edit:In:Place")) ([SKIFcore4_ProjectKB_01308] of Boolean (boolean_value FALSE) (name ":Use:Dialog:To:Select:Instances")) ([SKIFcore4_ProjectKB_01309] of Boolean (boolean_value TRUE) (name ":Use:Dialog:To:Select:Classes")) ([SKIFcore4_ProjectKB_01310] of String (string_value "Select an instance") (name ":Dialog:Title:For:Selecting:Instances")) ([SKIFcore4_ProjectKB_01311] of String (string_value "Select a class") (name ":Dialog:Title:For:Selecting:Classes")) ([SKIFcore4_ProjectKB_01312] of Integer (integer_value 1) (name ":Prototype:Depth")) ([SKIFcore4_ProjectKB_01313] of Boolean (boolean_value TRUE) (name ":Display:Create:Instance:Button")) ([SKIFcore4_ProjectKB_01314] of Boolean (boolean_value TRUE) (name ":Display:Add:Instance:Button")) ([SKIFcore4_ProjectKB_01315] of Boolean (boolean_value TRUE) (name ":Display:View:Instance:Button")) ([SKIFcore4_ProjectKB_01316] of Boolean (boolean_value TRUE) (name ":Display:Remove:Instance:Button")) ([SKIFcore4_ProjectKB_01317] of Boolean (boolean_value FALSE) (name ":Display:Delete:Instance:Button")) ([SKIFcore4_ProjectKB_01318] of Boolean (boolean_value FALSE) (name ":Display:Prototype:Button")) ([SKIFcore4_ProjectKB_01319] of Boolean (boolean_value FALSE) (name ":Display:Move:Instance:Buttons")) ([SKIFcore4_ProjectKB_01320] of String (string_value "Create a new instance") (name ":Create:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01321] of String (string_value "Select an already existing instance") (name ":Add:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01322] of String (string_value "View the selected instance") (name ":View:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01323] of String (string_value "Remove the selected instance(s)") (name ":Remove:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01324] of String (string_value "Delete the selected instance(s) from the knowledge base") (name ":Delete:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01325] of String (string_value "Create a new instance which is a duplicate of the selected instance") (name ":Prototype:Button:Tooltip")) ([SKIFcore4_ProjectKB_01326] of String (string_value "Move the selected instance") (name ":Move:Instance:Buttons:Tooltip")) ([SKIFcore4_ProjectKB_01327] of String (string_value "Create a new instance") (name ":Create:Instance:Dialog:Title")) ([SKIFcore4_ProjectKB_01328] of String (string_value "Select an already existing instance") (name ":Add:Instance:Dialog:Title")) ([SKIFcore4_ProjectKB_01347] of Property_List (properties [SKIFcore4_ProjectKB_01348] [SKIFcore4_ProjectKB_01349] [SKIFcore4_ProjectKB_01350] [SKIFcore4_ProjectKB_01351]) (name ":Visible:Slot:List")) ([SKIFcore4_ProjectKB_01348] of String (string_value ":hasUsage") (name ":hasUsage")) ([SKIFcore4_ProjectKB_01349] of String (string_value ":inLanguage") (name ":inLanguage")) ([SKIFcore4_ProjectKB_01350] of String (string_value ":hasFrequency") (name ":hasFrequency")) ([SKIFcore4_ProjectKB_01351] of String (string_value ":synonymousTerm") (name ":synonymousTerm")) ([SKIFcore4_ProjectKB_01352] of String (string_value ":synonymousTerm") (name ":Visible:Slot:Index0")) ([SKIFcore4_ProjectKB_01353] of String (string_value ":inLanguage") (name ":Visible:Slot:Index1")) ([SKIFcore4_ProjectKB_01354] of String (string_value ":hasUsage") (name ":Visible:Slot:Index2")) ([SKIFcore4_ProjectKB_01355] of String (string_value ":hasFrequency") (name ":Visible:Slot:Index3")) ([SKIFcore4_ProjectKB_01403] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 160) (name ":argumentList") (property_list [SKIFcore4_ProjectKB_01503]) (x 10) (is_hidden FALSE) (y 240)) ([SKIFcore4_ProjectKB_01407] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 370) (height 80) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01507]) (x 10) (is_hidden FALSE) (y 580)) ([SKIFcore4_ProjectKB_01421] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (width 200) (height 150) (name ":SLOT-DEFAULTS") (property_list [SKIFcore4_ProjectKB_01521]) (x 20) (label "Default") (y 900)) ([SKIFcore4_ProjectKB_01503] of Property_List (properties [SKIFcore4_ProjectKB_01504] [SKIFcore4_ProjectKB_01706] [SKIFcore4_ProjectKB_01806])) ([SKIFcore4_ProjectKB_01504] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_01507] of Property_List) ([SKIFcore4_ProjectKB_01508] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_01509]) (x 330) (is_hidden FALSE) (y 430)) ([SKIFcore4_ProjectKB_01509] of Property_List) ([SKIFcore4_ProjectKB_01510] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 370) (height 220) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01511]) (x 390) (is_hidden FALSE) (y 10)) ([SKIFcore4_ProjectKB_01511] of Property_List) ([SKIFcore4_ProjectKB_01512] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 120) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_01513]) (x 0) (is_hidden FALSE) (y 460)) ([SKIFcore4_ProjectKB_01513] of Property_List (properties [SKIFcore4_ProjectKB_01715] [SKIFcore4_ProjectKB_01815] [SKIFcore4_ProjectKB_01816])) ([SKIFcore4_ProjectKB_01521] of Property_List (properties [SKIFcore4_ProjectKB_01522] [SKIFcore4_ProjectKB_01523] [SKIFcore4_ProjectKB_01524] [SKIFcore4_ProjectKB_01525])) ([SKIFcore4_ProjectKB_01522] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([SKIFcore4_ProjectKB_01523] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01524] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([SKIFcore4_ProjectKB_01525] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01526] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 250) (height 140) (name ":DOCUMENTATION") (x 210) (label "Documentation") (y 0)) ([SKIFcore4_ProjectKB_01527] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (width 100) (height 60) (name ":SLOT-NUMERIC-MAXIMUM") (x 100) (label "Maximum") (y 220)) ([SKIFcore4_ProjectKB_01528] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (width 100) (height 60) (name ":SLOT-NUMERIC-MINIMUM") (x 0) (label "Minimum") (y 220)) ([SKIFcore4_ProjectKB_01529] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 270) (height 60) (name ":NAME") (x 250) (label "Name") (y 1000)) ([SKIFcore4_ProjectKB_01530] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (width 240) (height 60) (name ":SLOT-INVERSE") (x 210) (label "Inverse Slot") (y 230)) ([SKIFcore4_ProjectKB_01531] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (width 200) (height 150) (name ":SLOT-VALUE-TYPE") (x 0) (label "Value Type") (y 60)) ([SKIFcore4_ProjectKB_01532] of Property_List (name "layout properties")) ([SKIFcore4_ProjectKB_01533] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name ":ASSOCIATED-FACET") (property_list [SKIFcore4_ProjectKB_01534]) (x 250) (is_hidden FALSE) (y 950)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore4_ProjectKB_01536] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01537] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01538] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01539] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01540] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore4_ProjectKB_01541] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (width 250) (height 60) (name ":DIRECT-TYPE") (property_list [SKIFcore4_ProjectKB_01542]) (x 270) (is_hidden FALSE) (y 890)) ([SKIFcore4_ProjectKB_01542] of Property_List (properties [SKIFcore4_ProjectKB_01543] [SKIFcore4_ProjectKB_01544] [SKIFcore4_ProjectKB_01545])) ([SKIFcore4_ProjectKB_01543] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Class")) ([SKIFcore4_ProjectKB_01544] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01545] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01546] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (width 280) (height 60) (name ":Domain2Class") (property_list [SKIFcore4_ProjectKB_01547]) (x 0) (is_hidden FALSE) (y 290)) ([SKIFcore4_ProjectKB_01547] of Property_List (properties [SKIFcore4_ProjectKB_01548] [SKIFcore4_ProjectKB_01549] [SKIFcore4_ProjectKB_01550])) ([SKIFcore4_ProjectKB_01548] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Class")) ([SKIFcore4_ProjectKB_01549] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01550] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01551] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 280) (height 60) (name ":Domain2Value") (property_list [SKIFcore4_ProjectKB_01552]) (x 10) (is_hidden FALSE) (y 410)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore4_ProjectKB_01554] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01555] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01556] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01557] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01558] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore4_ProjectKB_01559] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 250) (height 260) (name ":AXIOMS") (property_list [SKIFcore4_ProjectKB_01560]) (x 460) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_01560] of Property_List) ([SKIFcore4_ProjectKB_01561] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 140) (height 60) (name ":Domain2Type") (property_list [SKIFcore4_ProjectKB_01562]) (x 150) (is_hidden FALSE) (y 340)) ([SKIFcore4_ProjectKB_01562] of Property_List) ([SKIFcore4_ProjectKB_01563] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 125) (height 60) (name ":Domain1Type") (property_list [SKIFcore4_ProjectKB_01564]) (x 10) (is_hidden FALSE) (y 340)) ([SKIFcore4_ProjectKB_01564] of Property_List) ([SKIFcore4_ProjectKB_01565] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 100) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_01566]) (x 330) (is_hidden FALSE) (y 290)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_01568] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01569] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01570] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01571] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01572] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_01573] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_01574]) (x 40) (is_hidden FALSE) (y 680)) ([SKIFcore4_ProjectKB_01574] of Property_List) ([SKIFcore4_ProjectKB_01575] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 210) (height 60) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_01576]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore4_ProjectKB_01576] of Property_List) ([SKIFcore4_ProjectKB_01577] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_01578]) (x 320) (is_hidden FALSE) (y 510)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_01580] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01581] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01582] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01583] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01584] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_01585] of Widget (widget_class_name "edu.stanford.smi.protegex.widget.instancetable.InstanceTableWidget") (width 550) (height 120) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_01586]) (x 20) (is_hidden FALSE) (label ":SYNONYMS") (y 760)) ([SKIFcore4_ProjectKB_01586] of Property_List (properties [SKIFcore4_ProjectKB_01587] [SKIFcore4_ProjectKB_01588] [SKIFcore4_ProjectKB_01589] [SKIFcore4_ProjectKB_01590] [SKIFcore4_ProjectKB_01591] [SKIFcore4_ProjectKB_01592] [SKIFcore4_ProjectKB_01593] [SKIFcore4_ProjectKB_01594] [SKIFcore4_ProjectKB_01595] [SKIFcore4_ProjectKB_01596] [SKIFcore4_ProjectKB_01597] [SKIFcore4_ProjectKB_01598] [SKIFcore4_ProjectKB_01599] [SKIFcore4_ProjectKB_01600] [SKIFcore4_ProjectKB_01601] [SKIFcore4_ProjectKB_01602] [SKIFcore4_ProjectKB_01603] [SKIFcore4_ProjectKB_01604] [SKIFcore4_ProjectKB_01605] [SKIFcore4_ProjectKB_01606] [SKIFcore4_ProjectKB_01607] [SKIFcore4_ProjectKB_01608] [SKIFcore4_ProjectKB_01609] [SKIFcore4_ProjectKB_01610] [SKIFcore4_ProjectKB_01611] [SKIFcore4_ProjectKB_01612] [SKIFcore4_ProjectKB_01613] [SKIFcore4_ProjectKB_01614] [SKIFcore4_ProjectKB_01615] [SKIFcore4_ProjectKB_01616] [SKIFcore4_ProjectKB_01617] [SKIFcore4_ProjectKB_01618] [SKIFcore4_ProjectKB_01619] [SKIFcore4_ProjectKB_01620] [SKIFcore4_ProjectKB_01621] [SKIFcore4_ProjectKB_01622] [SKIFcore4_ProjectKB_01623] [SKIFcore4_ProjectKB_01624] [SKIFcore4_ProjectKB_01625] [SKIFcore4_ProjectKB_01630] [SKIFcore4_ProjectKB_01631] [SKIFcore4_ProjectKB_01632] [SKIFcore4_ProjectKB_01633])) ([SKIFcore4_ProjectKB_01587] of String (string_value ":hasUsage") (name ":COLUMN:NAME:DESCRIPTOR:hasUsage")) ([SKIFcore4_ProjectKB_01588] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:hasUsage")) ([SKIFcore4_ProjectKB_01589] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:hasUsage")) ([SKIFcore4_ProjectKB_01590] of String (string_value ":inLanguage") (name ":COLUMN:NAME:DESCRIPTOR:inLanguage")) ([SKIFcore4_ProjectKB_01591] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:inLanguage")) ([SKIFcore4_ProjectKB_01592] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:inLanguage")) ([SKIFcore4_ProjectKB_01593] of String (string_value ":hasFrequency") (name ":COLUMN:NAME:DESCRIPTOR:hasFrequency")) ([SKIFcore4_ProjectKB_01594] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:hasFrequency")) ([SKIFcore4_ProjectKB_01595] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:hasFrequency")) ([SKIFcore4_ProjectKB_01596] of String (string_value ":synonymousTerm") (name ":COLUMN:NAME:DESCRIPTOR:synonymousTerm")) ([SKIFcore4_ProjectKB_01597] of Integer (integer_value -16777216) (name ":COLOR:RGB:DESCRIPTOR:synonymousTerm")) ([SKIFcore4_ProjectKB_01598] of Integer (integer_value 20) (name ":PREFERRED:SIZE:DESCRIPTOR:synonymousTerm")) ([SKIFcore4_ProjectKB_01599] of Integer (integer_value 4) (name ":Number:Of:Visible:Slots")) ([SKIFcore4_ProjectKB_01600] of Boolean (boolean_value FALSE) (name ":Automatically:Select:Insertions")) ([SKIFcore4_ProjectKB_01601] of Boolean (boolean_value TRUE) (name ":Create:Form:For:New:Instances")) ([SKIFcore4_ProjectKB_01602] of Boolean (boolean_value TRUE) (name ":HighLight:Selected:Row")) ([SKIFcore4_ProjectKB_01603] of Boolean (boolean_value FALSE) (name ":Edit:In:Place")) ([SKIFcore4_ProjectKB_01604] of Boolean (boolean_value FALSE) (name ":Use:Dialog:To:Select:Instances")) ([SKIFcore4_ProjectKB_01605] of Boolean (boolean_value TRUE) (name ":Use:Dialog:To:Select:Classes")) ([SKIFcore4_ProjectKB_01606] of String (string_value "Select an instance") (name ":Dialog:Title:For:Selecting:Instances")) ([SKIFcore4_ProjectKB_01607] of String (string_value "Select a class") (name ":Dialog:Title:For:Selecting:Classes")) ([SKIFcore4_ProjectKB_01608] of Integer (integer_value 1) (name ":Prototype:Depth")) ([SKIFcore4_ProjectKB_01609] of Boolean (boolean_value TRUE) (name ":Display:Create:Instance:Button")) ([SKIFcore4_ProjectKB_01610] of Boolean (boolean_value TRUE) (name ":Display:Add:Instance:Button")) ([SKIFcore4_ProjectKB_01611] of Boolean (boolean_value TRUE) (name ":Display:View:Instance:Button")) ([SKIFcore4_ProjectKB_01612] of Boolean (boolean_value TRUE) (name ":Display:Remove:Instance:Button")) ([SKIFcore4_ProjectKB_01613] of Boolean (boolean_value FALSE) (name ":Display:Delete:Instance:Button")) ([SKIFcore4_ProjectKB_01614] of Boolean (boolean_value FALSE) (name ":Display:Prototype:Button")) ([SKIFcore4_ProjectKB_01615] of Boolean (boolean_value FALSE) (name ":Display:Move:Instance:Buttons")) ([SKIFcore4_ProjectKB_01616] of String (string_value "Create a new instance") (name ":Create:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01617] of String (string_value "Select an already existing instance") (name ":Add:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01618] of String (string_value "View the selected instance") (name ":View:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01619] of String (string_value "Remove the selected instance(s)") (name ":Remove:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01620] of String (string_value "Delete the selected instance(s) from the knowledge base") (name ":Delete:Instance:Button:Tooltip")) ([SKIFcore4_ProjectKB_01621] of String (string_value "Create a new instance which is a duplicate of the selected instance") (name ":Prototype:Button:Tooltip")) ([SKIFcore4_ProjectKB_01622] of String (string_value "Move the selected instance") (name ":Move:Instance:Buttons:Tooltip")) ([SKIFcore4_ProjectKB_01623] of String (string_value "Create a new instance") (name ":Create:Instance:Dialog:Title")) ([SKIFcore4_ProjectKB_01624] of String (string_value "Select an already existing instance") (name ":Add:Instance:Dialog:Title")) ([SKIFcore4_ProjectKB_01625] of Property_List (properties [SKIFcore4_ProjectKB_01626] [SKIFcore4_ProjectKB_01627] [SKIFcore4_ProjectKB_01628] [SKIFcore4_ProjectKB_01629]) (name ":Visible:Slot:List")) ([SKIFcore4_ProjectKB_01626] of String (string_value ":hasUsage") (name ":hasUsage")) ([SKIFcore4_ProjectKB_01627] of String (string_value ":inLanguage") (name ":inLanguage")) ([SKIFcore4_ProjectKB_01628] of String (string_value ":hasFrequency") (name ":hasFrequency")) ([SKIFcore4_ProjectKB_01629] of String (string_value ":synonymousTerm") (name ":synonymousTerm")) ([SKIFcore4_ProjectKB_01630] of String (string_value ":synonymousTerm") (name ":Visible:Slot:Index0")) ([SKIFcore4_ProjectKB_01631] of String (string_value ":inLanguage") (name ":Visible:Slot:Index1")) ([SKIFcore4_ProjectKB_01632] of String (string_value ":hasUsage") (name ":Visible:Slot:Index2")) ([SKIFcore4_ProjectKB_01633] of String (string_value ":hasFrequency") (name ":Visible:Slot:Index3")) ([SKIFcore4_ProjectKB_01634] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 120) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_01635]) (x 330) (is_hidden FALSE) (y 390)) ([SKIFcore4_ProjectKB_01635] of Property_List (properties [SKIFcore4_ProjectKB_01636] [SKIFcore4_ProjectKB_01637] [SKIFcore4_ProjectKB_01638])) ([SKIFcore4_ProjectKB_01636] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_01637] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_01638] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01639] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 125) (height 60) (name ":Domain3Type") (property_list [SKIFcore4_ProjectKB_01640]) (x 10) (is_hidden FALSE) (y 480)) ([SKIFcore4_ProjectKB_01640] of Property_List) ([SKIFcore4_ProjectKB_01641] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name ":Domain3Value") (property_list [SKIFcore4_ProjectKB_01642]) (x 10) (is_hidden FALSE) (y 610)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore4_ProjectKB_01644] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01645] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01646] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01647] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01648] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore4_ProjectKB_01649] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (width 250) (height 60) (name ":Domain3Class") (property_list [SKIFcore4_ProjectKB_01650]) (x 10) (is_hidden FALSE) (y 540)) ([SKIFcore4_ProjectKB_01650] of Property_List (properties [SKIFcore4_ProjectKB_01651] [SKIFcore4_ProjectKB_01652] [SKIFcore4_ProjectKB_01653])) ([SKIFcore4_ProjectKB_01651] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Class")) ([SKIFcore4_ProjectKB_01652] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01653] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01706] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_01711] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 610) (height 410) (name ":commentLines") (property_list [SKIFcore4_ProjectKB_01811]) (x 10) (is_hidden FALSE) (y 10)) ([SKIFcore4_ProjectKB_01715] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_01806] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01807] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 410) (height 120) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01909]) (x 0) (is_hidden FALSE) (y 320)) ([SKIFcore4_ProjectKB_01811] of Property_List (properties [SKIFcore4_ProjectKB_01812] [SKIFcore4_ProjectKB_01813] [SKIFcore4_ProjectKB_01814])) ([SKIFcore4_ProjectKB_01812] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_01813] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_01814] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01815] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_01816] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01817] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 550) (height 120) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_01818]) (x 10) (is_hidden FALSE) (y 600)) ([SKIFcore4_ProjectKB_01818] of Property_List (properties [SKIFcore4_ProjectKB_01819] [SKIFcore4_ProjectKB_01820] [SKIFcore4_ProjectKB_01821] [SKIFcore4_ProjectKB_01822] [SKIFcore4_ProjectKB_01823] [SKIFcore4_ProjectKB_01824])) ([SKIFcore4_ProjectKB_01819] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_01820] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01821] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01822] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01823] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01824] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_01825] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 250) (height 60) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01826]) (x 0) (is_hidden FALSE) (y 240)) ([SKIFcore4_ProjectKB_01826] of Property_List) ([SKIFcore4_ProjectKB_01827] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 120) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_01828]) (x 0) (is_hidden FALSE) (y 1260)) ([SKIFcore4_ProjectKB_01828] of Property_List (properties [SKIFcore4_ProjectKB_01829] [SKIFcore4_ProjectKB_01830] [SKIFcore4_ProjectKB_01831])) ([SKIFcore4_ProjectKB_01829] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_01830] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_01831] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01832] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_01833]) (x 10) (is_hidden FALSE) (y 1140)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_01835] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_01836] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_01837] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_01838] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_01839] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_01909] of Property_List) ([SKIFcore4_ProjectKB_01916] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 290) (height 90) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_02016]) (x 10) (is_hidden FALSE) (y 430)) ([SKIFcore4_ProjectKB_02009] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 260) (height 60) (name ":inputFile") (property_list [SKIFcore4_ProjectKB_02010]) (x 10) (is_hidden FALSE) (y 60)) ([SKIFcore4_ProjectKB_02010] of Property_List) ([SKIFcore4_ProjectKB_02011] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 370) (height 120) (name ":argumentList") (property_list [SKIFcore4_ProjectKB_02113]) (x 10) (is_hidden FALSE) (y 270)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore4_ProjectKB_02018] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore4_ProjectKB_02113] of Property_List (properties [SKIFcore4_ProjectKB_02213] [SKIFcore4_ProjectKB_02214] [SKIFcore4_ProjectKB_02215])) ([SKIFcore4_ProjectKB_02120] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore4_ProjectKB_02213] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_02214] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_02215] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_02216] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":blockLineNumber") (property_list [SKIFcore4_ProjectKB_02217]) (x 10) (is_hidden FALSE) (y 480)) ([SKIFcore4_ProjectKB_02217] of Property_List) ([SKIFcore4_ProjectKB_02218] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 370) (height 120) (name ":documentation") (property_list [SKIFcore4_ProjectKB_02219]) (x 10) (is_hidden FALSE) (y 560)) ([SKIFcore4_ProjectKB_02219] of Property_List) ([SKIFcore4_ProjectKB_02220] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore4_ProjectKB_02221] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_02222] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore4_ProjectKB_02712] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 330) (height 140) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02713]) (x 0) (is_hidden FALSE) (y 770)) ([SKIFcore4_ProjectKB_02713] of Property_List (properties [SKIFcore4_ProjectKB_02716] [SKIFcore4_ProjectKB_02717] [SKIFcore4_ProjectKB_02718])) ([SKIFcore4_ProjectKB_02716] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_02717] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_02718] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_02727] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 300) (height 140) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02728]) (x 0) (is_hidden FALSE) (y 420)) ([SKIFcore4_ProjectKB_02728] of Property_List (properties [SKIFcore4_ProjectKB_02729] [SKIFcore4_ProjectKB_02730] [SKIFcore4_ProjectKB_02731])) ([SKIFcore4_ProjectKB_02729] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_02730] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_02731] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_02732] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 310) (height 140) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02733]) (x 300) (is_hidden FALSE) (y 450)) ([SKIFcore4_ProjectKB_02733] of Property_List (properties [SKIFcore4_ProjectKB_02734] [SKIFcore4_ProjectKB_02735] [SKIFcore4_ProjectKB_02736])) ([SKIFcore4_ProjectKB_02734] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_02735] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_02736] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore4_ProjectKB_02737] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 300) (height 140) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02738]) (x 10) (is_hidden FALSE) (y 360)) ([SKIFcore4_ProjectKB_02738] of Property_List (properties [SKIFcore4_ProjectKB_02739] [SKIFcore4_ProjectKB_02740] [SKIFcore4_ProjectKB_02741])) ([SKIFcore4_ProjectKB_02739] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore4_ProjectKB_02740] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore4_ProjectKB_02741] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00002] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 290) (height 120) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_00003]) (x 250) (is_hidden FALSE) (y 410)) ([SKIFcore_ProjectKB_00003] of Property_List (properties [SKIFcore_ProjectKB_00004] [SKIFcore_ProjectKB_00005] [SKIFcore_ProjectKB_00107])) ([SKIFcore_ProjectKB_00004] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore_ProjectKB_00005] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore_ProjectKB_00006] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 210) (height 60) (name ":SUO-name") (property_list [SKIFcore_ProjectKB_00007]) (x 0) (is_hidden FALSE) (y 0)) ([SKIFcore_ProjectKB_00007] of Property_List) ([SKIFcore_ProjectKB_00103] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name ":isInModule") (property_list [SKIFcore_ProjectKB_00203]) (x 330) (is_hidden FALSE) (y 270)) ([SKIFcore_ProjectKB_00107] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore_ProjectKB_00205] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00206] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00207] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00208] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00209] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore_ProjectKB_00210] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [SKIFcore_ProjectKB_00211]) (x 10) (is_hidden FALSE) (y 500)) ([SKIFcore_ProjectKB_00211] of Property_List) ([SKIFcore_ProjectKB_00227] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 250) (height 120) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_00228]) (x 0) (is_hidden FALSE) (y 1380)) ([SKIFcore_ProjectKB_00228] of Property_List (properties [SKIFcore_ProjectKB_00229] [SKIFcore_ProjectKB_00230] [SKIFcore_ProjectKB_00231])) ([SKIFcore_ProjectKB_00229] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore_ProjectKB_00230] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore_ProjectKB_00231] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00503] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "synonymousExternalConcept") (property_list [SKIFcore_ProjectKB_00603]) (x 0) (is_hidden FALSE) (y 1300)) ([SKIFcore_ProjectKB_00517] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name "InheritableRelation") (property_list [SKIFcore_ProjectKB_00518]) (x 0) (is_hidden FALSE) (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 (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 360) (height 150) (name ":documentation") (property_list [SKIFcore_ProjectKB_00520]) (x 10) (is_hidden FALSE) (y 180)) ([SKIFcore_ProjectKB_00520] of Property_List) ([SKIFcore_ProjectKB_00521] of Widget (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget") (width 370) (height 150) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_00522]) (x 10) (is_hidden FALSE) (y 10)) ([SKIFcore_ProjectKB_00522] of Property_List (properties [SKIFcore_ProjectKB_00523] [SKIFcore_ProjectKB_00524] [SKIFcore_ProjectKB_00525])) ([SKIFcore_ProjectKB_00523] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Edit the selected strings")) ([SKIFcore_ProjectKB_00524] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new string")) ([SKIFcore_ProjectKB_00525] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00603] of Property_List (properties [SKIFcore_ProjectKB_00604] [SKIFcore_ProjectKB_00605] [SKIFcore_ProjectKB_00606] [SKIFcore_ProjectKB_00607] [SKIFcore_ProjectKB_00608] [SKIFcore_ProjectKB_00609])) ([SKIFcore_ProjectKB_00604] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00605] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00606] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00607] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00608] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00609] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00610] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "subsumingExternalConcept") (property_list [SKIFcore_ProjectKB_00611]) (x 0) (is_hidden FALSE) (y 1240)) ([SKIFcore_ProjectKB_00611] of Property_List (properties [SKIFcore_ProjectKB_00612] [SKIFcore_ProjectKB_00613] [SKIFcore_ProjectKB_00614] [SKIFcore_ProjectKB_00615] [SKIFcore_ProjectKB_00616] [SKIFcore_ProjectKB_00617])) ([SKIFcore_ProjectKB_00612] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00613] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00614] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00615] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00616] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00617] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00618] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name ":isInModule") (property_list [SKIFcore_ProjectKB_00718]) (x 140) (is_hidden FALSE) (y 330)) ([SKIFcore_ProjectKB_00619] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "subsumedExternalConcept") (property_list [SKIFcore_ProjectKB_00820]) (x 0) (is_hidden FALSE) (y 1180)) ([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 (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SKIFcore_ProjectKB_00720] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00721] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00722] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00723] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00724] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SKIFcore_ProjectKB_00725] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [SKIFcore_ProjectKB_00726]) (x 0) (is_hidden FALSE) (y 340)) ([SKIFcore_ProjectKB_00726] of Property_List) ([SKIFcore_ProjectKB_00820] of Property_List (properties [SKIFcore_ProjectKB_00920] [SKIFcore_ProjectKB_00921] [SKIFcore_ProjectKB_00922] [SKIFcore_ProjectKB_00923] [SKIFcore_ProjectKB_00924] [SKIFcore_ProjectKB_00925])) ([SKIFcore_ProjectKB_00920] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00921] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00922] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00923] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00924] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00925] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00946] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "element_3") (property_list [SKIFcore_ProjectKB_00947]) (x 0) (is_hidden FALSE) (y 620)) ([SKIFcore_ProjectKB_00947] of Property_List (properties [SKIFcore_ProjectKB_00948] [SKIFcore_ProjectKB_00949] [SKIFcore_ProjectKB_00950] [SKIFcore_ProjectKB_00951] [SKIFcore_ProjectKB_00952] [SKIFcore_ProjectKB_00953])) ([SKIFcore_ProjectKB_00948] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00949] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00950] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00951] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00952] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00953] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00954] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "equal_3") (property_list [SKIFcore_ProjectKB_00955]) (x 0) (is_hidden FALSE) (y 680)) ([SKIFcore_ProjectKB_00955] of Property_List (properties [SKIFcore_ProjectKB_00956] [SKIFcore_ProjectKB_00957] [SKIFcore_ProjectKB_00958] [SKIFcore_ProjectKB_00959] [SKIFcore_ProjectKB_00960] [SKIFcore_ProjectKB_00961])) ([SKIFcore_ProjectKB_00956] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00957] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00958] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00959] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00960] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00961] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00962] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "instance_1") (property_list [SKIFcore_ProjectKB_00963]) (x 250) (is_hidden FALSE) (y 620)) ([SKIFcore_ProjectKB_00963] of Property_List (properties [SKIFcore_ProjectKB_00964] [SKIFcore_ProjectKB_00965] [SKIFcore_ProjectKB_00966] [SKIFcore_ProjectKB_00967] [SKIFcore_ProjectKB_00968] [SKIFcore_ProjectKB_00969])) ([SKIFcore_ProjectKB_00964] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00965] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00966] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00967] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00968] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00969] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00970] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "documentation_2") (property_list [SKIFcore_ProjectKB_00971]) (x 0) (is_hidden FALSE) (y 560)) ([SKIFcore_ProjectKB_00971] of Property_List (properties [SKIFcore_ProjectKB_00972] [SKIFcore_ProjectKB_00973] [SKIFcore_ProjectKB_00974] [SKIFcore_ProjectKB_00975] [SKIFcore_ProjectKB_00976] [SKIFcore_ProjectKB_00977])) ([SKIFcore_ProjectKB_00972] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00973] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00974] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00975] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00976] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00977] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00978] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "immediateInstance_2") (property_list [SKIFcore_ProjectKB_00979]) (x 0) (is_hidden FALSE) (y 800)) ([SKIFcore_ProjectKB_00979] of Property_List (properties [SKIFcore_ProjectKB_00980] [SKIFcore_ProjectKB_00981] [SKIFcore_ProjectKB_00982] [SKIFcore_ProjectKB_00983] [SKIFcore_ProjectKB_00984] [SKIFcore_ProjectKB_00985])) ([SKIFcore_ProjectKB_00980] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00981] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00982] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00983] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00984] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00985] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00986] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "modalAttribute_3") (property_list [SKIFcore_ProjectKB_00987]) (x 250) (is_hidden FALSE) (y 740)) ([SKIFcore_ProjectKB_00987] of Property_List (properties [SKIFcore_ProjectKB_00988] [SKIFcore_ProjectKB_00989] [SKIFcore_ProjectKB_00990] [SKIFcore_ProjectKB_00991] [SKIFcore_ProjectKB_00992] [SKIFcore_ProjectKB_00993])) ([SKIFcore_ProjectKB_00988] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00989] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00990] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00991] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_00992] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_00993] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_00994] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "inList_3") (property_list [SKIFcore_ProjectKB_00995]) (x 250) (is_hidden FALSE) (y 560)) ([SKIFcore_ProjectKB_00995] of Property_List (properties [SKIFcore_ProjectKB_00996] [SKIFcore_ProjectKB_00997] [SKIFcore_ProjectKB_00998] [SKIFcore_ProjectKB_00999] [SKIFcore_ProjectKB_01000] [SKIFcore_ProjectKB_01001])) ([SKIFcore_ProjectKB_00996] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_00997] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_00998] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_00999] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_01000] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_01001] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_01002] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "property_1") (property_list [SKIFcore_ProjectKB_01003]) (x 250) (is_hidden FALSE) (y 800)) ([SKIFcore_ProjectKB_01003] of Property_List (properties [SKIFcore_ProjectKB_01004] [SKIFcore_ProjectKB_01005] [SKIFcore_ProjectKB_01006] [SKIFcore_ProjectKB_01007] [SKIFcore_ProjectKB_01008] [SKIFcore_ProjectKB_01009])) ([SKIFcore_ProjectKB_01004] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_01005] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_01006] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_01007] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_01008] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_01009] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_01010] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "hasName_1") (property_list [SKIFcore_ProjectKB_01011]) (x 0) (is_hidden FALSE) (y 740)) ([SKIFcore_ProjectKB_01011] of Property_List (properties [SKIFcore_ProjectKB_01012] [SKIFcore_ProjectKB_01013] [SKIFcore_ProjectKB_01014] [SKIFcore_ProjectKB_01015] [SKIFcore_ProjectKB_01016] [SKIFcore_ProjectKB_01017])) ([SKIFcore_ProjectKB_01012] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_01013] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_01014] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_01015] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_01016] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_01017] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SKIFcore_ProjectKB_01018] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name "ListFn_3") (property_list [SKIFcore_ProjectKB_01019]) (x 250) (is_hidden FALSE) (y 680)) ([SKIFcore_ProjectKB_01019] of Property_List (properties [SKIFcore_ProjectKB_01020] [SKIFcore_ProjectKB_01021] [SKIFcore_ProjectKB_01022] [SKIFcore_ProjectKB_01023] [SKIFcore_ProjectKB_01024] [SKIFcore_ProjectKB_01025])) ([SKIFcore_ProjectKB_01020] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SKIFcore_ProjectKB_01021] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SKIFcore_ProjectKB_01022] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SKIFcore_ProjectKB_01023] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SKIFcore_ProjectKB_01024] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SKIFcore_ProjectKB_01025] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SLOTS_TAB] of Widget (widget_class_name "edu.stanford.smi.protege.widget.SlotsTab") (property_list [ProjectKB_2782_00026]) (is_hidden FALSE) (label "Slots")) ([SMINK001_ProjectKB_00000] of Property_List (properties [SMINK001_ProjectKB_00001] [SMINK001_ProjectKB_00002] [SMINK001_ProjectKB_00003] [SMINK001_ProjectKB_00004] [SMINK001_ProjectKB_00005] [SMINK001_ProjectKB_00006] [SMINK001_ProjectKB_00007] [SMINK001_ProjectKB_00008] [SMINK001_ProjectKB_00009] [SMINK001_ProjectKB_00010]) (name "class widget properties")) ([SMINK001_ProjectKB_00001] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget") (width 200) (height 120) (name ":SLOT-CONSTRAINTS") (property_list [SMINK001_ProjectKB_00044]) (x 400) (label "Constraints") (y 0)) ([SMINK001_ProjectKB_00002] of Widget (name ":DIRECT-INSTANCES")) ([SMINK001_ProjectKB_00003] of Widget (name ":DIRECT-SUBCLASSES")) ([SMINK001_ProjectKB_00004] of Widget (name ":DIRECT-SUPERCLASSES")) ([SMINK001_ProjectKB_00005] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 200) (height 120) (name ":DOCUMENTATION") (x 200) (label "Documentation") (y 0)) ([SMINK001_ProjectKB_00006] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 200) (height 60) (name ":NAME") (x 0) (label "Name") (y 0)) ([SMINK001_ProjectKB_00007] of Widget (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget") (width 200) (height 60) (name ":ROLE") (x 0) (label "Role") (y 60)) ([SMINK001_ProjectKB_00008] of Widget (name ":DIRECT-TYPE")) ([SMINK001_ProjectKB_00009] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget") (width 600) (height 150) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [SMINK001_ProjectKB_00051]) (x 0) (label "Template Slots") (y 120)) ([SMINK001_ProjectKB_00010] of Property_List (properties [SMINK001_ProjectKB_00011]) (name "layout properties")) ([SMINK001_ProjectKB_00011] of String (string_value ":DIRECT-TEMPLATE-SLOTS") (name "vertical_stretcher")) ([SMINK001_ProjectKB_00012] of Property_List (properties [SMINK001_ProjectKB_00013] [SMINK001_ProjectKB_00014] [SMINK001_ProjectKB_00015] [SMINK001_ProjectKB_00016] [SMINK001_ProjectKB_00017] [SMINK001_ProjectKB_00018] [SMINK001_ProjectKB_00019] [SMINK001_ProjectKB_00020] [SMINK001_ProjectKB_00021] [SMINK001_ProjectKB_00022] [SMINK001_ProjectKB_00023] [SMINK001_ProjectKB_00024] [SMINK001_ProjectKB_00025] [SMINK001_ProjectKB_00026] [SMINK001_ProjectKB_00027]) (name "slot widget properties")) ([SMINK001_ProjectKB_00013] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (width 200) (height 60) (name ":SLOT-MINIMUM-CARDINALITY") (x 200) (label "Cardinality") (y 120)) ([SMINK001_ProjectKB_00014] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (width 200) (height 35) (name ":SLOT-MAXIMUM-CARDINALITY") (x 200) (y 175)) ([SMINK001_ProjectKB_00015] of Widget (name ":SLOT-CONSTRAINTS")) ([SMINK001_ProjectKB_00016] of Widget (name ":DIRECT-TYPE")) ([SMINK001_ProjectKB_00017] of Widget (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (width 200) (height 120) (name ":SLOT-VALUES") (x 400) (label "Template Values") (y 0)) ([SMINK001_ProjectKB_00018] of Widget (name ":DIRECT-SUPERSLOTS")) ([SMINK001_ProjectKB_00019] of Widget (name ":DIRECT-SUBSLOTS")) ([SMINK001_ProjectKB_00020] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (width 200) (height 150) (name ":SLOT-DEFAULTS") (x 400) (label "Default") (y 120)) ([SMINK001_ProjectKB_00021] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 200) (height 120) (name ":DOCUMENTATION") (x 200) (label "Documentation") (y 0)) ([SMINK001_ProjectKB_00022] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (width 100) (height 60) (name ":SLOT-NUMERIC-MAXIMUM") (x 100) (label "Maximum") (y 210)) ([SMINK001_ProjectKB_00023] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (width 100) (height 60) (name ":SLOT-NUMERIC-MINIMUM") (x 0) (label "Minimum") (y 210)) ([SMINK001_ProjectKB_00024] of Widget (name ":ASSOCIATED-FACET")) ([SMINK001_ProjectKB_00025] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 200) (height 60) (name ":NAME") (x 0) (label "Name") (y 0)) ([SMINK001_ProjectKB_00026] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (width 200) (height 60) (name ":SLOT-INVERSE") (x 200) (label "Inverse Slot") (y 210)) ([SMINK001_ProjectKB_00027] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (width 200) (height 150) (name ":SLOT-VALUE-TYPE") (x 0) (label "Value Type") (y 60)) ([SMINK001_ProjectKB_00028] of Property_List (properties [SMINK001_ProjectKB_00029] [SMINK001_ProjectKB_00030] [SMINK001_ProjectKB_00031]) (name "facet widget properties")) ([SMINK001_ProjectKB_00029] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 200) (height 60) (name ":NAME") (x 0) (label "Name") (y 0)) ([SMINK001_ProjectKB_00030] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 200) (height 120) (name ":DOCUMENTATION") (x 200) (label "Documentation") (y 0)) ([SMINK001_ProjectKB_00031] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 200) (height 60) (name ":ASSOCIATED-SLOT") (x 0) (label "Associated Slot") (y 60)) ([SMINK001_ProjectKB_00032] of Property_List (properties [SMINK001_ProjectKB_00033] [SMINK001_ProjectKB_00034] [SMINK001_ProjectKB_00035] [SMINK001_ProjectKB_00036])) ([SMINK001_ProjectKB_00033] of Widget (name ":ANNOTATED-INSTANCE")) ([SMINK001_ProjectKB_00034] of Widget (name ":CREATOR")) ([SMINK001_ProjectKB_00035] of Widget (name ":CREATION-TIMESTAMP")) ([SMINK001_ProjectKB_00036] of Widget (widget_class_name "edu.stanford.smi.protege.widget.YellowStickyWidget") (width 200) (height 100) (name ":ANNOTATION-TEXT") (x 0) (is_hidden FALSE) (y 0)) ([SMINK001_ProjectKB_00037] of Property_List (properties [SMINK001_ProjectKB_00038] [SMINK001_ProjectKB_00040] [SMINK001_ProjectKB_00063] [SMINK001_ProjectKB_00065])) ([SMINK001_ProjectKB_00038] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 275) (height 60) (name ":PAL-NAME") (x 0) (is_hidden FALSE) (label "Name") (y 0)) ([SMINK001_ProjectKB_00039] of Widget (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalRangeWidget") (width 250) (height 180) (name ":PAL-RANGE") (x 275) (is_hidden FALSE) (label "Range") (y 180)) ([SMINK001_ProjectKB_00040] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 250) (height 180) (name ":PAL-DESCRIPTION") (x 275) (is_hidden FALSE) (label "Description") (y 0)) ([SMINK001_ProjectKB_00041] of Widget (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalConstraintWidget") (width 275) (height 300) (name ":PAL-STATEMENT") (x 0) (is_hidden FALSE) (label "Statement") (y 60)) ([SMINK001_ProjectKB_00042] of Widget (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab") (property_list [SMINK001_ProjectKB_00043]) (is_hidden TRUE)) ([SMINK001_ProjectKB_00043] of Property_List) ([SMINK001_ProjectKB_00044] of Property_List (properties [SMINK001_ProjectKB_00045] [SMINK001_ProjectKB_00046] [SMINK001_ProjectKB_00047] [SMINK001_ProjectKB_00048] [SMINK001_ProjectKB_00049] [SMINK001_ProjectKB_00050])) ([SMINK001_ProjectKB_00045] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SMINK001_ProjectKB_00046] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SMINK001_ProjectKB_00047] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SMINK001_ProjectKB_00048] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SMINK001_ProjectKB_00049] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SMINK001_ProjectKB_00050] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SMINK001_ProjectKB_00051] of Property_List (properties [SMINK001_ProjectKB_00052] [SMINK001_ProjectKB_00053] [SMINK001_ProjectKB_00054] [SMINK001_ProjectKB_00055] [SMINK001_ProjectKB_00056] [SMINK001_ProjectKB_00057] [SMINK001_ProjectKB_00058] [SMINK001_ProjectKB_00059])) ([SMINK001_ProjectKB_00052] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View selected slots")) ([SMINK001_ProjectKB_00053] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View selected slots at class")) ([SMINK001_ProjectKB_00054] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create slot and attach to class")) ([SMINK001_ProjectKB_00055] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove overrides from selected slots")) ([SMINK001_ProjectKB_00056] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SMINK001_ProjectKB_00057] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SMINK001_ProjectKB_00058] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move up")) ([SMINK001_ProjectKB_00059] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move down")) ([SMINK001_ProjectKB_00062] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 569) (name ":UBL-AXIOM") (property_list [SMINK001_ProjectKB_00067]) (x 0) (is_hidden FALSE) (y 0)) ([SMINK001_ProjectKB_00063] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 250) (height 60) (name ":PAL-STATEMENT") (property_list [SMINK001_ProjectKB_00064]) (x 0) (is_hidden FALSE) (y 240)) ([SMINK001_ProjectKB_00064] of Property_List) ([SMINK001_ProjectKB_00065] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 250) (height 60) (name ":PAL-RANGE") (property_list [SMINK001_ProjectKB_00066]) (x 0) (is_hidden FALSE) (y 180)) ([SMINK001_ProjectKB_00066] of Property_List) ([SMINK001_ProjectKB_00067] of Property_List (properties [SMINK001_ProjectKB_00068] [SMINK001_ProjectKB_00069] [SMINK001_ProjectKB_00070] [SMINK001_ProjectKB_00072] [SMINK001_ProjectKB_00074] [SMINK001_ProjectKB_00082] [SMINK001_ProjectKB_00084])) ([SMINK001_ProjectKB_00068] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 275) (height 60) (name ":PAL-NAME") (x 0) (is_hidden FALSE) (label "Name") (y 0)) ([SMINK001_ProjectKB_00069] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 260) (height 200) (name ":PAL-DESCRIPTION") (x 300) (is_hidden FALSE) (label "Description") (y 0)) ([SMINK001_ProjectKB_00070] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 300) (height 270) (name ":PAL-STATEMENT") (property_list [SMINK001_ProjectKB_00071]) (x 0) (is_hidden FALSE) (y 130)) ([SMINK001_ProjectKB_00071] of Property_List) ([SMINK001_ProjectKB_00072] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget") (width 290) (height 60) (name ":PAL-RANGE") (property_list [SMINK001_ProjectKB_00073]) (x 0) (is_hidden FALSE) (y 70)) ([SMINK001_ProjectKB_00073] of Property_List) ([SMINK001_ProjectKB_00074] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name ":isInModule") (property_list [SMINK001_ProjectKB_00075]) (x 310) (is_hidden FALSE) (y 230)) ([SMINK001_ProjectKB_00075] of Property_List (properties [SMINK001_ProjectKB_00076] [SMINK001_ProjectKB_00077] [SMINK001_ProjectKB_00078] [SMINK001_ProjectKB_00079] [SMINK001_ProjectKB_00080] [SMINK001_ProjectKB_00081])) ([SMINK001_ProjectKB_00076] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([SMINK001_ProjectKB_00077] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SMINK001_ProjectKB_00078] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SMINK001_ProjectKB_00079] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SMINK001_ProjectKB_00080] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SMINK001_ProjectKB_00081] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([SMINK001_ProjectKB_00082] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [SMINK001_ProjectKB_00083]) (x 310) (is_hidden FALSE) (y 340)) ([SMINK001_ProjectKB_00083] of Property_List) ([SMINK001_ProjectKB_00084] of Property_List (name "layout properties")) ([SMINK001_ProjectKB_00085] of String (string_value ":SUO-name") (name "Entity")) ([SMINK001_ProjectKB_00086] of String (string_value ":SUO-name") (name ":AbstractString")) ([SMINK001_ProjectKB_00087] of String (string_value ":SUO-name") (name ":Module")) ([SMINK001_ProjectKB_00088] of String (string_value ":PAL-NAME") (name ":PAL-CONSTRAINT")) ([SMINK001_ProjectKB_00089] of String (string_value ":SUO-name") (name ":UNARY-RELATION")) ([SMINK001_ProjectKB_00090] of String (string_value ":synonymousTerm") (name ":Synonym")) ([SMINK001_ProjectKB_00091] of String (string_value ":SUO-name") (name ":Group")) ([SMINK001_ProjectKB_00092] of String (string_value ":SUO-name") (name ":Assertion")) ([SMINK001_ProjectKB_00093] of String (string_value ":SUO-name") (name ":Language")) ([SMINK001_ProjectKB_00094] of String (string_value ":SUO-name") (name ":List")) ([SMINK001_ProjectKB_00095] of String (string_value ":SUO-name") (name ":SetOrClass")) ([SMINK001_ProjectKB_00096] of String (string_value ":SUO-name") (name ":UBL-SLOT")) ([SMINK001_ProjectKB_00097] of String (string_value ":SUO-name") (name ":CodeList")) ([SMINK001_ProjectKB_00098] of String (string_value ":SUO-name") (name ":StringList")) ([SMINK001_ProjectKB_00099] of String (string_value ":SUO-name") (name ":SUMOProposition")) ([SOURCES] of Property_List (properties [ProjectKB_2782_00000] [ProjectKB_2782_00050] [ProjectKB_2782_00051])) ([STANDARD_CLASS_FORM_WIDGET] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (name ":STANDARD-CLASS") (property_list [SMINK001_ProjectKB_00000])) ([STANDARD_SLOT_FORM_WIDGET] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (name ":STANDARD-SLOT") (property_list [SMINK001_ProjectKB_00012])) ([SUMO115_ProjectKB_01022] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 723) (height 1120) (name ":TernarySlot") (property_list [SUMO115_ProjectKB_01082]) (x 0) (is_hidden FALSE) (y 0)) ([SUMO115_ProjectKB_01082] of Property_List (properties [SUMO115_ProjectKB_01083] [SUMO115_ProjectKB_01084] [SUMO115_ProjectKB_01085] [SUMO115_ProjectKB_01086] [SUMO115_ProjectKB_01092] [SUMO115_ProjectKB_01093] [SUMO115_ProjectKB_01094] [SUMO115_ProjectKB_01100] [SUMO115_ProjectKB_01101] [SUMO115_ProjectKB_01102] [SUMO115_ProjectKB_01103] [SUMO115_ProjectKB_01104] [SUMO115_ProjectKB_01105] [SUMO115_ProjectKB_01106] [SUMO148_ProjectKB_00002] [SUMO148_ProjectKB_00210] [SUMO152b_ProjectKB_00103] [SUMO152b_ProjectKB_00207] [UBLinv015_ProjectKB_00005] [UBLinv018_ProjectKB_00002] [UBLinv018_ProjectKB_00008] [UBLinv018t_ProjectKB_00275] [UBLinv021_ProjectKB_00244] [SKIFcore_ProjectKB_00006] [SKIFcore4_ProjectKB_00908] [SKIFcore4_ProjectKB_01200] [SKIFcore4_ProjectKB_00302] [SKIFcore4_ProjectKB_02732]) (name "slow widget properties")) ([SUMO115_ProjectKB_01083] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (width 200) (height 60) (name ":SLOT-MINIMUM-CARDINALITY") (x 210) (label "Cardinality") (y 140)) ([SUMO115_ProjectKB_01084] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (width 200) (height 35) (name ":SLOT-MAXIMUM-CARDINALITY") (x 210) (y 200)) ([SUMO115_ProjectKB_01085] of Widget (name ":SLOT-CONSTRAINTS")) ([SUMO115_ProjectKB_01086] of Widget (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (width 200) (height 120) (name ":SLOT-VALUES") (property_list [SUMO115_ProjectKB_01087]) (x 20) (label "Values") (y 840)) ([SUMO115_ProjectKB_01087] of Property_List (properties [SUMO115_ProjectKB_01088] [SUMO115_ProjectKB_01089] [SUMO115_ProjectKB_01090] [SUMO115_ProjectKB_01091])) ([SUMO115_ProjectKB_01088] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([SUMO115_ProjectKB_01089] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SUMO115_ProjectKB_01090] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([SUMO115_ProjectKB_01091] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SUMO115_ProjectKB_01092] of Widget (name ":DIRECT-SUPERSLOTS")) ([SUMO115_ProjectKB_01093] of Widget (name ":DIRECT-SUBSLOTS")) ([SUMO115_ProjectKB_01094] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (width 200) (height 150) (name ":SLOT-DEFAULTS") (property_list [SUMO115_ProjectKB_01095]) (x 30) (label "Default") (y 970)) ([SUMO115_ProjectKB_01095] of Property_List (properties [SUMO115_ProjectKB_01096] [SUMO115_ProjectKB_01097] [SUMO115_ProjectKB_01098] [SUMO115_ProjectKB_01099])) ([SUMO115_ProjectKB_01096] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([SUMO115_ProjectKB_01097] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SUMO115_ProjectKB_01098] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([SUMO115_ProjectKB_01099] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SUMO115_ProjectKB_01100] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 250) (height 140) (name ":DOCUMENTATION") (x 210) (label "Documentation") (y 0)) ([SUMO115_ProjectKB_01101] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (width 100) (height 60) (name ":SLOT-NUMERIC-MAXIMUM") (x 100) (label "Maximum") (y 220)) ([SUMO115_ProjectKB_01102] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (width 100) (height 60) (name ":SLOT-NUMERIC-MINIMUM") (x 0) (label "Minimum") (y 220)) ([SUMO115_ProjectKB_01103] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 280) (height 60) (name ":NAME") (x 300) (label "Name") (y 390)) ([SUMO115_ProjectKB_01104] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (width 240) (height 60) (name ":SLOT-INVERSE") (x 210) (label "Inverse Slot") (y 230)) ([SUMO115_ProjectKB_01105] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (width 200) (height 150) (name ":SLOT-VALUE-TYPE") (x 0) (label "Value Type") (y 60)) ([SUMO115_ProjectKB_01106] of Property_List (name "layout properties")) ([SUMO116_ProjectKB_00204] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (name ":STANDARD-FACET") (property_list [SMINK001_ProjectKB_00028]) (is_hidden FALSE)) ([SUMO116_ProjectKB_00209] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 577) (name ":INSTANCE-ANNOTATION") (property_list [SMINK001_ProjectKB_00032]) (x 0) (is_hidden FALSE) (y 0)) ([SUMO148_ProjectKB_00002] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 250) (height 60) (name ":ASSOCIATED-FACET") (property_list [SUMO148_ProjectKB_00104]) (x 250) (is_hidden FALSE) (y 950)) ([SUMO148_ProjectKB_00104] of Property_List (properties [SUMO148_ProjectKB_00204] [SUMO148_ProjectKB_00205] [SUMO148_ProjectKB_00206] [SUMO148_ProjectKB_00207] [SUMO148_ProjectKB_00208] [SUMO148_ProjectKB_00209])) ([SUMO148_ProjectKB_00204] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SUMO148_ProjectKB_00205] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SUMO148_ProjectKB_00206] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SUMO148_ProjectKB_00207] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SUMO148_ProjectKB_00208] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SUMO148_ProjectKB_00209] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([SUMO148_ProjectKB_00210] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (width 250) (height 60) (name ":DIRECT-TYPE") (property_list [SUMO148_ProjectKB_00211]) (x 10) (is_hidden FALSE) (y 660)) ([SUMO148_ProjectKB_00211] of Property_List (properties [SUMO148_ProjectKB_00212] [SUMO148_ProjectKB_00213] [SUMO148_ProjectKB_00214])) ([SUMO148_ProjectKB_00212] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Class")) ([SUMO148_ProjectKB_00213] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SUMO148_ProjectKB_00214] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SUMO148_ProjectKB_00222] of Map) ([SUMO152b_ProjectKB_00103] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget") (width 280) (height 60) (name ":Domain2Class") (property_list [SUMO152b_ProjectKB_00203]) (x 0) (is_hidden FALSE) (y 290)) ([SUMO152b_ProjectKB_00203] of Property_List (properties [SUMO152b_ProjectKB_00204] [SUMO152b_ProjectKB_00205] [SUMO152b_ProjectKB_00206])) ([SUMO152b_ProjectKB_00204] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Class")) ([SUMO152b_ProjectKB_00205] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SUMO152b_ProjectKB_00206] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SUMO152b_ProjectKB_00207] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget") (width 280) (height 60) (name ":Domain2Value") (property_list [SUMO152b_ProjectKB_00208]) (x 10) (is_hidden FALSE) (y 420)) ([SUMO152b_ProjectKB_00208] of Property_List (properties [SUMO152b_ProjectKB_00209] [SUMO152b_ProjectKB_00210] [SUMO152b_ProjectKB_00211] [SUMO152b_ProjectKB_00212] [SUMO152b_ProjectKB_00213] [SUMO152b_ProjectKB_00214])) ([SUMO152b_ProjectKB_00209] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Instance")) ([SUMO152b_ProjectKB_00210] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([SUMO152b_ProjectKB_00211] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([SUMO152b_ProjectKB_00212] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([SUMO152b_ProjectKB_00213] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([SUMO152b_ProjectKB_00214] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([UBLcore_ProjectKB_00010] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 150) (name "disjointDecomposition") (property_list [UBLcore_ProjectKB_00011]) (x 0) (is_hidden FALSE) (y 760)) ([UBLcore_ProjectKB_00011] of Property_List (properties [UBLcore_ProjectKB_00012] [UBLcore_ProjectKB_00013] [UBLcore_ProjectKB_00014] [UBLcore_ProjectKB_00015] [UBLcore_ProjectKB_00016] [UBLcore_ProjectKB_00017])) ([UBLcore_ProjectKB_00012] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLcore_ProjectKB_00013] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLcore_ProjectKB_00014] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLcore_ProjectKB_00015] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLcore_ProjectKB_00016] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLcore_ProjectKB_00017] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLcore_ProjectKB_00026] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name "partition") (property_list [UBLcore_ProjectKB_00027]) (x 260) (is_hidden FALSE) (y 780)) ([UBLcore_ProjectKB_00027] of Property_List (properties [UBLcore_ProjectKB_00028] [UBLcore_ProjectKB_00029] [UBLcore_ProjectKB_00030] [UBLcore_ProjectKB_00031] [UBLcore_ProjectKB_00032] [UBLcore_ProjectKB_00033])) ([UBLcore_ProjectKB_00028] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLcore_ProjectKB_00029] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLcore_ProjectKB_00030] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLcore_ProjectKB_00031] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLcore_ProjectKB_00032] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLcore_ProjectKB_00033] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLcore_ProjectKB_05359] of Property_List (name "layout properties")) ([UBLinv011_ProjectKB_00002] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name ":Synonym") (property_list [UBLinv011_ProjectKB_00003]) (x 0) (is_hidden FALSE) (y 0)) ([UBLinv011_ProjectKB_00003] of Property_List (properties [UBLinv011_ProjectKB_00105] [SKIFcore3_ProjectKB_00296] [SKIFcore3_ProjectKB_00298] [SKIFcore3_ProjectKB_00306] [SKIFcore3_ProjectKB_00308] [SKIFcore4_ProjectKB_00045] [SKIFcore4_ProjectKB_01825])) ([UBLinv011_ProjectKB_00103] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 723) (height 1380) (name ":SYN-CLASS") (property_list [UBLinv011_ProjectKB_00203]) (x 0) (is_hidden FALSE) (y -802)) ([UBLinv011_ProjectKB_00105] of Property_List (name "layout properties")) ([UBLinv011_ProjectKB_00203] of Property_List (properties [UBLinv011_ProjectKB_00204] [UBLinv011_ProjectKB_00212] [UBLinv011_ProjectKB_00213] [UBLinv011_ProjectKB_00214] [UBLinv011_ProjectKB_00215] [UBLinv011_ProjectKB_00216] [UBLinv011_ProjectKB_00217] [UBLinv011_ProjectKB_00218] [UBLinv011_ProjectKB_00219] [UBLinv011_ProjectKB_00229] [UBLinv019_ProjectKB_00305] [UBLinv019_ProjectKB_00313] [UBLinv019_ProjectKB_00506] [UBLcore_ProjectKB_00010] [UBLcore_ProjectKB_00026] [KIFcore2_ProjectKB_00423] [KIFcore2_ProjectKB_00438] [SKIFcore4_ProjectKB_00625] [SKIFcore4_ProjectKB_00627] [SKIFcore4_ProjectKB_01827] [SKIFcore4_ProjectKB_01832] [SKIFcore_ProjectKB_00227]) (name "class widget properties")) ([UBLinv011_ProjectKB_00204] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget") (width 180) (height 170) (name ":SLOT-CONSTRAINTS") (property_list [UBLinv011_ProjectKB_00205]) (x 460) (label "Constraints") (y 0)) ([UBLinv011_ProjectKB_00205] of Property_List (properties [UBLinv011_ProjectKB_00206] [UBLinv011_ProjectKB_00207] [UBLinv011_ProjectKB_00208] [UBLinv011_ProjectKB_00209] [UBLinv011_ProjectKB_00210] [UBLinv011_ProjectKB_00211])) ([UBLinv011_ProjectKB_00206] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv011_ProjectKB_00207] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv011_ProjectKB_00208] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv011_ProjectKB_00209] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv011_ProjectKB_00210] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv011_ProjectKB_00211] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv011_ProjectKB_00212] of Widget (name ":DIRECT-INSTANCES")) ([UBLinv011_ProjectKB_00213] of Widget (name ":DIRECT-SUBCLASSES")) ([UBLinv011_ProjectKB_00214] of Widget (name ":DIRECT-SUPERCLASSES")) ([UBLinv011_ProjectKB_00215] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 260) (height 190) (name ":DOCUMENTATION") (x 200) (label "Documentation") (y 0)) ([UBLinv011_ProjectKB_00216] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 200) (height 60) (name ":NAME") (x 0) (label "Name") (y 0)) ([UBLinv011_ProjectKB_00217] of Widget (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget") (width 200) (height 60) (name ":ROLE") (x 0) (label "Role") (y 60)) ([UBLinv011_ProjectKB_00218] of Widget (name ":DIRECT-TYPE")) ([UBLinv011_ProjectKB_00219] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget") (width 610) (height 340) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [UBLinv011_ProjectKB_00220]) (x 0) (label "Template Slots") (y 180)) ([UBLinv011_ProjectKB_00220] of Property_List (properties [UBLinv011_ProjectKB_00325] [UBLinv011_ProjectKB_00326] [UBLinv011_ProjectKB_00327] [UBLinv011_ProjectKB_00328] [UBLinv011_ProjectKB_00329] [UBLinv011_ProjectKB_00330] [UBLinv011_ProjectKB_00331] [UBLinv011_ProjectKB_00332])) ([UBLinv011_ProjectKB_00229] of Property_List (properties [UBLinv011_ProjectKB_00230]) (name "layout properties")) ([UBLinv011_ProjectKB_00230] of String (string_value ":DIRECT-TEMPLATE-SLOTS") (name "vertical_stretcher")) ([UBLinv011_ProjectKB_00325] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View selected slots")) ([UBLinv011_ProjectKB_00326] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View selected slots at class")) ([UBLinv011_ProjectKB_00327] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create slot and attach to class")) ([UBLinv011_ProjectKB_00328] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove overrides from selected slots")) ([UBLinv011_ProjectKB_00329] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv011_ProjectKB_00330] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv011_ProjectKB_00331] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move up")) ([UBLinv011_ProjectKB_00332] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move down")) ([UBLinv014_ProjectKB_00002] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 740) (height 1060) (name ":UBL-SLOT") (property_list [UBLinv014_ProjectKB_00003]) (x 0) (is_hidden FALSE) (y -190)) ([UBLinv014_ProjectKB_00003] of Property_List (properties [UBLinv014_ProjectKB_00004] [UBLinv014_ProjectKB_00005] [UBLinv014_ProjectKB_00006] [UBLinv014_ProjectKB_00007] [UBLinv014_ProjectKB_00109] [UBLinv014_ProjectKB_00214] [UBLinv014_ProjectKB_00215] [UBLinv014_ProjectKB_00216] [UBLinv014_ProjectKB_00222] [UBLinv014_ProjectKB_00223] [UBLinv014_ProjectKB_00224] [UBLinv014_ProjectKB_00225] [UBLinv014_ProjectKB_00226] [UBLinv014_ProjectKB_00227] [UBLinv014_ProjectKB_00228] [UBLinv014_ProjectKB_00229] [UBLinv014_ProjectKB_00230] [UBLinv018_ProjectKB_00006] [UBLinv018t_ProjectKB_00273] [UBLinv019_ProjectKB_00204] [KIFcore2_ProjectKB_00604] [SKIFcore4_ProjectKB_00818] [SKIFcore4_ProjectKB_00603] [SKIFcore4_ProjectKB_00201] [SKIFcore4_ProjectKB_02727]) (name "slot widget properties")) ([UBLinv014_ProjectKB_00004] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget") (width 200) (height 60) (name ":SLOT-MINIMUM-CARDINALITY") (x 210) (label "Cardinality") (y 170)) ([UBLinv014_ProjectKB_00005] of Widget (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget") (width 200) (height 35) (name ":SLOT-MAXIMUM-CARDINALITY") (x 210) (y 230)) ([UBLinv014_ProjectKB_00006] of Widget (name ":SLOT-CONSTRAINTS")) ([UBLinv014_ProjectKB_00007] of Widget (name ":DIRECT-TYPE")) ([UBLinv014_ProjectKB_00109] of Widget (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget") (width 230) (height 120) (name ":SLOT-VALUES") (property_list [UBLinv014_ProjectKB_00209]) (x 330) (label "Template Values") (y 850)) ([UBLinv014_ProjectKB_00209] of Property_List (properties [UBLinv014_ProjectKB_00210] [UBLinv014_ProjectKB_00211] [UBLinv014_ProjectKB_00212] [UBLinv014_ProjectKB_00213])) ([UBLinv014_ProjectKB_00210] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([UBLinv014_ProjectKB_00211] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([UBLinv014_ProjectKB_00212] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv014_ProjectKB_00213] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv014_ProjectKB_00214] of Widget (name ":DIRECT-SUPERSLOTS")) ([UBLinv014_ProjectKB_00215] of Widget (name ":DIRECT-SUBSLOTS")) ([UBLinv014_ProjectKB_00216] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget") (width 250) (height 150) (name ":SLOT-DEFAULTS") (property_list [UBLinv014_ProjectKB_00217]) (x 20) (label "Default") (y 830)) ([UBLinv014_ProjectKB_00217] of Property_List (properties [UBLinv014_ProjectKB_00218] [UBLinv014_ProjectKB_00219] [UBLinv014_ProjectKB_00220] [UBLinv014_ProjectKB_00221])) ([UBLinv014_ProjectKB_00218] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View the selected value")) ([UBLinv014_ProjectKB_00219] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create a new value")) ([UBLinv014_ProjectKB_00220] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv014_ProjectKB_00221] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv014_ProjectKB_00222] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 240) (height 170) (name ":DOCUMENTATION") (x 240) (label "Documentation") (y 0)) ([UBLinv014_ProjectKB_00223] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget") (width 80) (height 60) (name ":SLOT-NUMERIC-MAXIMUM") (x 100) (label "Maximum") (y 240)) ([UBLinv014_ProjectKB_00224] of Widget (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget") (width 90) (height 60) (name ":SLOT-NUMERIC-MINIMUM") (x 0) (label "Minimum") (y 240)) ([UBLinv014_ProjectKB_00225] of Widget (name ":ASSOCIATED-FACET")) ([UBLinv014_ProjectKB_00226] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 260) (height 60) (name ":NAME") (x 320) (label "Name") (y 430)) ([UBLinv014_ProjectKB_00227] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget") (width 250) (height 60) (name ":SLOT-INVERSE") (x 210) (label "Inverse Slot") (y 270)) ([UBLinv014_ProjectKB_00228] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget") (width 200) (height 170) (name ":SLOT-VALUE-TYPE") (x 0) (label "Value Type") (y 60)) ([UBLinv014_ProjectKB_00229] of Property_List (name "layout properties")) ([UBLinv014_ProjectKB_00230] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 260) (height 350) (name ":AXIOMS") (property_list [UBLinv014_ProjectKB_00231]) (x 480) (is_hidden FALSE) (y 0)) ([UBLinv014_ProjectKB_00231] of Property_List) ([UBLinv015_ProjectKB_00005] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget") (width 250) (height 260) (name ":AXIOMS") (property_list [UBLinv015_ProjectKB_00006]) (x 460) (is_hidden FALSE) (y 0)) ([UBLinv015_ProjectKB_00006] of Property_List) ([UBLinv018_ProjectKB_00002] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 140) (height 60) (name ":Domain2Type") (property_list [UBLinv018_ProjectKB_00003]) (x 150) (is_hidden FALSE) (y 350)) ([UBLinv018_ProjectKB_00003] of Property_List) ([UBLinv018_ProjectKB_00006] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 125) (height 60) (name ":Domain1Type") (property_list [UBLinv018_ProjectKB_00007]) (x 10) (is_hidden FALSE) (y 300)) ([UBLinv018_ProjectKB_00007] of Property_List) ([UBLinv018_ProjectKB_00008] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget") (width 125) (height 60) (name ":Domain1Type") (property_list [UBLinv018_ProjectKB_00009]) (x 10) (is_hidden FALSE) (y 350)) ([UBLinv018_ProjectKB_00009] of Property_List) ([UBLinv018_ProjectKB_00303] of Widget (widget_class_name "tab_plugin_example.FrameCounterTab") (property_list [UBLinv018_ProjectKB_00403]) (is_hidden TRUE)) ([UBLinv018_ProjectKB_00403] of Property_List) ([UBLinv018t_ProjectKB_00273] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 240) (height 90) (name ":isInModule") (property_list [UBLinv018t_ProjectKB_00274]) (x 210) (is_hidden FALSE) (y 330)) ([UBLinv018t_ProjectKB_00274] of Property_List (properties [UBLinv018t_ProjectKB_00289] [UBLinv018t_ProjectKB_00290] [UBLinv018t_ProjectKB_00291] [UBLinv018t_ProjectKB_00292] [UBLinv018t_ProjectKB_00293] [UBLinv018t_ProjectKB_00294])) ([UBLinv018t_ProjectKB_00275] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 100) (name ":isInModule") (property_list [UBLinv018t_ProjectKB_00276]) (x 330) (is_hidden FALSE) (y 290)) ([UBLinv018t_ProjectKB_00276] of Property_List (properties [UBLinv018t_ProjectKB_00295] [UBLinv018t_ProjectKB_00296] [UBLinv018t_ProjectKB_00297] [UBLinv018t_ProjectKB_00298] [UBLinv018t_ProjectKB_00299] [UBLinv018t_ProjectKB_00300])) ([UBLinv018t_ProjectKB_00289] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv018t_ProjectKB_00290] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv018t_ProjectKB_00291] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv018t_ProjectKB_00292] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv018t_ProjectKB_00293] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv018t_ProjectKB_00294] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv018t_ProjectKB_00295] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv018t_ProjectKB_00296] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv018t_ProjectKB_00297] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv018t_ProjectKB_00298] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv018t_ProjectKB_00299] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv018t_ProjectKB_00300] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv019_ProjectKB_00204] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 120) (height 60) (name ":LOAD-SEQUENCE") (property_list [UBLinv019_ProjectKB_00205]) (x 20) (is_hidden FALSE) (y 360)) ([UBLinv019_ProjectKB_00205] of Property_List) ([UBLinv019_ProjectKB_00305] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 120) (name "disjoint") (property_list [UBLinv019_ProjectKB_00306]) (x 250) (is_hidden FALSE) (y 650)) ([UBLinv019_ProjectKB_00306] of Property_List (properties [SKIFcore2_ProjectKB_00103] [SKIFcore2_ProjectKB_00203] [SKIFcore2_ProjectKB_00204] [SKIFcore2_ProjectKB_00205] [SKIFcore2_ProjectKB_00206] [SKIFcore2_ProjectKB_00207])) ([UBLinv019_ProjectKB_00313] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 240) (height 90) (name ":isInModule") (property_list [UBLinv019_ProjectKB_00314]) (x 0) (is_hidden FALSE) (y 660)) ([UBLinv019_ProjectKB_00314] of Property_List (properties [UBLinv019_ProjectKB_00315] [UBLinv019_ProjectKB_00316] [UBLinv019_ProjectKB_00317] [UBLinv019_ProjectKB_00318] [UBLinv019_ProjectKB_00319] [UBLinv019_ProjectKB_00320])) ([UBLinv019_ProjectKB_00315] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv019_ProjectKB_00316] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv019_ProjectKB_00317] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv019_ProjectKB_00318] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv019_ProjectKB_00319] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv019_ProjectKB_00320] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv019_ProjectKB_00506] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 110) (height 60) (name ":LOAD-SEQUENCE") (property_list [UBLinv019_ProjectKB_00507]) (x 500) (is_hidden FALSE) (y 690)) ([UBLinv019_ProjectKB_00507] of Property_List) ([UBLinv021_ProjectKB_00002] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 723) (height 1180) (name ":UBL-CLASS") (property_list [UBLinv021_ProjectKB_00003]) (x 0) (is_hidden FALSE) (y -554)) ([UBLinv021_ProjectKB_00003] of Property_List (properties [UBLinv021_ProjectKB_00004] [UBLinv021_ProjectKB_00012] [UBLinv021_ProjectKB_00013] [UBLinv021_ProjectKB_00014] [UBLinv021_ProjectKB_00015] [UBLinv021_ProjectKB_00016] [UBLinv021_ProjectKB_00017] [UBLinv021_ProjectKB_00018] [UBLinv021_ProjectKB_00019] [UBLinv021_ProjectKB_00029] [UBLinv021_ProjectKB_00031] [UBLinv021_ProjectKB_00039] [UBLinv021_ProjectKB_00041] [UBLinv021_ProjectKB_00049] [UBLinv021_ProjectKB_00067] [KIFcore2_ProjectKB_00444] [KIFcore2_ProjectKB_00436] [SKIFcore4_ProjectKB_00049] [SKIFcore4_ProjectKB_00621] [SKIFcore4_ProjectKB_00710] [SKIFcore4_ProjectKB_02712] [SKIFcore_ProjectKB_00503] [SKIFcore_ProjectKB_00610] [SKIFcore_ProjectKB_00619]) (name "class widget properties")) ([UBLinv021_ProjectKB_00004] of Widget (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget") (width 210) (height 140) (name ":SLOT-CONSTRAINTS") (property_list [UBLinv021_ProjectKB_00005]) (x 480) (label "Constraints") (y 0)) ([UBLinv021_ProjectKB_00005] of Property_List (properties [UBLinv021_ProjectKB_00006] [UBLinv021_ProjectKB_00007] [UBLinv021_ProjectKB_00008] [UBLinv021_ProjectKB_00009] [UBLinv021_ProjectKB_00010] [UBLinv021_ProjectKB_00011])) ([UBLinv021_ProjectKB_00006] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv021_ProjectKB_00007] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv021_ProjectKB_00008] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv021_ProjectKB_00009] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv021_ProjectKB_00010] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv021_ProjectKB_00011] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv021_ProjectKB_00012] of Widget (name ":DIRECT-INSTANCES")) ([UBLinv021_ProjectKB_00013] of Widget (name ":DIRECT-SUBCLASSES")) ([UBLinv021_ProjectKB_00014] of Widget (name ":DIRECT-SUPERCLASSES")) ([UBLinv021_ProjectKB_00015] of Widget (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget") (width 260) (height 150) (name ":DOCUMENTATION") (x 220) (label "Documentation") (y 0)) ([UBLinv021_ProjectKB_00016] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget") (width 220) (height 60) (name ":NAME") (x 0) (label "Name") (y 0)) ([UBLinv021_ProjectKB_00017] of Widget (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget") (width 200) (height 60) (name ":ROLE") (x 0) (label "Role") (y 60)) ([UBLinv021_ProjectKB_00018] of Widget (name ":DIRECT-TYPE")) ([UBLinv021_ProjectKB_00019] of Widget (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget") (width 620) (height 340) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [UBLinv021_ProjectKB_00020]) (x 0) (label "Template Slots") (y 150)) ([UBLinv021_ProjectKB_00020] of Property_List (properties [UBLinv021_ProjectKB_00021] [UBLinv021_ProjectKB_00022] [UBLinv021_ProjectKB_00023] [UBLinv021_ProjectKB_00024] [UBLinv021_ProjectKB_00025] [UBLinv021_ProjectKB_00026] [UBLinv021_ProjectKB_00027] [UBLinv021_ProjectKB_00028])) ([UBLinv021_ProjectKB_00021] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View selected slots")) ([UBLinv021_ProjectKB_00022] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View selected slots at class")) ([UBLinv021_ProjectKB_00023] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create slot and attach to class")) ([UBLinv021_ProjectKB_00024] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove overrides from selected slots")) ([UBLinv021_ProjectKB_00025] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv021_ProjectKB_00026] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv021_ProjectKB_00027] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move up")) ([UBLinv021_ProjectKB_00028] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Move down")) ([UBLinv021_ProjectKB_00029] of Property_List (properties [UBLinv021_ProjectKB_00030]) (name "layout properties")) ([UBLinv021_ProjectKB_00030] of String (string_value ":DIRECT-TEMPLATE-SLOTS") (name "vertical_stretcher")) ([UBLinv021_ProjectKB_00031] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 270) (height 80) (name ":isInModule") (property_list [UBLinv021_ProjectKB_00032]) (x 10) (is_hidden FALSE) (y 490)) ([UBLinv021_ProjectKB_00032] of Property_List (properties [UBLinv021_ProjectKB_00033] [UBLinv021_ProjectKB_00034] [UBLinv021_ProjectKB_00035] [UBLinv021_ProjectKB_00036] [UBLinv021_ProjectKB_00037] [UBLinv021_ProjectKB_00038])) ([UBLinv021_ProjectKB_00033] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv021_ProjectKB_00034] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv021_ProjectKB_00035] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv021_ProjectKB_00036] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv021_ProjectKB_00037] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv021_ProjectKB_00038] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv021_ProjectKB_00039] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [UBLinv021_ProjectKB_00040]) (x 10) (is_hidden FALSE) (y 710)) ([UBLinv021_ProjectKB_00040] of Property_List) ([UBLinv021_ProjectKB_00041] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 280) (height 140) (name "disjoint") (property_list [UBLinv021_ProjectKB_00042]) (x 300) (is_hidden FALSE) (y 490)) ([UBLinv021_ProjectKB_00042] of Property_List (properties [SKIFcore2_ProjectKB_00208] [SKIFcore2_ProjectKB_00209] [SKIFcore2_ProjectKB_00210] [SKIFcore2_ProjectKB_00211] [SKIFcore2_ProjectKB_00212] [SKIFcore2_ProjectKB_00213])) ([UBLinv021_ProjectKB_00049] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 250) (height 140) (name "disjointDecomposition") (property_list [UBLinv021_ProjectKB_00050]) (x 10) (is_hidden FALSE) (y 570)) ([UBLinv021_ProjectKB_00050] of Property_List (properties [UBLinv021_ProjectKB_00143] [UBLinv021_ProjectKB_00144] [UBLinv021_ProjectKB_00145] [UBLinv021_ProjectKB_00146] [UBLinv021_ProjectKB_00147] [UBLinv021_ProjectKB_00148])) ([UBLinv021_ProjectKB_00067] of Widget (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget") (width 290) (height 140) (name "partition") (property_list [UBLinv021_ProjectKB_00068]) (x 300) (is_hidden FALSE) (y 630)) ([UBLinv021_ProjectKB_00068] of Property_List (properties [UBLinv021_ProjectKB_00137] [UBLinv021_ProjectKB_00138] [UBLinv021_ProjectKB_00139] [UBLinv021_ProjectKB_00140] [UBLinv021_ProjectKB_00141] [UBLinv021_ProjectKB_00142])) ([UBLinv021_ProjectKB_00137] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv021_ProjectKB_00138] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv021_ProjectKB_00139] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv021_ProjectKB_00140] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv021_ProjectKB_00141] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv021_ProjectKB_00142] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv021_ProjectKB_00143] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([UBLinv021_ProjectKB_00144] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([UBLinv021_ProjectKB_00145] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([UBLinv021_ProjectKB_00146] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([UBLinv021_ProjectKB_00147] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([UBLinv021_ProjectKB_00148] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([UBLinv021_ProjectKB_00244] of Widget (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget") (width 125) (height 60) (name ":LOAD-SEQUENCE") (property_list [UBLinv021_ProjectKB_00245]) (x 20) (is_hidden FALSE) (y 600)) ([UBLinv021_ProjectKB_00245] of Property_List) ([UBLmin_ProjectKB_05347] of Widget (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 738) (height 578) (name ":Module") (property_list [UBLmin_ProjectKB_05348]) (x 0) (is_hidden FALSE) (y 0)) ([UBLmin_ProjectKB_05348] of Property_List (properties [UBLcore_ProjectKB_05359] [SKIFcore4_ProjectKB_00007] [SKIFcore4_ProjectKB_00043] [SKIFcore4_ProjectKB_01116] [SKIFcore4_ProjectKB_02009]))