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