; Mon Mar 08 23:07:21 EST 2004 ; ;+ (version "1.8") ;+ (build "Build 1074") ([BROWSER_SLOT_NAMES] of Property_List (properties [SMINK012_ProjectKB_02531] [SMINK012_ProjectKB_02532] [SMINK012_ProjectKB_02533] [SMINK012_ProjectKB_02534] [SMINK012_ProjectKB_02535] [SMINK012_ProjectKB_02536] [SMINK012_ProjectKB_02537] [SMINK012_ProjectKB_02538] [SMINK012_ProjectKB_02539] [SMINK012_ProjectKB_02540] [SMINK012_ProjectKB_02541] [SMINK012_ProjectKB_02542] [SMINK012_ProjectKB_02543] [SMINK012_ProjectKB_02544] [SMINK012_ProjectKB_02545] [SMINK012_ProjectKB_02546])) ([CLSES_TAB] of Widget (label "Classes") (property_list [ProjectKB_2782_00009]) (is_hidden FALSE) (widget_class_name "edu.stanford.smi.protege.widget.ClsesTab")) ([FORMS_TAB] of Widget (label "Forms") (property_list [ProjectKB_2782_00038]) (is_hidden FALSE) (widget_class_name "edu.stanford.smi.protege.widget.FormsTab")) ([INSTANCES_TAB] of Widget (label "Instances") (property_list [ProjectKB_2782_00041]) (is_hidden FALSE) (widget_class_name "edu.stanford.smi.protege.widget.InstancesTab")) ([KIFcore2_ProjectKB_00423] of Widget (width 250) (name "partition2") (property_list [KIFcore2_ProjectKB_00424]) (y 1060) (is_hidden FALSE) (x 10) (height 180) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([KIFcore2_ProjectKB_00424] of Property_List (properties [KIFcore2_ProjectKB_00425] [KIFcore2_ProjectKB_00426] [KIFcore2_ProjectKB_00427] [KIFcore2_ProjectKB_00428] [KIFcore2_ProjectKB_00429] [KIFcore2_ProjectKB_00430])) ([KIFcore2_ProjectKB_00425] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00426] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00427] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00428] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00429] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00430] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00436] of Widget (width 250) (name "relatedExternalConcept") (property_list [KIFcore2_ProjectKB_00437]) (y 930) (is_hidden FALSE) (x 330) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 250) (name "relatedExternalConcept") (property_list [KIFcore2_ProjectKB_00439]) (y 920) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 270) (name "partition2") (property_list [KIFcore2_ProjectKB_00445]) (y 770) (is_hidden FALSE) (x 330) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([KIFcore2_ProjectKB_00445] of Property_List (properties [KIFcore2_ProjectKB_00446] [KIFcore2_ProjectKB_00447] [KIFcore2_ProjectKB_00448] [KIFcore2_ProjectKB_00449] [KIFcore2_ProjectKB_00450] [KIFcore2_ProjectKB_00451])) ([KIFcore2_ProjectKB_00446] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00447] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00448] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00449] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00450] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00451] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00604] of Widget (width 230) (name ":SUO-name") (property_list [KIFcore2_ProjectKB_00605]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([KIFcore2_ProjectKB_00605] of Property_List) ([KIFcore2_ProjectKB_00694] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00695] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00696] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00697] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00698] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00699] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00700] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00701] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00702] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([KIFcore2_ProjectKB_00703] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00704] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([KIFcore2_ProjectKB_00705] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([PAL_FORM_WIDGET] of Widget (width 738) (name ":PAL-CONSTRAINT") (property_list [SUMO152_ProjectKB_00237]) (y 0) (is_hidden FALSE) (x 0) (height 585) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([PROJECT] of Project (default_instance_widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (browser_slot_names [BROWSER_SLOT_NAMES]) (property_map [SUMO148_ProjectKB_00222]) (default_slot_metaclass ":TernarySlot") (default_cls_metaclass ":STANDARD-CLASS") (sources [SOURCES]) (default_facet_metaclass ":STANDARD-FACET") (options [ProjectKB_2782_00010]) (next_frame_number 427) (tabs [CLSES_TAB] [SLOTS_TAB] [FORMS_TAB] [INSTANCES_TAB] [ProjectKB_2782_00003] [ProjectKB_2782_00005] [UBLinv018_ProjectKB_00303] [SKIFcore4_ProjectKB_00000]) (customized_instance_widgets [UBLmin_ProjectKB_05347] [UBLinv014_ProjectKB_00002] [SKIFcore4_ProjectKB_00702] [SUMO116_ProjectKB_00209] [SKIFcore_ProjectKB_00517] [ProjectKB_2782_00043] [SKIFcore_ProjectKB_01503] [SKIFcore4_ProjectKB_00607] [SKIFcore4_ProjectKB_00093] [PAL_FORM_WIDGET] [UBLinv011_ProjectKB_00002] [UBLinv011_ProjectKB_00103] [SKIFcore4_ProjectKB_00411] [UBLinv021_ProjectKB_00002] [SUMO116_ProjectKB_00204] [SUMO115_ProjectKB_01022] [STANDARD_SLOT_FORM_WIDGET] [STANDARD_CLASS_FORM_WIDGET] [SKIFcore4_ProjectKB_00429] [SKIFcore4_ProjectKB_00031] [SKIFcore4_ProjectKB_00823] [SKIFcore4_ProjectKB_00083] [SKIFcore4_ProjectKB_00009] [SKIFcore4_ProjectKB_00029])) ([ProjectKB_2782_00000] of String (name "factory_class_name") (string_value "edu.stanford.smi.protege.storage.clips.ClipsKnowledgeBaseFactory")) ([ProjectKB_2782_00003] of Widget (property_list [ProjectKB_2782_00004]) (is_hidden TRUE) (widget_class_name "edu.stanford.smi.protege.widget.KAToolTab")) ([ProjectKB_2782_00004] of Property_List) ([ProjectKB_2782_00005] of Widget (property_list [ProjectKB_2782_00006]) (is_hidden TRUE) (widget_class_name "edu.stanford.smi.protege.widget.ClsesAndInstancesTab")) ([ProjectKB_2782_00006] of Property_List) ([ProjectKB_2782_00009] of Property_List (properties [shell1_ProjectKB_00052] [shell1_ProjectKB_00053])) ([ProjectKB_2782_00010] of Options (is_readonly FALSE) (display_abstract_class_icon TRUE) (update_modification_slots FALSE) (display_multi_parent_class_icon TRUE) (confirm_on_remove FALSE) (display_hidden_classes 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 (width 723) (name "Entity") (property_list [ProjectKB_2782_00044]) (y -12) (is_hidden FALSE) (x 0) (height 630) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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_00703])) ([ProjectKB_2782_00047] of Property_List (name "layout properties")) ([ProjectKB_2782_00050] of String (name "classes_file_name") (string_value "SMINK012.pont")) ([ProjectKB_2782_00051] of String (name "instances_file_name") (string_value "SMINK012.pins")) ([shell1_ProjectKB_00052] of Integer (name "ClsesTab.left_right") (integer_value 326)) ([shell1_ProjectKB_00053] of Integer (name "ClsesTab.left.top_bottom") (integer_value 508)) ([shell1_ProjectKB_00054] of Integer (name "SlotsTab.left_right") (integer_value 258)) ([shell1_ProjectKB_00055] of Integer (name "SlotTab.left.top_bottom") (integer_value 483)) ([shell1_ProjectKB_00056] of Integer (name "FormsTab.left_right") (integer_value 250)) ([shell1_ProjectKB_00057] of Integer (name "InstancesTab.left_right") (integer_value 262)) ([shell1_ProjectKB_00058] of Integer (name "InstancesTab.right.left_right") (integer_value 136)) ([SKIFcore2_ProjectKB_00103] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00203] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00204] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore2_ProjectKB_00205] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00206] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00207] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore2_ProjectKB_00208] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00209] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00210] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore2_ProjectKB_00211] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00212] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore2_ProjectKB_00213] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore3_ProjectKB_00296] of Widget (width 360) (name ":synonymousTerm") (property_list [SKIFcore3_ProjectKB_00297]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore3_ProjectKB_00297] of Property_List) ([SKIFcore3_ProjectKB_00298] of Widget (width 340) (name ":inLanguage") (property_list [SKIFcore3_ProjectKB_00299]) (y 120) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore3_ProjectKB_00299] of Property_List (properties [SKIFcore3_ProjectKB_00300] [SKIFcore3_ProjectKB_00301] [SKIFcore3_ProjectKB_00302] [SKIFcore3_ProjectKB_00303] [SKIFcore3_ProjectKB_00304] [SKIFcore3_ProjectKB_00305])) ([SKIFcore3_ProjectKB_00300] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00301] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore3_ProjectKB_00302] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00303] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00304] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore3_ProjectKB_00305] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore3_ProjectKB_00306] of Widget (width 125) (name ":hasUsage") (property_list [SKIFcore3_ProjectKB_00307]) (y 260) (is_hidden FALSE) (x 190) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore3_ProjectKB_00307] of Property_List) ([SKIFcore3_ProjectKB_00308] of Widget (width 125) (name ":hasFrequency") (property_list [SKIFcore3_ProjectKB_00309]) (y 250) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.FloatFieldWidget")) ([SKIFcore3_ProjectKB_00309] of Property_List) ([SKIFcore4_ProjectKB_00000] of Widget (label "SKIF Utilities") (property_list [SKIFcore4_ProjectKB_00001]) (is_hidden TRUE) (widget_class_name "skif_tab.SkifTab")) ([SKIFcore4_ProjectKB_00001] of Property_List) ([SKIFcore4_ProjectKB_00007] of Widget (width 360) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00008]) (y 130) (is_hidden FALSE) (x 10) (height 240) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00008] of Property_List) ([SKIFcore4_ProjectKB_00009] of Widget (width 738) (name ":KIFentity") (property_list [SKIFcore4_ProjectKB_00010]) (y 0) (is_hidden FALSE) (x 0) (height 585) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore4_ProjectKB_00010] of Property_List (properties [SKIFcore4_ProjectKB_00033] [SKIFcore4_ProjectKB_00623])) ([SKIFcore4_ProjectKB_00029] of Widget (width 738) (name ":List") (property_list [SKIFcore4_ProjectKB_00030]) (y 0) (is_hidden FALSE) (x 0) (height 578) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore4_ProjectKB_00030] of Property_List (properties [SKIFcore4_ProjectKB_00047])) ([SKIFcore4_ProjectKB_00031] of Widget (width 738) (name ":CodeList") (property_list [SKIFcore4_ProjectKB_00032]) (y 0) (is_hidden FALSE) (x 0) (height 578) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore4_ProjectKB_00032] of Property_List (properties [SKIFcore4_ProjectKB_00037])) ([SKIFcore4_ProjectKB_00033] of Widget (width 370) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00034]) (y 10) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00034] of Property_List) ([SKIFcore4_ProjectKB_00037] of Widget (width 350) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00038]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00038] of Property_List) ([SKIFcore4_ProjectKB_00043] of Widget (width 340) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00044]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00044] of Property_List) ([SKIFcore4_ProjectKB_00045] of Widget (width 270) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00046]) (y 180) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00046] of Property_List) ([SKIFcore4_ProjectKB_00047] of Widget (width 340) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00048]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00048] of Property_List) ([SKIFcore4_ProjectKB_00049] of Widget (width 330) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00050]) (y 1070) (is_hidden FALSE) (x 280) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00050] of Property_List) ([SKIFcore4_ProjectKB_00083] of Widget (width 738) (name ":AbstractString") (property_list [SKIFcore4_ProjectKB_00084]) (y 0) (is_hidden FALSE) (x 0) (height 578) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore4_ProjectKB_00084] of Property_List (properties [SKIFcore4_ProjectKB_00085] [SKIFcore4_ProjectKB_00087] [SKIFcore_ProjectKB_01407])) ([SKIFcore4_ProjectKB_00085] of Widget (width 370) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00086]) (y 10) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00086] of Property_List) ([SKIFcore4_ProjectKB_00087] of Widget (width 360) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00088]) (y 70) (is_hidden FALSE) (x 0) (height 220) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00088] of Property_List) ([SKIFcore4_ProjectKB_00093] of Widget (width 760) (name ":SUMOProposition") (property_list [SKIFcore4_ProjectKB_00094]) (y 0) (is_hidden FALSE) (x 0) (height 563) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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 (width 370) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00096]) (y 420) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00096] of Property_List) ([SKIFcore4_ProjectKB_00097] of Widget (width 370) (name ":literalTranscription") (property_list [SKIFcore4_ProjectKB_00098]) (y 0) (is_hidden FALSE) (x 0) (height 220) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00098] of Property_List) ([SKIFcore4_ProjectKB_00101] of Widget (width 250) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_00102]) (y 240) (is_hidden FALSE) (x 270) (height 90) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 300) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00203]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00104] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00201] of Widget (width 590) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_00301]) (y 860) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 260) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00303]) (y 860) (is_hidden FALSE) (x 300) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_00303] of Property_List (properties [SKIFcore4_ProjectKB_00304] [SKIFcore4_ProjectKB_00306] [SKIFcore4_ProjectKB_00507])) ([SKIFcore4_ProjectKB_00304] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00305] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00306] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00403] of Widget (width 320) (name ":AXIOMS") (property_list [SKIFcore4_ProjectKB_00503]) (y 10) (is_hidden FALSE) (x 330) (height 250) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00405] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00406] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00407] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00408] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00409] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_00410]) (y 330) (is_hidden FALSE) (x 280) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore4_ProjectKB_00410] of Property_List) ([SKIFcore4_ProjectKB_00411] of Widget (width 723) (name ":UnclassifiedProposition") (property_list [SKIFcore4_ProjectKB_00412]) (y -162) (is_hidden FALSE) (x 0) (height 740) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore4_ProjectKB_00412] of Property_List (properties [SKIFcore4_ProjectKB_00413] [SKIFcore4_ProjectKB_00415] [SKIFcore4_ProjectKB_00419] [SKIFcore4_ProjectKB_00427] [SKIFcore4_ProjectKB_02011] [SKIFcore4_ProjectKB_02216] [SKIFcore4_ProjectKB_02218] [SKIFcore_ProjectKB_00303] [SKIFcore_ProjectKB_01010])) ([SKIFcore4_ProjectKB_00413] of Widget (width 340) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00414]) (y 420) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00414] of Property_List) ([SKIFcore4_ProjectKB_00415] of Widget (width 390) (name ":literalTranscription") (property_list [SKIFcore4_ProjectKB_00416]) (y 0) (is_hidden FALSE) (x 0) (height 180) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00416] of Property_List) ([SKIFcore4_ProjectKB_00419] of Widget (width 250) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_00420]) (y 310) (is_hidden FALSE) (x 0) (height 90) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_00420] of Property_List (properties [SKIFcore4_ProjectKB_00421] [SKIFcore4_ProjectKB_00422] [SKIFcore4_ProjectKB_00423] [SKIFcore4_ProjectKB_00424] [SKIFcore4_ProjectKB_00425] [SKIFcore4_ProjectKB_00426])) ([SKIFcore4_ProjectKB_00421] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00422] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00423] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00424] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00425] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00426] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00427] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_00428]) (y 300) (is_hidden FALSE) (x 270) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore4_ProjectKB_00428] of Property_List) ([SKIFcore4_ProjectKB_00429] of Widget (width 738) (name ":Assertion") (property_list [SKIFcore4_ProjectKB_00430]) (y 0) (is_hidden FALSE) (x 0) (height 578) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore4_ProjectKB_00430] of Property_List (properties [SKIFcore4_ProjectKB_00431] [SKIFcore4_ProjectKB_00433] [SKIFcore4_ProjectKB_01807] [SKIFcore_ProjectKB_00612])) ([SKIFcore4_ProjectKB_00431] of Widget (width 370) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00432]) (y 310) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00432] of Property_List) ([SKIFcore4_ProjectKB_00433] of Widget (width 420) (name ":literalTranscription") (property_list [SKIFcore4_ProjectKB_00434]) (y 0) (is_hidden FALSE) (x 0) (height 160) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00434] of Property_List) ([SKIFcore4_ProjectKB_00503] of Property_List) ([SKIFcore4_ProjectKB_00507] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00603] of Widget (width 250) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00703]) (y 650) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_00607] of Widget (width 723) (name ":QuaternarySlot") (property_list [SKIFcore4_ProjectKB_00608]) (y 0) (is_hidden FALSE) (x 0) (height 1060) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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_01634] [SKIFcore4_ProjectKB_01639] [SKIFcore4_ProjectKB_01641] [SKIFcore4_ProjectKB_01649] [SKIFcore_ProjectKB_00708] [SKIFcore_ProjectKB_01603] [SKIFcore_ProjectKB_02011] [SKIFcore_ProjectKB_02016] [SKIFcore_ProjectKB_02024]) (name "slow widget properties")) ([SKIFcore4_ProjectKB_00609] of Widget (width 200) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (y 140) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget")) ([SKIFcore4_ProjectKB_00610] of Widget (width 200) (name ":SLOT-MAXIMUM-CARDINALITY") (y 200) (x 210) (height 35) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget")) ([SKIFcore4_ProjectKB_00611] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore4_ProjectKB_00612] of Widget (width 200) (label "Values") (name ":SLOT-VALUES") (property_list [SKIFcore4_ProjectKB_00613]) (y 630) (x 320) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget")) ([SKIFcore4_ProjectKB_00613] of Property_List (properties [SKIFcore4_ProjectKB_00715] [SKIFcore4_ProjectKB_00916] [SKIFcore4_ProjectKB_01016] [SKIFcore4_ProjectKB_01017])) ([SKIFcore4_ProjectKB_00614] of Widget (width 320) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00615]) (y 60) (is_hidden FALSE) (x 0) (height 290) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00615] of Property_List) ([SKIFcore4_ProjectKB_00621] of Widget (width 250) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00622]) (y 1060) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00622] of Property_List) ([SKIFcore4_ProjectKB_00623] of Widget (width 370) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00624]) (y 70) (is_hidden FALSE) (x 0) (height 240) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00624] of Property_List) ([SKIFcore4_ProjectKB_00625] of Widget (width 250) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00626]) (y 1050) (is_hidden FALSE) (x 270) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00626] of Property_List) ([SKIFcore4_ProjectKB_00627] of Widget (width 290) (name ":documentation") (property_list [SKIFcore4_ProjectKB_00628]) (y 1130) (is_hidden FALSE) (x 270) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00628] of Property_List) ([SKIFcore4_ProjectKB_00702] of Widget (width 723) (name ":SKIFdocs") (property_list [SKIFcore4_ProjectKB_00804]) (y 0) (is_hidden FALSE) (x 0) (height 660) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore4_ProjectKB_00703] of Property_List (properties [SKIFcore4_ProjectKB_00704] [SKIFcore4_ProjectKB_00705] [SKIFcore4_ProjectKB_00706])) ([SKIFcore4_ProjectKB_00704] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00705] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00706] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00710] of Widget (width 250) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00712]) (y 930) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_00712] of Property_List (properties [SKIFcore4_ProjectKB_00812] [SKIFcore4_ProjectKB_00813] [SKIFcore4_ProjectKB_00814])) ([SKIFcore4_ProjectKB_00715] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00803] of Widget (width 250) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_00903]) (y 510) (is_hidden FALSE) (x 20) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_00804] of Property_List (properties [SKIFcore4_ProjectKB_01005] [SKIFcore4_ProjectKB_01407] [SKIFcore4_ProjectKB_01508] [SKIFcore4_ProjectKB_01711] [SKIFcore4_ProjectKB_01916])) ([SKIFcore4_ProjectKB_00812] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00813] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00814] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00818] of Widget (width 250) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_00819]) (y 1020) (is_hidden FALSE) (x 310) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 750) (name ":VariableAritySlot") (property_list [SKIFcore4_ProjectKB_00824]) (y 0) (is_hidden FALSE) (x 0) (height 990) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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] [SKIFcore_ProjectKB_01303] [SKIFcore_ProjectKB_01807] [SKIFcore_ProjectKB_01815]) (name "slot widget properties")) ([SKIFcore4_ProjectKB_00825] of Widget (width 200) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (y 190) (x 230) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget")) ([SKIFcore4_ProjectKB_00826] of Widget (width 200) (name ":SLOT-MAXIMUM-CARDINALITY") (y 250) (x 230) (height 35) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget")) ([SKIFcore4_ProjectKB_00827] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore4_ProjectKB_00828] of Widget (name ":DIRECT-TYPE")) ([SKIFcore4_ProjectKB_00829] of Widget (width 250) (label "Template Values") (name ":SLOT-VALUES") (property_list [SKIFcore4_ProjectKB_00830]) (y 740) (x 290) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget")) ([SKIFcore4_ProjectKB_00830] of Property_List (properties [SKIFcore4_ProjectKB_00831] [SKIFcore4_ProjectKB_00832] [SKIFcore4_ProjectKB_00833] [SKIFcore4_ProjectKB_00834])) ([SKIFcore4_ProjectKB_00831] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00832] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00833] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00834] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00835] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore4_ProjectKB_00836] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore4_ProjectKB_00837] of Widget (width 200) (label "Default") (name ":SLOT-DEFAULTS") (property_list [SKIFcore4_ProjectKB_00838]) (y 880) (x 10) (height 110) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget")) ([SKIFcore4_ProjectKB_00838] of Property_List (properties [SKIFcore4_ProjectKB_00839] [SKIFcore4_ProjectKB_00840] [SKIFcore4_ProjectKB_00841] [SKIFcore4_ProjectKB_00842])) ([SKIFcore4_ProjectKB_00839] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00840] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00841] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00842] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00843] of Widget (width 250) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 240) (height 190) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([SKIFcore4_ProjectKB_00844] of Widget (width 80) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (y 240) (x 100) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget")) ([SKIFcore4_ProjectKB_00845] of Widget (width 90) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (y 240) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget")) ([SKIFcore4_ProjectKB_00846] of Widget (name ":ASSOCIATED-FACET")) ([SKIFcore4_ProjectKB_00847] of Widget (width 260) (label "Name") (name ":NAME") (y 350) (x 220) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([SKIFcore4_ProjectKB_00848] of Widget (width 250) (label "Inverse Slot") (name ":SLOT-INVERSE") (y 290) (x 220) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget")) ([SKIFcore4_ProjectKB_00849] of Widget (width 200) (label "Value Type") (name ":SLOT-VALUE-TYPE") (y 60) (x 0) (height 170) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget")) ([SKIFcore4_ProjectKB_00850] of Property_List (name "layout properties")) ([SKIFcore4_ProjectKB_00851] of Widget (width 260) (name ":AXIOMS") (property_list [SKIFcore4_ProjectKB_00852]) (y 0) (is_hidden FALSE) (x 490) (height 350) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_00852] of Property_List) ([SKIFcore4_ProjectKB_00853] of Widget (width 125) (name ":Domain1Type") (property_list [SKIFcore4_ProjectKB_00854]) (y 300) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore4_ProjectKB_00854] of Property_List) ([SKIFcore4_ProjectKB_00855] of Widget (width 210) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_00856]) (y 360) (is_hidden FALSE) (x 0) (height 90) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_00856] of Property_List (properties [SKIFcore4_ProjectKB_00857] [SKIFcore4_ProjectKB_00858] [SKIFcore4_ProjectKB_00859] [SKIFcore4_ProjectKB_00860] [SKIFcore4_ProjectKB_00861] [SKIFcore4_ProjectKB_00862])) ([SKIFcore4_ProjectKB_00857] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00858] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00859] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00860] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00861] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00862] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00863] of Widget (width 120) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_00864]) (y 530) (is_hidden FALSE) (x 290) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore4_ProjectKB_00864] of Property_List) ([SKIFcore4_ProjectKB_00865] of Widget (width 240) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_00866]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_00866] of Property_List) ([SKIFcore4_ProjectKB_00880] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00881] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00882] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00883] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00884] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00885] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00886] of Widget (width 260) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_00887]) (y 730) (is_hidden FALSE) (x 0) (height 130) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_00887] of Property_List (properties [SKIFcore4_ProjectKB_00888] [SKIFcore4_ProjectKB_00889] [SKIFcore4_ProjectKB_00890] [SKIFcore4_ProjectKB_00891] [SKIFcore4_ProjectKB_00892] [SKIFcore4_ProjectKB_00893])) ([SKIFcore4_ProjectKB_00888] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00889] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00890] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00891] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00892] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00893] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00903] of Property_List (properties [SKIFcore4_ProjectKB_00904] [SKIFcore4_ProjectKB_00905] [SKIFcore4_ProjectKB_00906])) ([SKIFcore4_ProjectKB_00904] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00905] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00906] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00908] of Widget (width 250) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_00909]) (y 840) (is_hidden FALSE) (x 20) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_00909] of Property_List (properties [SKIFcore4_ProjectKB_00910] [SKIFcore4_ProjectKB_00911] [SKIFcore4_ProjectKB_00912] [SKIFcore4_ProjectKB_00913] [SKIFcore4_ProjectKB_00914] [SKIFcore4_ProjectKB_00915])) ([SKIFcore4_ProjectKB_00910] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00911] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00912] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00913] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00914] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_00915] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_00916] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01003] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01005] of Widget (width 370) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_01206]) (y 520) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_01016] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01017] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01018] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore4_ProjectKB_01103] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01104] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01105] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01106] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01107] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01116] of Widget (width 125) (name ":StartingBlock") (property_list [SKIFcore4_ProjectKB_01117]) (y 60) (is_hidden FALSE) (x 280) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore4_ProjectKB_01117] of Property_List) ([SKIFcore4_ProjectKB_01206] of Property_List) ([SKIFcore4_ProjectKB_01220] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore4_ProjectKB_01403] of Widget (width 250) (name ":argumentList") (property_list [SKIFcore4_ProjectKB_01503]) (y 240) (is_hidden FALSE) (x 10) (height 160) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_01407] of Widget (width 370) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01507]) (y 580) (is_hidden FALSE) (x 10) (height 80) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_01421] of Widget (width 200) (label "Default") (name ":SLOT-DEFAULTS") (property_list [SKIFcore4_ProjectKB_01521]) (y 900) (x 20) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget")) ([SKIFcore4_ProjectKB_01503] of Property_List (properties [SKIFcore4_ProjectKB_01504] [SKIFcore4_ProjectKB_01706] [SKIFcore4_ProjectKB_01806])) ([SKIFcore4_ProjectKB_01504] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01507] of Property_List) ([SKIFcore4_ProjectKB_01508] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_01509]) (y 430) (is_hidden FALSE) (x 330) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore4_ProjectKB_01509] of Property_List) ([SKIFcore4_ProjectKB_01510] of Widget (width 370) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01511]) (y 10) (is_hidden FALSE) (x 390) (height 220) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_01511] of Property_List) ([SKIFcore4_ProjectKB_01512] of Widget (width 250) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_01513]) (y 460) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([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 (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01523] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01524] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01525] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01526] of Widget (width 250) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 210) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([SKIFcore4_ProjectKB_01527] of Widget (width 100) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (y 220) (x 100) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget")) ([SKIFcore4_ProjectKB_01528] of Widget (width 100) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (y 220) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget")) ([SKIFcore4_ProjectKB_01529] of Widget (width 270) (label "Name") (name ":NAME") (y 1000) (x 250) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([SKIFcore4_ProjectKB_01530] of Widget (width 240) (label "Inverse Slot") (name ":SLOT-INVERSE") (y 230) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget")) ([SKIFcore4_ProjectKB_01531] of Widget (width 200) (label "Value Type") (name ":SLOT-VALUE-TYPE") (y 60) (x 0) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget")) ([SKIFcore4_ProjectKB_01532] of Property_List (name "layout properties")) ([SKIFcore4_ProjectKB_01533] of Widget (width 250) (name ":ASSOCIATED-FACET") (property_list [SKIFcore4_ProjectKB_01534]) (y 950) (is_hidden FALSE) (x 250) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore4_ProjectKB_01534] of Property_List (properties [SKIFcore4_ProjectKB_01535] [SKIFcore4_ProjectKB_01536] [SKIFcore4_ProjectKB_01537] [SKIFcore4_ProjectKB_01538] [SKIFcore4_ProjectKB_01539] [SKIFcore4_ProjectKB_01540])) ([SKIFcore4_ProjectKB_01535] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01536] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01537] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01538] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01539] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01540] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01541] of Widget (width 250) (name ":DIRECT-TYPE") (property_list [SKIFcore4_ProjectKB_01542]) (y 890) (is_hidden FALSE) (x 270) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SKIFcore4_ProjectKB_01542] of Property_List (properties [SKIFcore4_ProjectKB_01543] [SKIFcore4_ProjectKB_01544] [SKIFcore4_ProjectKB_01545])) ([SKIFcore4_ProjectKB_01543] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01544] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01545] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01546] of Widget (width 280) (name ":Domain2Class") (property_list [SKIFcore4_ProjectKB_01547]) (y 290) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SKIFcore4_ProjectKB_01547] of Property_List (properties [SKIFcore4_ProjectKB_01548] [SKIFcore4_ProjectKB_01549] [SKIFcore4_ProjectKB_01550])) ([SKIFcore4_ProjectKB_01548] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01549] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01550] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01551] of Widget (width 280) (name ":Domain2Value") (property_list [SKIFcore4_ProjectKB_01552]) (y 410) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore4_ProjectKB_01552] of Property_List (properties [SKIFcore4_ProjectKB_01553] [SKIFcore4_ProjectKB_01554] [SKIFcore4_ProjectKB_01555] [SKIFcore4_ProjectKB_01556] [SKIFcore4_ProjectKB_01557] [SKIFcore4_ProjectKB_01558])) ([SKIFcore4_ProjectKB_01553] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01554] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01555] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01556] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01557] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01558] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01559] of Widget (width 250) (name ":AXIOMS") (property_list [SKIFcore4_ProjectKB_01560]) (y 0) (is_hidden FALSE) (x 460) (height 260) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_01560] of Property_List) ([SKIFcore4_ProjectKB_01561] of Widget (width 140) (name ":Domain2Type") (property_list [SKIFcore4_ProjectKB_01562]) (y 340) (is_hidden FALSE) (x 150) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore4_ProjectKB_01562] of Property_List) ([SKIFcore4_ProjectKB_01563] of Widget (width 125) (name ":Domain1Type") (property_list [SKIFcore4_ProjectKB_01564]) (y 340) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore4_ProjectKB_01564] of Property_List) ([SKIFcore4_ProjectKB_01565] of Widget (width 250) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_01566]) (y 290) (is_hidden FALSE) (x 330) (height 100) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_01566] of Property_List (properties [SKIFcore4_ProjectKB_01567] [SKIFcore4_ProjectKB_01568] [SKIFcore4_ProjectKB_01569] [SKIFcore4_ProjectKB_01570] [SKIFcore4_ProjectKB_01571] [SKIFcore4_ProjectKB_01572])) ([SKIFcore4_ProjectKB_01567] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01568] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01569] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01570] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01571] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01572] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01573] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [SKIFcore4_ProjectKB_01574]) (y 680) (is_hidden FALSE) (x 40) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore4_ProjectKB_01574] of Property_List) ([SKIFcore4_ProjectKB_01575] of Widget (width 210) (name ":SUO-name") (property_list [SKIFcore4_ProjectKB_01576]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_01576] of Property_List) ([SKIFcore4_ProjectKB_01577] of Widget (width 250) (name "disjointRelation") (property_list [SKIFcore4_ProjectKB_01578]) (y 510) (is_hidden FALSE) (x 320) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_01578] of Property_List (properties [SKIFcore4_ProjectKB_01579] [SKIFcore4_ProjectKB_01580] [SKIFcore4_ProjectKB_01581] [SKIFcore4_ProjectKB_01582] [SKIFcore4_ProjectKB_01583] [SKIFcore4_ProjectKB_01584])) ([SKIFcore4_ProjectKB_01579] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01580] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01581] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01582] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01583] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01584] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01634] of Widget (width 250) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_01635]) (y 390) (is_hidden FALSE) (x 330) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_01635] of Property_List (properties [SKIFcore4_ProjectKB_01636] [SKIFcore4_ProjectKB_01637] [SKIFcore4_ProjectKB_01638])) ([SKIFcore4_ProjectKB_01636] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01637] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01638] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01639] of Widget (width 125) (name ":Domain3Type") (property_list [SKIFcore4_ProjectKB_01640]) (y 480) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore4_ProjectKB_01640] of Property_List) ([SKIFcore4_ProjectKB_01641] of Widget (width 250) (name ":Domain3Value") (property_list [SKIFcore4_ProjectKB_01642]) (y 610) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore4_ProjectKB_01642] of Property_List (properties [SKIFcore4_ProjectKB_01643] [SKIFcore4_ProjectKB_01644] [SKIFcore4_ProjectKB_01645] [SKIFcore4_ProjectKB_01646] [SKIFcore4_ProjectKB_01647] [SKIFcore4_ProjectKB_01648])) ([SKIFcore4_ProjectKB_01643] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01644] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01645] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01646] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01647] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01648] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01649] of Widget (width 250) (name ":Domain3Class") (property_list [SKIFcore4_ProjectKB_01650]) (y 540) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SKIFcore4_ProjectKB_01650] of Property_List (properties [SKIFcore4_ProjectKB_01651] [SKIFcore4_ProjectKB_01652] [SKIFcore4_ProjectKB_01653])) ([SKIFcore4_ProjectKB_01651] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01652] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01653] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01706] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01711] of Widget (width 610) (name ":commentLines") (property_list [SKIFcore4_ProjectKB_01811]) (y 10) (is_hidden FALSE) (x 10) (height 410) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_01715] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01806] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01807] of Widget (width 410) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01909]) (y 380) (is_hidden FALSE) (x 0) (height 160) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_01811] of Property_List (properties [SKIFcore4_ProjectKB_01812] [SKIFcore4_ProjectKB_01813] [SKIFcore4_ProjectKB_01814])) ([SKIFcore4_ProjectKB_01812] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01813] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01814] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01815] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01816] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01817] of Widget (width 550) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_01818]) (y 600) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01820] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01821] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01822] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01823] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01824] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01825] of Widget (width 340) (name ":documentation") (property_list [SKIFcore4_ProjectKB_01826]) (y 310) (is_hidden FALSE) (x 0) (height 180) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_01826] of Property_List) ([SKIFcore4_ProjectKB_01827] of Widget (width 250) (name "relatedInternalConcept") (property_list [SKIFcore4_ProjectKB_01828]) (y 920) (is_hidden FALSE) (x 270) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_01828] of Property_List (properties [SKIFcore4_ProjectKB_01829] [SKIFcore4_ProjectKB_01830] [SKIFcore4_ProjectKB_01831])) ([SKIFcore4_ProjectKB_01829] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01830] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01831] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01832] of Widget (width 250) (name ":SYNONYMS") (property_list [SKIFcore4_ProjectKB_01833]) (y 730) (is_hidden FALSE) (x 300) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_01833] of Property_List (properties [SKIFcore4_ProjectKB_01834] [SKIFcore4_ProjectKB_01835] [SKIFcore4_ProjectKB_01836] [SKIFcore4_ProjectKB_01837] [SKIFcore4_ProjectKB_01838] [SKIFcore4_ProjectKB_01839])) ([SKIFcore4_ProjectKB_01834] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01835] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01836] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01837] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01838] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_01839] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_01909] of Property_List) ([SKIFcore4_ProjectKB_01916] of Widget (width 290) (name ":isInModule") (property_list [SKIFcore4_ProjectKB_02016]) (y 430) (is_hidden FALSE) (x 10) (height 90) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore4_ProjectKB_02009] of Widget (width 260) (name ":inputFile") (property_list [SKIFcore4_ProjectKB_02010]) (y 60) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore4_ProjectKB_02010] of Property_List) ([SKIFcore4_ProjectKB_02011] of Widget (width 370) (name ":argumentList") (property_list [SKIFcore4_ProjectKB_02113]) (y 180) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_02016] of Property_List (properties [SKIFcore4_ProjectKB_02017] [SKIFcore4_ProjectKB_02018] [SKIFcore4_ProjectKB_02120] [SKIFcore4_ProjectKB_02220] [SKIFcore4_ProjectKB_02221] [SKIFcore4_ProjectKB_02222])) ([SKIFcore4_ProjectKB_02017] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02018] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02113] of Property_List (properties [SKIFcore4_ProjectKB_02213] [SKIFcore4_ProjectKB_02214] [SKIFcore4_ProjectKB_02215])) ([SKIFcore4_ProjectKB_02120] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_02213] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02214] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02215] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02216] of Widget (width 125) (name ":blockLineNumber") (property_list [SKIFcore4_ProjectKB_02217]) (y 360) (is_hidden FALSE) (x 260) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore4_ProjectKB_02217] of Property_List) ([SKIFcore4_ProjectKB_02218] of Widget (width 370) (name ":documentation") (property_list [SKIFcore4_ProjectKB_02219]) (y 620) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore4_ProjectKB_02219] of Property_List) ([SKIFcore4_ProjectKB_02220] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02221] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02222] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore4_ProjectKB_02712] of Widget (width 330) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02713]) (y 770) (is_hidden FALSE) (x 0) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_02713] of Property_List (properties [SKIFcore4_ProjectKB_02716] [SKIFcore4_ProjectKB_02717] [SKIFcore4_ProjectKB_02718])) ([SKIFcore4_ProjectKB_02716] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02717] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02718] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02727] of Widget (width 300) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02728]) (y 430) (is_hidden FALSE) (x 280) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_02728] of Property_List (properties [SKIFcore4_ProjectKB_02729] [SKIFcore4_ProjectKB_02730] [SKIFcore4_ProjectKB_02731])) ([SKIFcore4_ProjectKB_02729] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02730] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02731] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02732] of Widget (width 310) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02733]) (y 450) (is_hidden FALSE) (x 300) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_02733] of Property_List (properties [SKIFcore4_ProjectKB_02734] [SKIFcore4_ProjectKB_02735] [SKIFcore4_ProjectKB_02736])) ([SKIFcore4_ProjectKB_02734] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02735] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02736] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02737] of Widget (width 300) (name ":identicalTo") (property_list [SKIFcore4_ProjectKB_02738]) (y 360) (is_hidden FALSE) (x 10) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore4_ProjectKB_02738] of Property_List (properties [SKIFcore4_ProjectKB_02739] [SKIFcore4_ProjectKB_02740] [SKIFcore4_ProjectKB_02741])) ([SKIFcore4_ProjectKB_02739] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02740] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore4_ProjectKB_02741] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00002] of Widget (width 290) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_00003]) (y 410) (is_hidden FALSE) (x 250) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_00003] of Property_List (properties [SKIFcore_ProjectKB_00004] [SKIFcore_ProjectKB_00005] [SKIFcore_ProjectKB_00107])) ([SKIFcore_ProjectKB_00004] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00005] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00006] of Widget (width 210) (name ":SUO-name") (property_list [SKIFcore_ProjectKB_00007]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore_ProjectKB_00007] of Property_List) ([SKIFcore_ProjectKB_00103] of Widget (width 250) (name ":isInModule") (property_list [SKIFcore_ProjectKB_00203]) (y 420) (is_hidden FALSE) (x 340) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_00107] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00203] of Property_List (properties [SKIFcore_ProjectKB_00204] [SKIFcore_ProjectKB_00205] [SKIFcore_ProjectKB_00206] [SKIFcore_ProjectKB_00207] [SKIFcore_ProjectKB_00208] [SKIFcore_ProjectKB_00209])) ([SKIFcore_ProjectKB_00204] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00205] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00206] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00207] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00208] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00209] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00210] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [SKIFcore_ProjectKB_00211]) (y 540) (is_hidden FALSE) (x 340) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore_ProjectKB_00211] of Property_List) ([SKIFcore_ProjectKB_00227] of Widget (width 250) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_00228]) (y 1260) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_00228] of Property_List (properties [SKIFcore_ProjectKB_00229] [SKIFcore_ProjectKB_00230] [SKIFcore_ProjectKB_00231])) ([SKIFcore_ProjectKB_00229] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00230] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00231] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00303] of Widget (width 270) (name ":uncInstList") (property_list [SKIFcore_ProjectKB_00403]) (y 490) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_00403] of Property_List (properties [SKIFcore_ProjectKB_00505] [SKIFcore_ProjectKB_00706] [SKIFcore_ProjectKB_00806] [SKIFcore_ProjectKB_00807] [SKIFcore_ProjectKB_00909] [SKIFcore_ProjectKB_01009])) ([SKIFcore_ProjectKB_00406] of Widget (width 330) (name ":isRestrictedTo") (property_list [SKIFcore_ProjectKB_00407]) (y 580) (is_hidden FALSE) (x 290) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_00407] of Property_List (properties [SKIFcore_ProjectKB_01004] [SKIFcore_ProjectKB_01005] [SKIFcore_ProjectKB_01006])) ([SKIFcore_ProjectKB_00408] of Widget (width 250) (name ":isRestrictedTo") (property_list [SKIFcore_ProjectKB_00409]) (y 590) (is_hidden FALSE) (x 300) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_00409] of Property_List (properties [SKIFcore_ProjectKB_01007] [SKIFcore_ProjectKB_01008] [SKIFcore_ProjectKB_01110])) ([SKIFcore_ProjectKB_00503] of Widget (width 350) (name ":ClassPredicates") (property_list [SKIFcore_ProjectKB_00603]) (y 1140) (is_hidden FALSE) (x 270) (height 270) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_00505] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00517] of Widget (width 738) (name "InheritableRelation") (property_list [SKIFcore_ProjectKB_00518]) (y 0) (is_hidden FALSE) (x 0) (height 578) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore_ProjectKB_00518] of Property_List (properties [SKIFcore_ProjectKB_00519] [SKIFcore_ProjectKB_00521] [SKIFcore_ProjectKB_00618] [SKIFcore_ProjectKB_00725])) ([SKIFcore_ProjectKB_00519] of Widget (width 360) (name ":documentation") (property_list [SKIFcore_ProjectKB_00520]) (y 180) (is_hidden FALSE) (x 10) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore_ProjectKB_00520] of Property_List) ([SKIFcore_ProjectKB_00521] of Widget (width 370) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_00522]) (y 10) (is_hidden FALSE) (x 10) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_00522] of Property_List (properties [SKIFcore_ProjectKB_00523] [SKIFcore_ProjectKB_00524] [SKIFcore_ProjectKB_00525])) ([SKIFcore_ProjectKB_00523] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00524] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00525] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00603] of Property_List (properties [SKIFcore_ProjectKB_00604] [SKIFcore_ProjectKB_00605] [SKIFcore_ProjectKB_00606])) ([SKIFcore_ProjectKB_00604] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00605] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00606] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00611] of Widget (width 250) (name ":hasDefaultValue") (property_list [SKIFcore_ProjectKB_00713]) (y 1240) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_00612] of Widget (width 330) (name ":argumentList") (property_list [SKIFcore_ProjectKB_00613]) (y 160) (is_hidden FALSE) (x 0) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_00613] of Property_List (properties [SKIFcore_ProjectKB_00614] [SKIFcore_ProjectKB_00615] [SKIFcore_ProjectKB_00616])) ([SKIFcore_ProjectKB_00614] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00615] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00616] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00618] of Widget (width 250) (name ":isInModule") (property_list [SKIFcore_ProjectKB_00718]) (y 330) (is_hidden FALSE) (x 140) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_00703] of Widget (width 250) (name ":InstanceAssertions") (property_list [SKIFcore_ProjectKB_00803]) (y 280) (is_hidden FALSE) (x 330) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_00706] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00708] of Widget (width 250) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_00808]) (y 1120) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_00713] of Property_List (properties [SKIFcore_ProjectKB_00914] [SKIFcore_ProjectKB_01014] [SKIFcore_ProjectKB_01015] [SKIFcore_ProjectKB_01016] [SKIFcore_ProjectKB_01017] [SKIFcore_ProjectKB_01018])) ([SKIFcore_ProjectKB_00718] of Property_List (properties [SKIFcore_ProjectKB_00719] [SKIFcore_ProjectKB_00720] [SKIFcore_ProjectKB_00721] [SKIFcore_ProjectKB_00722] [SKIFcore_ProjectKB_00723] [SKIFcore_ProjectKB_00724])) ([SKIFcore_ProjectKB_00719] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00720] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00721] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00722] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00723] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00724] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00725] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [SKIFcore_ProjectKB_00726]) (y 340) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore_ProjectKB_00726] of Property_List) ([SKIFcore_ProjectKB_00803] of Property_List (properties [SKIFcore_ProjectKB_00810] [SKIFcore_ProjectKB_00811] [SKIFcore_ProjectKB_00812] [SKIFcore_ProjectKB_00813] [SKIFcore_ProjectKB_00814] [SKIFcore_ProjectKB_00815])) ([SKIFcore_ProjectKB_00806] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00807] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00808] of Property_List (properties [SKIFcore_ProjectKB_00809] [SKIFcore_ProjectKB_00911] [SKIFcore_ProjectKB_01011])) ([SKIFcore_ProjectKB_00809] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00810] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00811] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00812] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00813] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00814] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00815] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_00903] of Widget (width 270) (name ":isaSynonymOf") (property_list [SKIFcore_ProjectKB_01003]) (y 60) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_00909] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00911] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_00914] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01003] of Property_List (properties [SKIFcore_ProjectKB_01790] [SKIFcore_ProjectKB_01791] [SKIFcore_ProjectKB_01792] [SKIFcore_ProjectKB_01793] [SKIFcore_ProjectKB_01794] [SKIFcore_ProjectKB_01795])) ([SKIFcore_ProjectKB_01004] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01005] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01006] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01007] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01008] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01009] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01010] of Property_List (name "layout properties")) ([SKIFcore_ProjectKB_01011] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01014] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01015] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01016] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01017] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01018] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01049] of Widget (width 250) (name ":hasRestrictedVal") (property_list [SKIFcore_ProjectKB_01050]) (y 1300) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_01050] of Property_List (properties [SKIFcore_ProjectKB_01275] [SKIFcore_ProjectKB_01276] [SKIFcore_ProjectKB_01277])) ([SKIFcore_ProjectKB_01051] of Widget (width 250) (name ":hasClassValue") (property_list [SKIFcore_ProjectKB_01052]) (y 1180) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_01052] of Property_List (properties [SKIFcore_ProjectKB_01068] [SKIFcore_ProjectKB_01069] [SKIFcore_ProjectKB_01070] [SKIFcore_ProjectKB_01071] [SKIFcore_ProjectKB_01072] [SKIFcore_ProjectKB_01073])) ([SKIFcore_ProjectKB_01068] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01069] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01070] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01071] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01072] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01073] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01103] of Widget (width 460) (name ":SYNONYMS") (property_list [SKIFcore_ProjectKB_01203]) (y 1150) (is_hidden FALSE) (x 20) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_01105] of Widget (width 250) (name ":relationAllExists") (property_list [SKIFcore_ProjectKB_01205]) (y 1020) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_01110] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01203] of Property_List (properties [SKIFcore_ProjectKB_01204] [SKIFcore_ProjectKB_01306] [SKIFcore_ProjectKB_01406] [SKIFcore_ProjectKB_01408] [SKIFcore_ProjectKB_01508] [SKIFcore_ProjectKB_01509])) ([SKIFcore_ProjectKB_01204] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01205] of Property_List (properties [SKIFcore_ProjectKB_01214] [SKIFcore_ProjectKB_01316] [SKIFcore_ProjectKB_01416])) ([SKIFcore_ProjectKB_01206] of Widget (width 320) (name ":relationAllExists") (property_list [SKIFcore_ProjectKB_01207]) (y 720) (is_hidden FALSE) (x 300) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_01207] of Property_List (properties [SKIFcore_ProjectKB_01417] [SKIFcore_ProjectKB_01418] [SKIFcore_ProjectKB_01419])) ([SKIFcore_ProjectKB_01214] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01275] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01276] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01277] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01303] of Widget (width 250) (name ":relationAllExists") (property_list [SKIFcore_ProjectKB_01403]) (y 1110) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_01306] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01316] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01403] of Property_List (properties [SKIFcore_ProjectKB_01404] [SKIFcore_ProjectKB_01405] [SKIFcore_ProjectKB_01707])) ([SKIFcore_ProjectKB_01404] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01405] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01406] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01407] of Property_List (name "layout properties")) ([SKIFcore_ProjectKB_01408] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01416] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01417] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01418] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01419] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01503] of Widget (width 723) (name ":QuintarySlot") (property_list [SKIFcore_ProjectKB_02029]) (y -153) (is_hidden FALSE) (x 0) (height 1480) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SKIFcore_ProjectKB_01507] of Widget (width 250) (name ":isaSubrelationOf") (property_list [SKIFcore_ProjectKB_01607]) (y 440) (is_hidden FALSE) (x 10) (height 100) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_01508] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01509] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01603] of Widget (width 250) (name ":SYNONYMS") (property_list [SKIFcore_ProjectKB_01604]) (y 1360) (is_hidden FALSE) (x 250) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_01604] of Property_List (properties [SKIFcore_ProjectKB_01605] [SKIFcore_ProjectKB_01606] [SKIFcore_ProjectKB_01708] [SKIFcore_ProjectKB_01909] [SKIFcore_ProjectKB_02009] [SKIFcore_ProjectKB_02010])) ([SKIFcore_ProjectKB_01605] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01606] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01607] of Property_List (properties [SKIFcore_ProjectKB_01922] [SKIFcore_ProjectKB_01923] [SKIFcore_ProjectKB_01924] [SKIFcore_ProjectKB_01925] [SKIFcore_ProjectKB_01926] [SKIFcore_ProjectKB_01927])) ([SKIFcore_ProjectKB_01608] of Widget (width 250) (name ":isaSubrelationOf") (property_list [SKIFcore_ProjectKB_01609]) (y 480) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_01609] of Property_List (properties [SKIFcore_ProjectKB_01928] [SKIFcore_ProjectKB_01929] [SKIFcore_ProjectKB_01930] [SKIFcore_ProjectKB_01931] [SKIFcore_ProjectKB_01932] [SKIFcore_ProjectKB_01933])) ([SKIFcore_ProjectKB_01707] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01708] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01764] of Widget (width 250) (name ":hasRestrictedVal") (property_list [SKIFcore_ProjectKB_01765]) (y 1450) (is_hidden FALSE) (x 290) (height 240) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_01765] of Property_List (properties [SKIFcore_ProjectKB_01766] [SKIFcore_ProjectKB_01767] [SKIFcore_ProjectKB_01768])) ([SKIFcore_ProjectKB_01766] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01767] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01768] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01769] of Widget (width 250) (name ":hasDefaultValue") (property_list [SKIFcore_ProjectKB_01770]) (y 1470) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_01770] of Property_List (properties [SKIFcore_ProjectKB_01771] [SKIFcore_ProjectKB_01772] [SKIFcore_ProjectKB_01773] [SKIFcore_ProjectKB_01774] [SKIFcore_ProjectKB_01775] [SKIFcore_ProjectKB_01776])) ([SKIFcore_ProjectKB_01771] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01772] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01773] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01774] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01775] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01776] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01777] of Widget (width 250) (name ":hasClassValue") (property_list [SKIFcore_ProjectKB_01778]) (y 1390) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_01778] of Property_List (properties [SKIFcore_ProjectKB_01779] [SKIFcore_ProjectKB_01780] [SKIFcore_ProjectKB_01781] [SKIFcore_ProjectKB_01782] [SKIFcore_ProjectKB_01783] [SKIFcore_ProjectKB_01784])) ([SKIFcore_ProjectKB_01779] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01780] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01781] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01782] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01783] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01784] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01785] of Widget (width 590) (name ":ClassPredicates") (property_list [SKIFcore_ProjectKB_01786]) (y 520) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_01786] of Property_List (properties [SKIFcore_ProjectKB_01787] [SKIFcore_ProjectKB_01788] [SKIFcore_ProjectKB_01789])) ([SKIFcore_ProjectKB_01787] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01788] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01789] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01790] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01791] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01792] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01793] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01794] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01795] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01807] of Widget (width 250) (name ":isaSubrelationOf") (property_list [SKIFcore_ProjectKB_01808]) (y 990) (is_hidden FALSE) (x 250) (height 240) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_01808] of Property_List (properties [SKIFcore_ProjectKB_01809] [SKIFcore_ProjectKB_01810] [SKIFcore_ProjectKB_01811] [SKIFcore_ProjectKB_01812] [SKIFcore_ProjectKB_01813] [SKIFcore_ProjectKB_01814])) ([SKIFcore_ProjectKB_01809] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01810] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01811] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01812] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01813] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01814] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01815] of Widget (width 250) (name ":isRestrictedTo") (property_list [SKIFcore_ProjectKB_01816]) (y 990) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_01816] of Property_List (properties [SKIFcore_ProjectKB_01817] [SKIFcore_ProjectKB_01818] [SKIFcore_ProjectKB_01819])) ([SKIFcore_ProjectKB_01817] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01818] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01819] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01909] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01922] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01923] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01924] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01925] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01926] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01927] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01928] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01929] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01930] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_01931] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01932] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_01933] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02009] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02010] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02011] of Widget (width 250) (name ":relationAllExists") (property_list [SKIFcore_ProjectKB_02012]) (y 1360) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_02012] of Property_List (properties [SKIFcore_ProjectKB_02013] [SKIFcore_ProjectKB_02014] [SKIFcore_ProjectKB_02015])) ([SKIFcore_ProjectKB_02013] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02014] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02015] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02016] of Widget (width 250) (name ":isaSubrelationOf") (property_list [SKIFcore_ProjectKB_02017]) (y 1240) (is_hidden FALSE) (x 250) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_02017] of Property_List (properties [SKIFcore_ProjectKB_02018] [SKIFcore_ProjectKB_02019] [SKIFcore_ProjectKB_02020] [SKIFcore_ProjectKB_02021] [SKIFcore_ProjectKB_02022] [SKIFcore_ProjectKB_02023])) ([SKIFcore_ProjectKB_02018] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02019] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02020] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02021] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02022] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02023] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02024] of Widget (width 250) (name ":isRestrictedTo") (property_list [SKIFcore_ProjectKB_02025]) (y 1240) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_02025] of Property_List (properties [SKIFcore_ProjectKB_02026] [SKIFcore_ProjectKB_02027] [SKIFcore_ProjectKB_02028])) ([SKIFcore_ProjectKB_02026] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02027] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02028] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02029] of Property_List (properties [SKIFcore_ProjectKB_02030] [SKIFcore_ProjectKB_02031] [SKIFcore_ProjectKB_02032] [SKIFcore_ProjectKB_02033] [SKIFcore_ProjectKB_02039] [SKIFcore_ProjectKB_02040] [SKIFcore_ProjectKB_02041] [SKIFcore_ProjectKB_02047] [SKIFcore_ProjectKB_02048] [SKIFcore_ProjectKB_02049] [SKIFcore_ProjectKB_02050] [SKIFcore_ProjectKB_02051] [SKIFcore_ProjectKB_02052] [SKIFcore_ProjectKB_02053] [SKIFcore_ProjectKB_02054] [SKIFcore_ProjectKB_02062] [SKIFcore_ProjectKB_02067] [SKIFcore_ProjectKB_02072] [SKIFcore_ProjectKB_02080] [SKIFcore_ProjectKB_02082] [SKIFcore_ProjectKB_02084] [SKIFcore_ProjectKB_02086] [SKIFcore_ProjectKB_02094] [SKIFcore_ProjectKB_02096] [SKIFcore_ProjectKB_02098] [SKIFcore_ProjectKB_02106] [SKIFcore_ProjectKB_02111] [SKIFcore_ProjectKB_02113] [SKIFcore_ProjectKB_02121] [SKIFcore_ProjectKB_02126] [SKIFcore_ProjectKB_02131] [SKIFcore_ProjectKB_02139] [SKIFcore_ProjectKB_02144] [SKIFcore_ProjectKB_02152] [SKIFcore_ProjectKB_02157] [SKIFcore_ProjectKB_02159] [SKIFcore_ProjectKB_02164]) (name "slow widget properties")) ([SKIFcore_ProjectKB_02030] of Widget (width 200) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (y 140) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget")) ([SKIFcore_ProjectKB_02031] of Widget (width 200) (name ":SLOT-MAXIMUM-CARDINALITY") (y 200) (x 210) (height 35) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget")) ([SKIFcore_ProjectKB_02032] of Widget (name ":SLOT-CONSTRAINTS")) ([SKIFcore_ProjectKB_02033] of Widget (width 200) (label "Values") (name ":SLOT-VALUES") (property_list [SKIFcore_ProjectKB_02034]) (y 650) (x 320) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget")) ([SKIFcore_ProjectKB_02034] of Property_List (properties [SKIFcore_ProjectKB_02035] [SKIFcore_ProjectKB_02036] [SKIFcore_ProjectKB_02037] [SKIFcore_ProjectKB_02038])) ([SKIFcore_ProjectKB_02035] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02036] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02037] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02038] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02039] of Widget (name ":DIRECT-SUPERSLOTS")) ([SKIFcore_ProjectKB_02040] of Widget (name ":DIRECT-SUBSLOTS")) ([SKIFcore_ProjectKB_02041] of Widget (width 200) (label "Default") (name ":SLOT-DEFAULTS") (property_list [SKIFcore_ProjectKB_02042]) (y 770) (x 10) (height 80) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget")) ([SKIFcore_ProjectKB_02042] of Property_List (properties [SKIFcore_ProjectKB_02043] [SKIFcore_ProjectKB_02044] [SKIFcore_ProjectKB_02045] [SKIFcore_ProjectKB_02046])) ([SKIFcore_ProjectKB_02043] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02044] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02045] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02046] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02047] of Widget (width 250) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 210) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([SKIFcore_ProjectKB_02048] of Widget (width 100) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (y 220) (x 100) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget")) ([SKIFcore_ProjectKB_02049] of Widget (width 100) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (y 220) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget")) ([SKIFcore_ProjectKB_02050] of Widget (width 270) (label "Name") (name ":NAME") (y 590) (x 270) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([SKIFcore_ProjectKB_02051] of Widget (width 240) (label "Inverse Slot") (name ":SLOT-INVERSE") (y 230) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget")) ([SKIFcore_ProjectKB_02052] of Widget (width 200) (label "Value Type") (name ":SLOT-VALUE-TYPE") (y 60) (x 0) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget")) ([SKIFcore_ProjectKB_02053] of Property_List (name "layout properties")) ([SKIFcore_ProjectKB_02054] of Widget (width 250) (name ":ASSOCIATED-FACET") (property_list [SKIFcore_ProjectKB_02055]) (y 1010) (is_hidden FALSE) (x 280) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_02055] of Property_List (properties [SKIFcore_ProjectKB_02056] [SKIFcore_ProjectKB_02057] [SKIFcore_ProjectKB_02058] [SKIFcore_ProjectKB_02059] [SKIFcore_ProjectKB_02060] [SKIFcore_ProjectKB_02061])) ([SKIFcore_ProjectKB_02056] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02057] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02058] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02059] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02060] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02061] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02062] of Widget (width 250) (name ":DIRECT-TYPE") (property_list [SKIFcore_ProjectKB_02063]) (y 1090) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SKIFcore_ProjectKB_02063] of Property_List (properties [SKIFcore_ProjectKB_02064] [SKIFcore_ProjectKB_02065] [SKIFcore_ProjectKB_02066])) ([SKIFcore_ProjectKB_02064] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02065] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02066] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02067] of Widget (width 280) (name ":Domain2Class") (property_list [SKIFcore_ProjectKB_02068]) (y 290) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SKIFcore_ProjectKB_02068] of Property_List (properties [SKIFcore_ProjectKB_02069] [SKIFcore_ProjectKB_02070] [SKIFcore_ProjectKB_02071])) ([SKIFcore_ProjectKB_02069] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02070] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02071] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02072] of Widget (width 280) (name ":Domain2Value") (property_list [SKIFcore_ProjectKB_02073]) (y 290) (is_hidden FALSE) (x 320) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_02073] of Property_List (properties [SKIFcore_ProjectKB_02074] [SKIFcore_ProjectKB_02075] [SKIFcore_ProjectKB_02076] [SKIFcore_ProjectKB_02077] [SKIFcore_ProjectKB_02078] [SKIFcore_ProjectKB_02079])) ([SKIFcore_ProjectKB_02074] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02075] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02076] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02077] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02078] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02079] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02080] of Widget (width 250) (name ":AXIOMS") (property_list [SKIFcore_ProjectKB_02081]) (y 0) (is_hidden FALSE) (x 460) (height 260) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SKIFcore_ProjectKB_02081] of Property_List) ([SKIFcore_ProjectKB_02082] of Widget (width 140) (name ":Domain2Type") (property_list [SKIFcore_ProjectKB_02083]) (y 350) (is_hidden FALSE) (x 150) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore_ProjectKB_02083] of Property_List) ([SKIFcore_ProjectKB_02084] of Widget (width 125) (name ":Domain1Type") (property_list [SKIFcore_ProjectKB_02085]) (y 350) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore_ProjectKB_02085] of Property_List) ([SKIFcore_ProjectKB_02086] of Widget (width 250) (name ":isInModule") (property_list [SKIFcore_ProjectKB_02087]) (y 530) (is_hidden FALSE) (x 0) (height 100) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_02087] of Property_List (properties [SKIFcore_ProjectKB_02088] [SKIFcore_ProjectKB_02089] [SKIFcore_ProjectKB_02090] [SKIFcore_ProjectKB_02091] [SKIFcore_ProjectKB_02092] [SKIFcore_ProjectKB_02093])) ([SKIFcore_ProjectKB_02088] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02089] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02090] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02091] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02092] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02093] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02094] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [SKIFcore_ProjectKB_02095]) (y 530) (is_hidden FALSE) (x 270) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([SKIFcore_ProjectKB_02095] of Property_List) ([SKIFcore_ProjectKB_02096] of Widget (width 210) (name ":SUO-name") (property_list [SKIFcore_ProjectKB_02097]) (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SKIFcore_ProjectKB_02097] of Property_List) ([SKIFcore_ProjectKB_02098] of Widget (width 250) (name "disjointRelation") (property_list [SKIFcore_ProjectKB_02099]) (y 870) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_02099] of Property_List (properties [SKIFcore_ProjectKB_02100] [SKIFcore_ProjectKB_02101] [SKIFcore_ProjectKB_02102] [SKIFcore_ProjectKB_02103] [SKIFcore_ProjectKB_02104] [SKIFcore_ProjectKB_02105])) ([SKIFcore_ProjectKB_02100] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02101] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02102] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02103] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02104] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02105] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02106] of Widget (width 250) (name "relatedInternalConcept") (property_list [SKIFcore_ProjectKB_02107]) (y 890) (is_hidden FALSE) (x 280) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_02107] of Property_List (properties [SKIFcore_ProjectKB_02108] [SKIFcore_ProjectKB_02109] [SKIFcore_ProjectKB_02110])) ([SKIFcore_ProjectKB_02108] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02109] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02110] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02111] of Widget (width 125) (name ":Domain3Type") (property_list [SKIFcore_ProjectKB_02112]) (y 350) (is_hidden FALSE) (x 310) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore_ProjectKB_02112] of Property_List) ([SKIFcore_ProjectKB_02113] of Widget (width 250) (name ":Domain3Value") (property_list [SKIFcore_ProjectKB_02114]) (y 410) (is_hidden FALSE) (x 300) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_02114] of Property_List (properties [SKIFcore_ProjectKB_02115] [SKIFcore_ProjectKB_02116] [SKIFcore_ProjectKB_02117] [SKIFcore_ProjectKB_02118] [SKIFcore_ProjectKB_02119] [SKIFcore_ProjectKB_02120])) ([SKIFcore_ProjectKB_02115] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02116] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02117] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02118] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02119] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02120] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02121] of Widget (width 270) (name ":Domain3Class") (property_list [SKIFcore_ProjectKB_02122]) (y 410) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SKIFcore_ProjectKB_02122] of Property_List (properties [SKIFcore_ProjectKB_02123] [SKIFcore_ProjectKB_02124] [SKIFcore_ProjectKB_02125])) ([SKIFcore_ProjectKB_02123] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02124] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02125] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02126] of Widget (width 250) (name ":identicalTo") (property_list [SKIFcore_ProjectKB_02127]) (y 640) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.StringListWidget")) ([SKIFcore_ProjectKB_02127] of Property_List (properties [SKIFcore_ProjectKB_02128] [SKIFcore_ProjectKB_02129] [SKIFcore_ProjectKB_02130])) ([SKIFcore_ProjectKB_02128] of Boolean (name "ButtonDisplayed-Edit the selected strings") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02129] of Boolean (name "ButtonDisplayed-Create a new string") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02130] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02131] of Widget (width 250) (name ":SYNONYMS") (property_list [SKIFcore_ProjectKB_02132]) (y 1360) (is_hidden FALSE) (x 250) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_02132] of Property_List (properties [SKIFcore_ProjectKB_02133] [SKIFcore_ProjectKB_02134] [SKIFcore_ProjectKB_02135] [SKIFcore_ProjectKB_02136] [SKIFcore_ProjectKB_02137] [SKIFcore_ProjectKB_02138])) ([SKIFcore_ProjectKB_02133] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02134] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02135] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02136] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02137] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02138] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02139] of Widget (width 250) (name ":relationAllExists") (property_list [SKIFcore_ProjectKB_02140]) (y 1360) (is_hidden FALSE) (x 0) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_02140] of Property_List (properties [SKIFcore_ProjectKB_02141] [SKIFcore_ProjectKB_02142] [SKIFcore_ProjectKB_02143])) ([SKIFcore_ProjectKB_02141] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02142] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02143] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02144] of Widget (width 250) (name ":isaSubrelationOf") (property_list [SKIFcore_ProjectKB_02145]) (y 1000) (is_hidden FALSE) (x 0) (height 70) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([SKIFcore_ProjectKB_02145] of Property_List (properties [SKIFcore_ProjectKB_02146] [SKIFcore_ProjectKB_02147] [SKIFcore_ProjectKB_02148] [SKIFcore_ProjectKB_02149] [SKIFcore_ProjectKB_02150] [SKIFcore_ProjectKB_02151])) ([SKIFcore_ProjectKB_02146] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02147] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02148] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02149] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02150] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02151] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02152] of Widget (width 250) (name ":isRestrictedTo") (property_list [SKIFcore_ProjectKB_02153]) (y 770) (is_hidden FALSE) (x 280) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ClsListWidget")) ([SKIFcore_ProjectKB_02153] of Property_List (properties [SKIFcore_ProjectKB_02154] [SKIFcore_ProjectKB_02155] [SKIFcore_ProjectKB_02156])) ([SKIFcore_ProjectKB_02154] of Boolean (name "ButtonDisplayed-View Selected Classes") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02155] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02156] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02157] of Widget (width 125) (name ":Domain4Type") (property_list [SKIFcore_ProjectKB_02158]) (y 350) (is_hidden FALSE) (x 450) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([SKIFcore_ProjectKB_02158] of Property_List) ([SKIFcore_ProjectKB_02159] of Widget (width 270) (name ":Domain4Class") (property_list [SKIFcore_ProjectKB_02160]) (y 470) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SKIFcore_ProjectKB_02160] of Property_List (properties [SKIFcore_ProjectKB_02161] [SKIFcore_ProjectKB_02162] [SKIFcore_ProjectKB_02163])) ([SKIFcore_ProjectKB_02161] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02162] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02163] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02164] of Widget (width 250) (name ":Domain4Value") (property_list [SKIFcore_ProjectKB_02165]) (y 470) (is_hidden FALSE) (x 300) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SKIFcore_ProjectKB_02165] of Property_List (properties [SKIFcore_ProjectKB_02166] [SKIFcore_ProjectKB_02167] [SKIFcore_ProjectKB_02168] [SKIFcore_ProjectKB_02169] [SKIFcore_ProjectKB_02170] [SKIFcore_ProjectKB_02171])) ([SKIFcore_ProjectKB_02166] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02167] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SKIFcore_ProjectKB_02168] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02169] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02170] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SKIFcore_ProjectKB_02171] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SLOTS_TAB] of Widget (label "Slots") (property_list [ProjectKB_2782_00026]) (is_hidden FALSE) (widget_class_name "edu.stanford.smi.protege.widget.SlotsTab")) ([SMINK012_ProjectKB_02531] of String (name ":Module") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02532] of String (name ":PAL-CONSTRAINT") (string_value ":PAL-NAME")) ([SMINK012_ProjectKB_02533] of String (name ":Group") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02534] of String (name ":FunctionTerm") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02535] of String (name ":Synonym") (string_value ":synonymousTerm")) ([SMINK012_ProjectKB_02536] of String (name ":StringList") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02537] of String (name ":UBL-SLOT") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02538] of String (name ":Assertion") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02539] of String (name "Entity") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02540] of String (name ":CodeList") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02541] of String (name ":UNARY-RELATION") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02542] of String (name ":Language") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02543] of String (name ":AbstractString") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02544] of String (name ":List") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02545] of String (name ":SetOrClass") (string_value ":SUO-name")) ([SMINK012_ProjectKB_02546] of String (name ":SUMOProposition") (string_value ":SUO-name")) ([SOURCES] of Property_List (properties [ProjectKB_2782_00000] [ProjectKB_2782_00050] [ProjectKB_2782_00051])) ([STANDARD_CLASS_FORM_WIDGET] of Widget (name ":STANDARD-CLASS") (property_list [SUMO152_ProjectKB_00101]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([STANDARD_SLOT_FORM_WIDGET] of Widget (name ":STANDARD-SLOT") (property_list [SUMO152_ProjectKB_00212]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SUMO115_ProjectKB_01022] of Widget (width 723) (name ":TernarySlot") (property_list [SUMO115_ProjectKB_01082]) (y 0) (is_hidden FALSE) (x 0) (height 1270) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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_00302] [SKIFcore4_ProjectKB_02732] [SKIFcore_ProjectKB_00408] [SKIFcore_ProjectKB_01206] [SKIFcore_ProjectKB_01103] [SKIFcore_ProjectKB_01608]) (name "slow widget properties")) ([SUMO115_ProjectKB_01083] of Widget (width 200) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (y 140) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget")) ([SUMO115_ProjectKB_01084] of Widget (width 200) (name ":SLOT-MAXIMUM-CARDINALITY") (y 200) (x 210) (height 35) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget")) ([SUMO115_ProjectKB_01085] of Widget (name ":SLOT-CONSTRAINTS")) ([SUMO115_ProjectKB_01086] of Widget (width 200) (label "Values") (name ":SLOT-VALUES") (property_list [SUMO115_ProjectKB_01087]) (y 980) (x 20) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget")) ([SUMO115_ProjectKB_01087] of Property_List (properties [SUMO115_ProjectKB_01088] [SUMO115_ProjectKB_01089] [SUMO115_ProjectKB_01090] [SUMO115_ProjectKB_01091])) ([SUMO115_ProjectKB_01088] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SUMO115_ProjectKB_01089] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO115_ProjectKB_01090] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SUMO115_ProjectKB_01091] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO115_ProjectKB_01092] of Widget (name ":DIRECT-SUPERSLOTS")) ([SUMO115_ProjectKB_01093] of Widget (name ":DIRECT-SUBSLOTS")) ([SUMO115_ProjectKB_01094] of Widget (width 220) (label "Default") (name ":SLOT-DEFAULTS") (property_list [SUMO115_ProjectKB_01095]) (y 680) (x 20) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget")) ([SUMO115_ProjectKB_01095] of Property_List (properties [SUMO115_ProjectKB_01096] [SUMO115_ProjectKB_01097] [SUMO115_ProjectKB_01098] [SUMO115_ProjectKB_01099])) ([SUMO115_ProjectKB_01096] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SUMO115_ProjectKB_01097] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO115_ProjectKB_01098] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SUMO115_ProjectKB_01099] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO115_ProjectKB_01100] of Widget (width 250) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 210) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([SUMO115_ProjectKB_01101] of Widget (width 100) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (y 220) (x 100) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget")) ([SUMO115_ProjectKB_01102] of Widget (width 100) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (y 220) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget")) ([SUMO115_ProjectKB_01103] of Widget (width 280) (label "Name") (name ":NAME") (y 390) (x 300) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([SUMO115_ProjectKB_01104] of Widget (width 240) (label "Inverse Slot") (name ":SLOT-INVERSE") (y 230) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget")) ([SUMO115_ProjectKB_01105] of Widget (width 200) (label "Value Type") (name ":SLOT-VALUE-TYPE") (y 60) (x 0) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget")) ([SUMO115_ProjectKB_01106] of Property_List (name "layout properties")) ([SUMO116_ProjectKB_00204] of Widget (name ":STANDARD-FACET") (property_list [SUMO152_ProjectKB_00228]) (is_hidden FALSE) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SUMO116_ProjectKB_00209] of Widget (width 738) (name ":INSTANCE-ANNOTATION") (property_list [SUMO152_ProjectKB_00232]) (y 0) (is_hidden FALSE) (x 0) (height 577) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([SUMO148_ProjectKB_00002] of Widget (width 250) (name ":ASSOCIATED-FACET") (property_list [SUMO148_ProjectKB_00104]) (y 1060) (is_hidden FALSE) (x 290) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([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 (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SUMO148_ProjectKB_00205] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SUMO148_ProjectKB_00206] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SUMO148_ProjectKB_00207] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO148_ProjectKB_00208] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO148_ProjectKB_00209] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([SUMO148_ProjectKB_00210] of Widget (width 250) (name ":DIRECT-TYPE") (property_list [SUMO148_ProjectKB_00211]) (y 980) (is_hidden FALSE) (x 290) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SUMO148_ProjectKB_00211] of Property_List (properties [SUMO148_ProjectKB_00212] [SUMO148_ProjectKB_00213] [SUMO148_ProjectKB_00214])) ([SUMO148_ProjectKB_00212] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SUMO148_ProjectKB_00213] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO148_ProjectKB_00214] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO148_ProjectKB_00222] of Map) ([SUMO152_ProjectKB_00101] of Property_List (properties [SUMO152_ProjectKB_00201] [SUMO152_ProjectKB_00202] [SUMO152_ProjectKB_00203] [SUMO152_ProjectKB_00204] [SUMO152_ProjectKB_00205] [SUMO152_ProjectKB_00206] [SUMO152_ProjectKB_00207] [SUMO152_ProjectKB_00208] [SUMO152_ProjectKB_00209] [SUMO152_ProjectKB_00210]) (name "class widget properties")) ([SUMO152_ProjectKB_00201] of Widget (width 200) (label "Constraints") (name ":SLOT-CONSTRAINTS") (property_list [SUMO152_ProjectKB_00242]) (y 0) (x 400) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget")) ([SUMO152_ProjectKB_00202] of Widget (name ":DIRECT-INSTANCES")) ([SUMO152_ProjectKB_00203] of Widget (name ":DIRECT-SUBCLASSES")) ([SUMO152_ProjectKB_00204] of Widget (name ":DIRECT-SUPERCLASSES")) ([SUMO152_ProjectKB_00205] of Widget (width 200) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 200) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([SUMO152_ProjectKB_00206] of Widget (width 200) (label "Name") (name ":NAME") (y 0) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([SUMO152_ProjectKB_00207] of Widget (width 200) (label "Role") (name ":ROLE") (y 60) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget")) ([SUMO152_ProjectKB_00208] of Widget (name ":DIRECT-TYPE")) ([SUMO152_ProjectKB_00209] of Widget (width 600) (label "Template Slots") (name ":DIRECT-TEMPLATE-SLOTS") (property_list [SUMO152_ProjectKB_00249]) (y 120) (x 0) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget")) ([SUMO152_ProjectKB_00210] of Property_List (properties [SUMO152_ProjectKB_00211]) (name "layout properties")) ([SUMO152_ProjectKB_00211] of String (name "vertical_stretcher") (string_value ":DIRECT-TEMPLATE-SLOTS")) ([SUMO152_ProjectKB_00212] of Property_List (properties [SUMO152_ProjectKB_00213] [SUMO152_ProjectKB_00214] [SUMO152_ProjectKB_00215] [SUMO152_ProjectKB_00216] [SUMO152_ProjectKB_00217] [SUMO152_ProjectKB_00218] [SUMO152_ProjectKB_00219] [SUMO152_ProjectKB_00220] [SUMO152_ProjectKB_00221] [SUMO152_ProjectKB_00222] [SUMO152_ProjectKB_00223] [SUMO152_ProjectKB_00224] [SUMO152_ProjectKB_00225] [SUMO152_ProjectKB_00226] [SUMO152_ProjectKB_00227] [SUMO152_ProjectKB_00268]) (name "slot widget properties")) ([SUMO152_ProjectKB_00213] of Widget (width 200) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (y 120) (x 200) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget")) ([SUMO152_ProjectKB_00214] of Widget (width 200) (name ":SLOT-MAXIMUM-CARDINALITY") (y 175) (x 200) (height 35) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget")) ([SUMO152_ProjectKB_00215] of Widget (name ":SLOT-CONSTRAINTS")) ([SUMO152_ProjectKB_00216] of Widget (name ":DIRECT-TYPE")) ([SUMO152_ProjectKB_00217] of Widget (width 200) (label "Template Values") (name ":SLOT-VALUES") (property_list [SUMO152_ProjectKB_00258]) (y 0) (x 400) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget")) ([SUMO152_ProjectKB_00218] of Widget (name ":DIRECT-SUPERSLOTS")) ([SUMO152_ProjectKB_00219] of Widget (name ":DIRECT-SUBSLOTS")) ([SUMO152_ProjectKB_00220] of Widget (width 200) (label "Default") (name ":SLOT-DEFAULTS") (property_list [SUMO152_ProjectKB_00263]) (y 120) (x 400) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget")) ([SUMO152_ProjectKB_00221] of Widget (width 200) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 200) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([SUMO152_ProjectKB_00222] of Widget (width 100) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (y 210) (x 100) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget")) ([SUMO152_ProjectKB_00223] of Widget (width 100) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (y 210) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget")) ([SUMO152_ProjectKB_00224] of Widget (name ":ASSOCIATED-FACET")) ([SUMO152_ProjectKB_00225] of Widget (width 200) (label "Name") (name ":NAME") (y 0) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([SUMO152_ProjectKB_00226] of Widget (width 200) (label "Inverse Slot") (name ":SLOT-INVERSE") (y 210) (x 200) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget")) ([SUMO152_ProjectKB_00227] of Widget (width 200) (label "Value Type") (name ":SLOT-VALUE-TYPE") (y 60) (x 0) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget")) ([SUMO152_ProjectKB_00228] of Property_List (properties [SUMO152_ProjectKB_00229] [SUMO152_ProjectKB_00230] [SUMO152_ProjectKB_00231] [UBLinv019_ProjectKB_00213] [UBLinv019_ProjectKB_00218]) (name "facet widget properties")) ([SUMO152_ProjectKB_00229] of Widget (width 200) (label "Name") (name ":NAME") (y 0) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([SUMO152_ProjectKB_00230] of Widget (width 200) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 200) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([SUMO152_ProjectKB_00231] of Widget (width 200) (label "Associated Slot") (name ":ASSOCIATED-SLOT") (property_list [UBLinv019_ProjectKB_00206]) (y 60) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([SUMO152_ProjectKB_00232] of Property_List (properties [SUMO152_ProjectKB_00233] [SUMO152_ProjectKB_00234] [SUMO152_ProjectKB_00235] [SUMO152_ProjectKB_00236])) ([SUMO152_ProjectKB_00233] of Widget (name ":ANNOTATED-INSTANCE")) ([SUMO152_ProjectKB_00234] of Widget (name ":CREATOR")) ([SUMO152_ProjectKB_00235] of Widget (name ":CREATION-TIMESTAMP")) ([SUMO152_ProjectKB_00236] of Widget (width 200) (name ":ANNOTATION-TEXT") (y 0) (is_hidden FALSE) (x 0) (height 100) (widget_class_name "edu.stanford.smi.protege.widget.YellowStickyWidget")) ([SUMO152_ProjectKB_00237] of Property_List (properties [SUMO152_ProjectKB_00238] [SUMO152_ProjectKB_00240] [UBLinv016_ProjectKB_00103] [UBLinv016_ProjectKB_00204] [UBLinv016_ProjectKB_00206])) ([SUMO152_ProjectKB_00238] of Widget (width 275) (label "Name") (name ":PAL-NAME") (y 0) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([SUMO152_ProjectKB_00240] of Widget (width 260) (label "Description") (name ":PAL-DESCRIPTION") (y 80) (is_hidden FALSE) (x 370) (height 190) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([SUMO152_ProjectKB_00242] of Property_List (properties [SUMO152_ProjectKB_00243] [SUMO152_ProjectKB_00244] [SUMO152_ProjectKB_00245] [SUMO152_ProjectKB_00246] [SUMO152_ProjectKB_00247] [SUMO152_ProjectKB_00248])) ([SUMO152_ProjectKB_00243] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([SUMO152_ProjectKB_00244] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SUMO152_ProjectKB_00245] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SUMO152_ProjectKB_00246] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO152_ProjectKB_00247] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO152_ProjectKB_00248] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([SUMO152_ProjectKB_00249] of Property_List (properties [SUMO152_ProjectKB_00250] [SUMO152_ProjectKB_00251] [SUMO152_ProjectKB_00252] [SUMO152_ProjectKB_00253] [SUMO152_ProjectKB_00254] [SUMO152_ProjectKB_00255] [SUMO152_ProjectKB_00256] [SUMO152_ProjectKB_00257])) ([SUMO152_ProjectKB_00250] of Boolean (name "ButtonDisplayed-View selected slots") (boolean_value TRUE)) ([SUMO152_ProjectKB_00251] of Boolean (name "ButtonDisplayed-View selected slots at class") (boolean_value TRUE)) ([SUMO152_ProjectKB_00252] of Boolean (name "ButtonDisplayed-Create slot and attach to class") (boolean_value TRUE)) ([SUMO152_ProjectKB_00253] of Boolean (name "ButtonDisplayed-Remove overrides from selected slots") (boolean_value TRUE)) ([SUMO152_ProjectKB_00254] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO152_ProjectKB_00255] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO152_ProjectKB_00256] of Boolean (name "ButtonDisplayed-Move up") (boolean_value FALSE)) ([SUMO152_ProjectKB_00257] of Boolean (name "ButtonDisplayed-Move down") (boolean_value FALSE)) ([SUMO152_ProjectKB_00258] of Property_List (properties [SUMO152_ProjectKB_00259] [SUMO152_ProjectKB_00260] [SUMO152_ProjectKB_00261] [SUMO152_ProjectKB_00262])) ([SUMO152_ProjectKB_00259] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SUMO152_ProjectKB_00260] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SUMO152_ProjectKB_00261] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO152_ProjectKB_00262] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO152_ProjectKB_00263] of Property_List (properties [SUMO152_ProjectKB_00264] [SUMO152_ProjectKB_00265] [SUMO152_ProjectKB_00266] [SUMO152_ProjectKB_00267])) ([SUMO152_ProjectKB_00264] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([SUMO152_ProjectKB_00265] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([SUMO152_ProjectKB_00266] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO152_ProjectKB_00267] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO152_ProjectKB_00268] of Property_List (name "layout properties")) ([SUMO152b_ProjectKB_00103] of Widget (width 280) (name ":Domain2Class") (property_list [SUMO152b_ProjectKB_00203]) (y 290) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([SUMO152b_ProjectKB_00203] of Property_List (properties [SUMO152b_ProjectKB_00204] [SUMO152b_ProjectKB_00205] [SUMO152b_ProjectKB_00206])) ([SUMO152b_ProjectKB_00204] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([SUMO152b_ProjectKB_00205] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO152b_ProjectKB_00206] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO152b_ProjectKB_00207] of Widget (width 280) (name ":Domain2Value") (property_list [SUMO152b_ProjectKB_00208]) (y 420) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")) ([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 (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([SUMO152b_ProjectKB_00210] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([SUMO152b_ProjectKB_00211] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([SUMO152b_ProjectKB_00212] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([SUMO152b_ProjectKB_00213] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([SUMO152b_ProjectKB_00214] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([UBLcore_ProjectKB_00010] of Widget (width 250) (name "disjointDecomposition") (property_list [UBLcore_ProjectKB_00011]) (y 1270) (is_hidden FALSE) (x 280) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLcore_ProjectKB_00013] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLcore_ProjectKB_00014] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLcore_ProjectKB_00015] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLcore_ProjectKB_00016] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLcore_ProjectKB_00017] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLcore_ProjectKB_00026] of Widget (width 250) (name "partition") (property_list [UBLcore_ProjectKB_00027]) (y 770) (is_hidden FALSE) (x 20) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLcore_ProjectKB_00029] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLcore_ProjectKB_00030] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLcore_ProjectKB_00031] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLcore_ProjectKB_00032] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLcore_ProjectKB_00033] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLcore_ProjectKB_05359] of Property_List (name "layout properties")) ([UBLinv011_ProjectKB_00002] of Widget (width 738) (name ":Synonym") (property_list [UBLinv011_ProjectKB_00003]) (y 0) (is_hidden FALSE) (x 0) (height 578) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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] [SKIFcore_ProjectKB_00903])) ([UBLinv011_ProjectKB_00103] of Widget (width 723) (name ":SYN-CLASS") (property_list [UBLinv011_ProjectKB_00203]) (y -187) (is_hidden FALSE) (x 0) (height 1690) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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] [SKIFcore_ProjectKB_01764] [SKIFcore_ProjectKB_01769] [SKIFcore_ProjectKB_01777] [SKIFcore_ProjectKB_01785]) (name "class widget properties")) ([UBLinv011_ProjectKB_00204] of Widget (width 180) (label "Constraints") (name ":SLOT-CONSTRAINTS") (property_list [UBLinv011_ProjectKB_00205]) (y 0) (x 460) (height 170) (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00207] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00208] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv011_ProjectKB_00209] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00210] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00211] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([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 (width 260) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 200) (height 190) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([UBLinv011_ProjectKB_00216] of Widget (width 200) (label "Name") (name ":NAME") (y 0) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([UBLinv011_ProjectKB_00217] of Widget (width 200) (label "Role") (name ":ROLE") (y 60) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget")) ([UBLinv011_ProjectKB_00218] of Widget (name ":DIRECT-TYPE")) ([UBLinv011_ProjectKB_00219] of Widget (width 610) (label "Template Slots") (name ":DIRECT-TEMPLATE-SLOTS") (property_list [UBLinv011_ProjectKB_00220]) (y 180) (x 0) (height 340) (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget")) ([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 (name "vertical_stretcher") (string_value ":DIRECT-TEMPLATE-SLOTS")) ([UBLinv011_ProjectKB_00325] of Boolean (name "ButtonDisplayed-View selected slots") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00326] of Boolean (name "ButtonDisplayed-View selected slots at class") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00327] of Boolean (name "ButtonDisplayed-Create slot and attach to class") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00328] of Boolean (name "ButtonDisplayed-Remove overrides from selected slots") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00329] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00330] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv011_ProjectKB_00331] of Boolean (name "ButtonDisplayed-Move up") (boolean_value FALSE)) ([UBLinv011_ProjectKB_00332] of Boolean (name "ButtonDisplayed-Move down") (boolean_value FALSE)) ([UBLinv014_ProjectKB_00002] of Widget (width 740) (name ":UBL-SLOT") (property_list [UBLinv014_ProjectKB_00003]) (y 0) (is_hidden FALSE) (x 0) (height 1190) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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] [SKIFcore_ProjectKB_00406] [SKIFcore_ProjectKB_01105] [SKIFcore_ProjectKB_01507]) (name "slot widget properties")) ([UBLinv014_ProjectKB_00004] of Widget (width 200) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (y 170) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.MinimumCardinalityWidget")) ([UBLinv014_ProjectKB_00005] of Widget (width 200) (name ":SLOT-MAXIMUM-CARDINALITY") (y 230) (x 210) (height 35) (widget_class_name "edu.stanford.smi.protege.widget.MaximumCardinalityWidget")) ([UBLinv014_ProjectKB_00006] of Widget (name ":SLOT-CONSTRAINTS")) ([UBLinv014_ProjectKB_00007] of Widget (name ":DIRECT-TYPE")) ([UBLinv014_ProjectKB_00109] of Widget (width 230) (label "Template Values") (name ":SLOT-VALUES") (property_list [UBLinv014_ProjectKB_00209]) (y 730) (x 300) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.SlotValuesWidget")) ([UBLinv014_ProjectKB_00209] of Property_List (properties [UBLinv014_ProjectKB_00210] [UBLinv014_ProjectKB_00211] [UBLinv014_ProjectKB_00212] [UBLinv014_ProjectKB_00213])) ([UBLinv014_ProjectKB_00210] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00211] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00212] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00213] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00214] of Widget (name ":DIRECT-SUPERSLOTS")) ([UBLinv014_ProjectKB_00215] of Widget (name ":DIRECT-SUBSLOTS")) ([UBLinv014_ProjectKB_00216] of Widget (width 250) (label "Default") (name ":SLOT-DEFAULTS") (property_list [UBLinv014_ProjectKB_00217]) (y 780) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget")) ([UBLinv014_ProjectKB_00217] of Property_List (properties [UBLinv014_ProjectKB_00218] [UBLinv014_ProjectKB_00219] [UBLinv014_ProjectKB_00220] [UBLinv014_ProjectKB_00221])) ([UBLinv014_ProjectKB_00218] of Boolean (name "ButtonDisplayed-View the selected value") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00219] of Boolean (name "ButtonDisplayed-Create a new value") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00220] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00221] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv014_ProjectKB_00222] of Widget (width 240) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 240) (height 170) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([UBLinv014_ProjectKB_00223] of Widget (width 80) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (y 240) (x 100) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget")) ([UBLinv014_ProjectKB_00224] of Widget (width 90) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (y 240) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget")) ([UBLinv014_ProjectKB_00225] of Widget (name ":ASSOCIATED-FACET")) ([UBLinv014_ProjectKB_00226] of Widget (width 260) (label "Name") (name ":NAME") (y 550) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([UBLinv014_ProjectKB_00227] of Widget (width 250) (label "Inverse Slot") (name ":SLOT-INVERSE") (y 270) (x 210) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget")) ([UBLinv014_ProjectKB_00228] of Widget (width 200) (label "Value Type") (name ":SLOT-VALUE-TYPE") (y 60) (x 0) (height 170) (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget")) ([UBLinv014_ProjectKB_00229] of Property_List (name "layout properties")) ([UBLinv014_ProjectKB_00230] of Widget (width 260) (name ":AXIOMS") (property_list [UBLinv014_ProjectKB_00231]) (y 0) (is_hidden FALSE) (x 480) (height 350) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([UBLinv014_ProjectKB_00231] of Property_List) ([UBLinv015_ProjectKB_00005] of Widget (width 250) (name ":AXIOMS") (property_list [UBLinv015_ProjectKB_00006]) (y 0) (is_hidden FALSE) (x 460) (height 260) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([UBLinv015_ProjectKB_00006] of Property_List) ([UBLinv016_ProjectKB_00103] of Widget (width 250) (name ":PAL-RANGE") (property_list [UBLinv016_ProjectKB_00203]) (y 0) (is_hidden FALSE) (x 300) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")) ([UBLinv016_ProjectKB_00203] of Property_List) ([UBLinv016_ProjectKB_00204] of Widget (width 360) (name ":PAL-STATEMENT") (property_list [UBLinv016_ProjectKB_00205]) (y 60) (is_hidden FALSE) (x 0) (height 340) (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")) ([UBLinv016_ProjectKB_00205] of Property_List) ([UBLinv016_ProjectKB_00206] of Property_List (name "layout properties")) ([UBLinv018_ProjectKB_00002] of Widget (width 140) (name ":Domain2Type") (property_list [UBLinv018_ProjectKB_00003]) (y 350) (is_hidden FALSE) (x 150) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([UBLinv018_ProjectKB_00003] of Property_List) ([UBLinv018_ProjectKB_00006] of Widget (width 125) (name ":Domain1Type") (property_list [UBLinv018_ProjectKB_00007]) (y 300) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([UBLinv018_ProjectKB_00007] of Property_List) ([UBLinv018_ProjectKB_00008] of Widget (width 125) (name ":Domain1Type") (property_list [UBLinv018_ProjectKB_00009]) (y 350) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ComboBoxWidget")) ([UBLinv018_ProjectKB_00009] of Property_List) ([UBLinv018_ProjectKB_00303] of Widget (property_list [UBLinv018_ProjectKB_00403]) (is_hidden TRUE) (widget_class_name "tab_plugin_example.FrameCounterTab")) ([UBLinv018_ProjectKB_00403] of Property_List) ([UBLinv018t_ProjectKB_00273] of Widget (width 240) (name ":isInModule") (property_list [UBLinv018t_ProjectKB_00274]) (y 330) (is_hidden FALSE) (x 210) (height 90) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 250) (name ":isInModule") (property_list [UBLinv018t_ProjectKB_00276]) (y 290) (is_hidden FALSE) (x 330) (height 100) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00290] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00291] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv018t_ProjectKB_00292] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00293] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00294] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLinv018t_ProjectKB_00295] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00296] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00297] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv018t_ProjectKB_00298] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00299] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv018t_ProjectKB_00300] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLinv019_ProjectKB_00204] of Widget (width 120) (name ":LOAD-SEQUENCE") (property_list [UBLinv019_ProjectKB_00205]) (y 360) (is_hidden FALSE) (x 20) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([UBLinv019_ProjectKB_00205] of Property_List) ([UBLinv019_ProjectKB_00206] of Property_List (properties [UBLinv019_ProjectKB_00207] [UBLinv019_ProjectKB_00208] [UBLinv019_ProjectKB_00209] [UBLinv019_ProjectKB_00210] [UBLinv019_ProjectKB_00211] [UBLinv019_ProjectKB_00212])) ([UBLinv019_ProjectKB_00207] of Boolean (name "ButtonDisplayed-View Instance") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00208] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv019_ProjectKB_00209] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00210] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00211] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00212] of Boolean (name "ButtonDisplayed-Delete Instance") (boolean_value FALSE)) ([UBLinv019_ProjectKB_00213] of Widget (width 250) (name ":DIRECT-TYPE") (property_list [UBLinv019_ProjectKB_00214]) (y 120) (is_hidden FALSE) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.ClsFieldWidget")) ([UBLinv019_ProjectKB_00214] of Property_List (properties [UBLinv019_ProjectKB_00215] [UBLinv019_ProjectKB_00216] [UBLinv019_ProjectKB_00217])) ([UBLinv019_ProjectKB_00215] of Boolean (name "ButtonDisplayed-View Class") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00216] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00217] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00218] of Property_List (name "layout properties")) ([UBLinv019_ProjectKB_00305] of Widget (width 270) (name "disjoint") (property_list [UBLinv019_ProjectKB_00306]) (y 640) (is_hidden FALSE) (x 10) (height 120) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 230) (name ":isInModule") (property_list [UBLinv019_ProjectKB_00314]) (y 640) (is_hidden FALSE) (x 310) (height 90) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00316] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00317] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv019_ProjectKB_00318] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00319] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv019_ProjectKB_00320] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLinv019_ProjectKB_00506] of Widget (width 110) (name ":LOAD-SEQUENCE") (property_list [UBLinv019_ProjectKB_00507]) (y 860) (is_hidden FALSE) (x 310) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([UBLinv019_ProjectKB_00507] of Property_List) ([UBLinv021_ProjectKB_00002] of Widget (width 723) (name ":UBL-CLASS") (property_list [UBLinv021_ProjectKB_00003]) (y -842) (is_hidden FALSE) (x 0) (height 1420) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([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_01051] [SKIFcore_ProjectKB_00611] [SKIFcore_ProjectKB_01049] [SKIFcore_ProjectKB_00503]) (name "class widget properties")) ([UBLinv021_ProjectKB_00004] of Widget (width 210) (label "Constraints") (name ":SLOT-CONSTRAINTS") (property_list [UBLinv021_ProjectKB_00005]) (y 0) (x 480) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.ConstraintsWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00007] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00008] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00009] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00010] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00011] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([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 (width 260) (label "Documentation") (name ":DOCUMENTATION") (y 0) (x 220) (height 150) (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")) ([UBLinv021_ProjectKB_00016] of Widget (width 220) (label "Name") (name ":NAME") (y 0) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")) ([UBLinv021_ProjectKB_00017] of Widget (width 200) (label "Role") (name ":ROLE") (y 60) (x 0) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget")) ([UBLinv021_ProjectKB_00018] of Widget (name ":DIRECT-TYPE")) ([UBLinv021_ProjectKB_00019] of Widget (width 620) (label "Template Slots") (name ":DIRECT-TEMPLATE-SLOTS") (property_list [UBLinv021_ProjectKB_00020]) (y 150) (x 0) (height 340) (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget")) ([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 (name "ButtonDisplayed-View selected slots") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00022] of Boolean (name "ButtonDisplayed-View selected slots at class") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00023] of Boolean (name "ButtonDisplayed-Create slot and attach to class") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00024] of Boolean (name "ButtonDisplayed-Remove overrides from selected slots") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00025] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00026] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00027] of Boolean (name "ButtonDisplayed-Move up") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00028] of Boolean (name "ButtonDisplayed-Move down") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00029] of Property_List (properties [UBLinv021_ProjectKB_00030]) (name "layout properties")) ([UBLinv021_ProjectKB_00030] of String (name "vertical_stretcher") (string_value ":DIRECT-TEMPLATE-SLOTS")) ([UBLinv021_ProjectKB_00031] of Widget (width 270) (name ":isInModule") (property_list [UBLinv021_ProjectKB_00032]) (y 490) (is_hidden FALSE) (x 10) (height 80) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00034] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00035] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00036] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00037] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00038] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00039] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [UBLinv021_ProjectKB_00040]) (y 710) (is_hidden FALSE) (x 10) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([UBLinv021_ProjectKB_00040] of Property_List) ([UBLinv021_ProjectKB_00041] of Widget (width 280) (name "disjoint") (property_list [UBLinv021_ProjectKB_00042]) (y 490) (is_hidden FALSE) (x 300) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 250) (name "disjointDecomposition") (property_list [UBLinv021_ProjectKB_00050]) (y 570) (is_hidden FALSE) (x 10) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (width 290) (name "partition") (property_list [UBLinv021_ProjectKB_00068]) (y 630) (is_hidden FALSE) (x 300) (height 140) (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")) ([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 (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00138] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00139] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00140] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00141] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00142] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00143] of Boolean (name "ButtonDisplayed-View Selected Instances") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00144] of Boolean (name "ButtonDisplayed-Create Instance") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00145] of Boolean (name "ButtonDisplayed-References") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00146] of Boolean (name "ButtonDisplayed-Add") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00147] of Boolean (name "ButtonDisplayed-Remove") (boolean_value TRUE)) ([UBLinv021_ProjectKB_00148] of Boolean (name "ButtonDisplayed-Delete Selected Instances") (boolean_value FALSE)) ([UBLinv021_ProjectKB_00244] of Widget (width 125) (name ":LOAD-SEQUENCE") (property_list [UBLinv021_ProjectKB_00245]) (y 600) (is_hidden FALSE) (x 20) (height 60) (widget_class_name "edu.stanford.smi.protege.widget.IntegerFieldWidget")) ([UBLinv021_ProjectKB_00245] of Property_List) ([UBLmin_ProjectKB_05347] of Widget (width 738) (name ":Module") (property_list [UBLmin_ProjectKB_05348]) (y 0) (is_hidden FALSE) (x 0) (height 578) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([UBLmin_ProjectKB_05348] of Property_List (properties [UBLcore_ProjectKB_05359] [SKIFcore4_ProjectKB_00007] [SKIFcore4_ProjectKB_00043] [SKIFcore4_ProjectKB_01116] [SKIFcore4_ProjectKB_02009]))