; Wed Feb 21 16:05:03 BRST 2007 ; ;+ (version "3.3") ;+ (build "Build 372") ([BROWSER_SLOT_NAMES] of Property_List (properties [StarTrek_ProjectKB_Instance_76] [StarTrek_ProjectKB_Instance_77] [StarTrek_ProjectKB_Instance_78] [StarTrek_ProjectKB_Instance_79] [StarTrek_ProjectKB_Instance_80])) ([CLSES_TAB] of Widget (is_hidden TRUE) (label "Classes") (property_list [Instance_47]) (widget_class_name "edu.stanford.smi.protege.widget.ClsesTab")) ([FORMS_TAB] of Widget (is_hidden TRUE) (label "Forms") (property_list [Instance_85]) (widget_class_name "edu.stanford.smi.protege.widget.FormsTab")) ([Instance_1005] of Widget (is_hidden FALSE) (name "owl:Class") (property_list [XY_Instance_540]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([Instance_2201] of Integer (integer_value 250) (name "ClsesTab.left_right")) ([Instance_2202] of Integer (integer_value 400) (name "ClsesTab.left.top_bottom")) ([Instance_2469] of String (name "owl_file_language") (string_value "RDF/XML-ABBREV")) ([Instance_2470] of String (name "owl_namespace") (string_value "http://owl.protege.stanford.edu")) ([Instance_2531] of Property_List ) ([Instance_2534] of Widget (is_hidden FALSE) (label "Metadata") (property_list [Instance_2539]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadatatab.OWLMetadataTab")) ([Instance_2539] of Property_List ) ([Instance_2600] of Widget (is_hidden FALSE) (label "Properties") (property_list [Instance_3177]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.OWLPropertiesTab")) ([Instance_3177] of Property_List (properties [Instance_3239] [Instance_3240])) ([Instance_3234] of Widget (is_hidden FALSE) (label "Individuals") (property_list [Instance_3235]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.individuals.OWLIndividualsTab")) ([Instance_3235] of Property_List (properties [Instance_3241] [Instance_3242])) ([Instance_3239] of Integer (integer_value 250) (name "SlotsTab.left_right")) ([Instance_3240] of Integer (integer_value 400) (name "SlotTab.left.top_bottom")) ([Instance_3241] of Integer (integer_value 250) (name "InstancesTab.left_right")) ([Instance_3242] of Integer (integer_value 250) (name "InstancesTab.right.left_right")) ([Instance_42] of String (name "factory_class_name") (string_value "edu.stanford.smi.protegex.owl.jena.JenaKnowledgeBaseFactory")) ([Instance_43] of Widget (is_hidden TRUE) (property_list [Instance_44]) (widget_class_name "edu.stanford.smi.protege.widget.ClsesAndInstancesTab")) ([Instance_44] of Property_List ) ([Instance_443] of Widget (is_hidden FALSE) (name "owl:AnonymousClass") (property_list [KB_713803_Instance_7]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([Instance_45] of Widget (is_hidden TRUE) (property_list [Instance_46]) (widget_class_name "edu.stanford.smi.protege.widget.KAToolTab")) ([Instance_46] of Property_List ) ([Instance_47] of Property_List (properties [Instance_91] [Instance_92])) ([Instance_48] of Options (confirm_on_remove FALSE) (display_abstract_class_icon FALSE) (display_hidden_classes FALSE) (display_multi_parent_class_icon FALSE) (is_readonly FALSE) (tabbed_instance_form_layout TRUE) (update_modification_slots FALSE)) ([Instance_581] of Widget (is_hidden FALSE) (name "rdf:Property") (property_list [KB_886778_Instance_144]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([Instance_65] of Property_List (properties [Instance_93] [Instance_94])) ([Instance_85] of Property_List (properties [Instance_95])) ([Instance_86] of Widget (is_hidden FALSE) (label "OWLClasses") (property_list [Instance_944]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.cls.OWLClassesTab")) ([Instance_88] of Property_List (properties [Instance_96] [Instance_97])) ([Instance_89] of Widget (is_hidden TRUE) (property_list [Instance_2531]) (widget_class_name "edu.stanford.smi.protegex.owl.jena.rdql.RDQLTab")) ([Instance_91] of Integer (integer_value 356) (name "ClsesTab.left_right")) ([Instance_92] of Integer (integer_value 400) (name "ClsesTab.left.top_bottom")) ([Instance_93] of Integer (integer_value 273) (name "SlotsTab.left_right")) ([Instance_94] of Integer (integer_value 400) (name "SlotTab.left.top_bottom")) ([Instance_944] of Property_List (properties [Instance_2201] [Instance_2202])) ([Instance_95] of Integer (integer_value 252) (name "FormsTab.left_right")) ([Instance_96] of Integer (integer_value 449) (name "InstancesTab.left_right")) ([Instance_97] of Integer (integer_value 250) (name "InstancesTab.right.left_right")) ([INSTANCE_ANNOTATION_FORM_WIDGET] of Widget (height 476) (is_hidden FALSE) (name ":INSTANCE-ANNOTATION") (property_list [XY_Instance_0]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 603) (x 0) (y 0)) ([INSTANCES_TAB] of Widget (is_hidden TRUE) (label "Instances") (property_list [Instance_88]) (widget_class_name "edu.stanford.smi.protege.widget.InstancesTab")) ([KB_024013_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_024013_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_024013_Instance_1] of Property_List ) ([KB_024013_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_024013_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_024013_Instance_3] of Property_List ) ([KB_024013_Instance_4] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_024013_Instance_5]) (width 0) (x 0) (y 0)) ([KB_024013_Instance_5] of Property_List ) ([KB_078831_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_078831_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_078831_Instance_1] of Property_List ) ([KB_078831_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_078831_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_078831_Instance_3] of Property_List ) ([KB_078831_Instance_4] of Widget (is_hidden TRUE) (property_list [KB_078831_Instance_5]) (widget_class_name "uk.ac.man.cs.mig.coode.owlviz.ui.OWLVizTab")) ([KB_078831_Instance_5] of Property_List ) ([KB_100699_Instance_0] of Widget (height 360) (is_hidden FALSE) (label "Class Annotations") (name "owl:equivalentClass") (property_list [KB_100699_Instance_1]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 650) (x 0) (y 130)) ([KB_100699_Instance_1] of Property_List (properties [KB_100699_Instance_2] [KB_100699_Instance_6])) ([KB_100699_Instance_10] of Widget (is_hidden FALSE) (label "Disjoints") (name "owl:disjointWith") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([KB_100699_Instance_11] of Property_List (properties [KB_100699_Instance_12])) ([KB_100699_Instance_12] of Boolean (boolean_value TRUE) (name "DisplayRestrictions")) ([KB_100699_Instance_2] of Widget (height 360) (is_hidden FALSE) (label "Logic View") (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_100699_Instance_3]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 650) (x 0) (y 0)) ([KB_100699_Instance_3] of Property_List (properties [KB_100699_Instance_4] [KB_100699_Instance_5])) ([KB_100699_Instance_4] of Widget (height 211) (is_hidden FALSE) (label "Conditions") (name ":DIRECT-SUPERCLASSES") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 640) (x 5) (y 5)) ([KB_100699_Instance_5] of Widget (height 137) (is_hidden FALSE) (label "Disjoints") (name "owl:disjointWith") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 650) (x 0) (y 223)) ([KB_100699_Instance_6] of Widget (height -36) (is_hidden FALSE) (label "Properties View") (name ":DIRECT-SUPERCLASSES") (property_list [KB_100699_Instance_7]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width -14) (x 7) (y 28)) ([KB_100699_Instance_7] of Property_List (properties [KB_100699_Instance_8] [KB_100699_Instance_9] [KB_100699_Instance_10])) ([KB_100699_Instance_8] of Widget (is_hidden FALSE) (label "Superclasses") (name ":DIRECT-SUPERCLASSES") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([KB_100699_Instance_9] of Widget (is_hidden FALSE) (label "Properties") (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_100699_Instance_11]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")) ([KB_140180_Instance_0] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_140180_Instance_1])) ([KB_140180_Instance_1] of Property_List ) ([KB_140180_Instance_2] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_140180_Instance_3])) ([KB_140180_Instance_279] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_140180_Instance_280])) ([KB_140180_Instance_280] of Property_List ) ([KB_140180_Instance_281] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_140180_Instance_282])) ([KB_140180_Instance_282] of Property_List ) ([KB_140180_Instance_283] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_140180_Instance_284])) ([KB_140180_Instance_284] of Property_List ) ([KB_140180_Instance_285] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_140180_Instance_286])) ([KB_140180_Instance_286] of Property_List ) ([KB_140180_Instance_287] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_140180_Instance_288])) ([KB_140180_Instance_288] of Property_List ) ([KB_140180_Instance_289] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_140180_Instance_290])) ([KB_140180_Instance_290] of Property_List ) ([KB_140180_Instance_291] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_140180_Instance_292])) ([KB_140180_Instance_292] of Property_List ) ([KB_140180_Instance_3] of Property_List ) ([KB_140180_Instance_4] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_140180_Instance_5])) ([KB_140180_Instance_5] of Property_List ) ([KB_140180_Instance_6] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_140180_Instance_7])) ([KB_140180_Instance_7] of Property_List ) ([KB_140180_Instance_8] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_140180_Instance_9])) ([KB_140180_Instance_9] of Property_List ) ([KB_221055_Instance_10] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_11]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_11] of Property_List ) ([KB_221055_Instance_14] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_15]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_15] of Property_List ) ([KB_221055_Instance_18] of Widget (height 60) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_19]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.OWLInversePropertyWidget") (width 200) (x 400) (y 300)) ([KB_221055_Instance_19] of Property_List ) ([KB_221055_Instance_2] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_3]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_22] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_23]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_23] of Property_List ) ([KB_221055_Instance_26] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_27]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_27] of Property_List ) ([KB_221055_Instance_3] of Property_List ) ([KB_221055_Instance_30] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_31]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_31] of Property_List ) ([KB_221055_Instance_34] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_35]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_35] of Property_List ) ([KB_221055_Instance_38] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_39]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_39] of Property_List ) ([KB_221055_Instance_42] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_43]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_43] of Property_List ) ([KB_221055_Instance_46] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_47]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_47] of Property_List ) ([KB_221055_Instance_50] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_51]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_51] of Property_List ) ([KB_221055_Instance_54] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_55]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_55] of Property_List ) ([KB_221055_Instance_58] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_59]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_59] of Property_List ) ([KB_221055_Instance_6] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_7]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_62] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_63]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_63] of Property_List ) ([KB_221055_Instance_66] of Widget (height 0) (is_hidden FALSE) (name "owl:inverseOf") (property_list [KB_221055_Instance_67]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_67] of Property_List ) ([KB_221055_Instance_7] of Property_List ) ([KB_221055_Instance_70] of Widget (height 0) (is_hidden FALSE) (name "rdfs:subPropertyOf") (property_list [KB_221055_Instance_71]) (width 0) (x 0) (y 0)) ([KB_221055_Instance_71] of Property_List ) ([KB_301165_Instance_1013] of Widget (is_hidden FALSE) (name "owl:Nothing") (property_list [XY_Instance_975]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_301165_Instance_856] of Widget (is_hidden FALSE) (name ":DIRECTED-BINARY-RELATION") (property_list [XY_Instance_927]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_303942_Instance_68] of Widget (is_hidden FALSE) (name "owl:Thing") (property_list [XY_Instance_784]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_307200_Instance_22] of Property_List (name "DisabledTestGroups") (properties [KB_307200_Instance_24])) ([KB_307200_Instance_23] of Property_List (name "DisabledTest") (properties [KB_307200_Instance_25] [KB_307200_Instance_26] [KB_307200_Instance_27] [KB_307200_Instance_28] [KB_307200_Instance_29] [KB_307200_Instance_30] [KB_307200_Instance_31] [KB_307200_Instance_32] [KB_307200_Instance_33])) ([KB_307200_Instance_24] of Boolean (boolean_value TRUE) (name "OWL-DL Tests")) ([KB_307200_Instance_25] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoTopLevelJunkOWLDLTest")) ([KB_307200_Instance_26] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoSubclassesOfRDFClassesOWLDLTest")) ([KB_307200_Instance_27] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoImportOfSystemOntologiesOWLDLTest")) ([KB_307200_Instance_28] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoClassesOrPropertiesInEnumerationsOWLDLTest")) ([KB_307200_Instance_29] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoPropertiesWithClassAsRangeOWLDLTest")) ([KB_307200_Instance_30] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoMetaclassOWLDLTest")) ([KB_307200_Instance_31] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoSuperOrSubPropertiesOfAnnotationPropertiesTest")) ([KB_307200_Instance_32] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.TransitivePropertiesCannotBeFunctionalOWLDLTest")) ([KB_307200_Instance_33] of Boolean (boolean_value TRUE) (name "edu.stanford.smi.protegex.owl.testing.owldl.NoCardiRestrictionOnTransitivePropertiesOWLDLTest")) ([KB_313796_Instance_852] of Widget (is_hidden FALSE) (name "owl:AllDifferent") (property_list [XY_Instance_89]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_313796_Instance_943] of Widget (is_hidden FALSE) (name ":OWL-ANONYMOUS-ROOT") (property_list [XY_Instance_665]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_444675_Instance_0] of String (name "SwitchableClassDefinitionType") (string_value "edu.stanford.smi.protegex.owl.ui.cls.LogicClassDefinitionWidgetType")) ([KB_444675_Instance_1] of Widget (is_hidden TRUE) (property_list [KB_444675_Instance_2]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_444675_Instance_2] of Property_List ) ([KB_444675_Instance_3] of Widget (is_hidden TRUE) (property_list [KB_444675_Instance_4]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_444675_Instance_4] of Property_List ) ([KB_446864_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_446864_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_446864_Instance_1] of Property_List ) ([KB_446864_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_446864_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_446864_Instance_3] of Property_List ) ([KB_446864_Instance_4] of Widget (is_hidden TRUE) (property_list [KB_446864_Instance_5]) (widget_class_name "uk.ac.man.cs.mig.coode.owlviz.ui.OWLVizTab")) ([KB_446864_Instance_5] of Property_List ) ([KB_465546_Instance_567] of Widget (is_hidden FALSE) (name "protege:ExternalResource") (property_list [XY_Instance_890]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_484936_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_484936_Instance_1]) (widget_class_name "ca.concordia.cs.rql.tab.RqlTab")) ([KB_484936_Instance_1] of Property_List ) ([KB_484936_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_484936_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.prompt.PromptTab")) ([KB_484936_Instance_3] of Property_List ) ([KB_564539_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_564539_Instance_1]) (widget_class_name "uk.ac.man.cs.mig.coode.diglogtab.DIGLogTab")) ([KB_564539_Instance_1] of Property_List ) ([KB_575585_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_575585_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_575585_Instance_1] of Property_List ) ([KB_625684_Instance_0] of String (name "owl_file_name") (string_value "StarTrek.owl")) ([KB_632156_Instance_0] of String (name "OWL-PREDEFINED-PROFILE-URI") (string_value "http://protege.stanford.edu/plugins/owl/OWLProfiles.owl#OWL-DL")) ([KB_632156_Instance_1] of Widget (is_hidden TRUE) (property_list [KB_632156_Instance_2]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_632156_Instance_2] of Property_List ) ([KB_632156_Instance_3] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_632156_Instance_4] of Boolean (boolean_value FALSE) (name "DisabledByUser")) ([KB_635552_Instance_0] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_635552_Instance_1])) ([KB_635552_Instance_1] of Property_List ) ([KB_635552_Instance_10] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_635552_Instance_11])) ([KB_635552_Instance_11] of Property_List ) ([KB_635552_Instance_12] of Widget (is_hidden FALSE) (name "owl:priorVersion") (property_list [KB_635552_Instance_13])) ([KB_635552_Instance_13] of Property_List ) ([KB_635552_Instance_14] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_635552_Instance_15])) ([KB_635552_Instance_15] of Property_List ) ([KB_635552_Instance_16] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_635552_Instance_17])) ([KB_635552_Instance_17] of Property_List ) ([KB_635552_Instance_18] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_635552_Instance_19])) ([KB_635552_Instance_19] of Property_List ) ([KB_635552_Instance_2] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_635552_Instance_3])) ([KB_635552_Instance_20] of Widget (is_hidden FALSE) (name "owl:incompatibleWith") (property_list [KB_635552_Instance_21])) ([KB_635552_Instance_21] of Property_List ) ([KB_635552_Instance_22] of Widget (height 0) (is_hidden FALSE) (name "owl:backwardCompatibleWith") (property_list [KB_635552_Instance_23]) (width 0) (x 0) (y 0)) ([KB_635552_Instance_23] of Property_List (properties [KB_632156_Instance_3])) ([KB_635552_Instance_24] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_635552_Instance_25])) ([KB_635552_Instance_25] of Property_List ) ([KB_635552_Instance_26] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_635552_Instance_27])) ([KB_635552_Instance_27] of Property_List ) ([KB_635552_Instance_28] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_635552_Instance_29])) ([KB_635552_Instance_29] of Property_List ) ([KB_635552_Instance_3] of Property_List ) ([KB_635552_Instance_30] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_635552_Instance_31])) ([KB_635552_Instance_31] of Property_List ) ([KB_635552_Instance_32] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_635552_Instance_33])) ([KB_635552_Instance_33] of Property_List ) ([KB_635552_Instance_34] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_635552_Instance_35])) ([KB_635552_Instance_35] of Property_List ) ([KB_635552_Instance_4] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_635552_Instance_5])) ([KB_635552_Instance_5] of Property_List ) ([KB_635552_Instance_6] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_635552_Instance_7])) ([KB_635552_Instance_7] of Property_List ) ([KB_635552_Instance_8] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_635552_Instance_9])) ([KB_635552_Instance_9] of Property_List ) ([KB_646337_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_646337_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_646337_Instance_1] of Property_List ) ([KB_646337_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_646337_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_646337_Instance_3] of Property_List ) ([KB_691299_Instance_398] of Widget (is_hidden FALSE) (name "owl:DatatypeProperty") (property_list [KB_938545_Instance_56]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_691299_Instance_537] of Widget (is_hidden FALSE) (name "owl:ObjectProperty") (property_list [XY_Instance_462]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_713803_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_713803_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_713803_Instance_1] of Property_List ) ([KB_713803_Instance_10] of Widget (height 144) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_11]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_11] of Property_List (properties [KB_713803_Instance_12] [KB_713803_Instance_13])) ([KB_713803_Instance_12] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 0)) ([KB_713803_Instance_13] of Widget (height 114) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 30)) ([KB_713803_Instance_14] of Widget (height 144) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_713803_Instance_15]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_15] of Property_List (properties [KB_713803_Instance_16] [KB_713803_Instance_17])) ([KB_713803_Instance_16] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_17] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_18] of Widget (height 144) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_713803_Instance_19]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_19] of Property_List (properties [KB_713803_Instance_20] [KB_713803_Instance_21])) ([KB_713803_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_713803_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_713803_Instance_20] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_21] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_22] of Property_List (name "layout properties") (properties [KB_713803_Instance_23] [KB_713803_Instance_24])) ([KB_713803_Instance_23] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_713803_Instance_24] of String (name "vertical_stretcher") (string_value "<>")) ([KB_713803_Instance_25] of Widget (height 180) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_713803_Instance_26]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 280) (x 280) (y 0)) ([KB_713803_Instance_26] of Property_List ) ([KB_713803_Instance_27] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_713803_Instance_28])) ([KB_713803_Instance_28] of Property_List ) ([KB_713803_Instance_29] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_713803_Instance_30])) ([KB_713803_Instance_3] of Property_List ) ([KB_713803_Instance_30] of Property_List ) ([KB_713803_Instance_303] of Widget (is_hidden FALSE) (name "owl:MaxCardinalityRestriction") (property_list [KB_713803_Instance_348]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_713803_Instance_31] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_713803_Instance_32])) ([KB_713803_Instance_32] of Property_List ) ([KB_713803_Instance_33] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_34])) ([KB_713803_Instance_34] of Property_List ) ([KB_713803_Instance_348] of Property_List (properties [KB_713803_Instance_349] [KB_713803_Instance_363] [KB_713803_Instance_366] [KB_713803_Instance_368] [KB_713803_Instance_370] [KB_713803_Instance_372] [KB_713803_Instance_374] [KB_713803_Instance_376] [KB_713803_Instance_378] [KB_713803_Instance_380] [KB_713803_Instance_382] [KB_713803_Instance_384] [KB_713803_Instance_386] [KB_713803_Instance_388])) ([KB_713803_Instance_349] of Widget (height 180) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_350]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget") (width 280) (x 0) (y 0)) ([KB_713803_Instance_35] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_713803_Instance_36])) ([KB_713803_Instance_350] of Property_List (properties [KB_713803_Instance_351] [KB_713803_Instance_355] [KB_713803_Instance_359])) ([KB_713803_Instance_351] of Widget (height 144) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_352]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_352] of Property_List (properties [KB_713803_Instance_353] [KB_713803_Instance_354])) ([KB_713803_Instance_353] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 0)) ([KB_713803_Instance_354] of Widget (height 114) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 30)) ([KB_713803_Instance_355] of Widget (height 144) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_713803_Instance_356]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_356] of Property_List (properties [KB_713803_Instance_357] [KB_713803_Instance_358])) ([KB_713803_Instance_357] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_358] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_359] of Widget (height 144) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_713803_Instance_360]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_36] of Property_List ) ([KB_713803_Instance_360] of Property_List (properties [KB_713803_Instance_361] [KB_713803_Instance_362])) ([KB_713803_Instance_361] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_362] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_363] of Property_List (name "layout properties") (properties [KB_713803_Instance_364] [KB_713803_Instance_365])) ([KB_713803_Instance_364] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_713803_Instance_365] of String (name "vertical_stretcher") (string_value "<>")) ([KB_713803_Instance_366] of Widget (height 180) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_713803_Instance_367]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 280) (x 280) (y 0)) ([KB_713803_Instance_367] of Property_List ) ([KB_713803_Instance_368] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_713803_Instance_369])) ([KB_713803_Instance_369] of Property_List ) ([KB_713803_Instance_37] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-INSTANCES") (property_list [KB_713803_Instance_38]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_370] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_713803_Instance_371])) ([KB_713803_Instance_371] of Property_List ) ([KB_713803_Instance_372] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_713803_Instance_373])) ([KB_713803_Instance_373] of Property_List ) ([KB_713803_Instance_374] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_375])) ([KB_713803_Instance_375] of Property_List ) ([KB_713803_Instance_376] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_713803_Instance_377])) ([KB_713803_Instance_377] of Property_List ) ([KB_713803_Instance_378] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-INSTANCES") (property_list [KB_713803_Instance_379]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_379] of Property_List ) ([KB_713803_Instance_38] of Property_List ) ([KB_713803_Instance_380] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_713803_Instance_381]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_381] of Property_List ) ([KB_713803_Instance_382] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_713803_Instance_383]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_383] of Property_List ) ([KB_713803_Instance_384] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUBCLASSES") (property_list [KB_713803_Instance_385]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_385] of Property_List ) ([KB_713803_Instance_386] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_713803_Instance_387]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_387] of Property_List ) ([KB_713803_Instance_388] of Widget (height 0) (is_hidden FALSE) (name "owl:valuesFrom") (property_list [KB_713803_Instance_389]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_389] of Property_List ) ([KB_713803_Instance_390] of Widget (is_hidden FALSE) (name "owl:MinCardinalityRestriction") (property_list [KB_713803_Instance_435]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_713803_Instance_41] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_713803_Instance_42]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_42] of Property_List ) ([KB_713803_Instance_435] of Property_List (properties [KB_713803_Instance_436] [KB_713803_Instance_450] [KB_713803_Instance_453] [KB_713803_Instance_455] [KB_713803_Instance_457] [KB_713803_Instance_459] [KB_713803_Instance_461] [KB_713803_Instance_463] [KB_713803_Instance_465] [KB_713803_Instance_467] [KB_713803_Instance_469] [KB_713803_Instance_471] [KB_713803_Instance_473] [KB_713803_Instance_475])) ([KB_713803_Instance_436] of Widget (height 180) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_437]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget") (width 280) (x 0) (y 0)) ([KB_713803_Instance_437] of Property_List (properties [KB_713803_Instance_438] [KB_713803_Instance_442] [KB_713803_Instance_446])) ([KB_713803_Instance_438] of Widget (height 144) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_439]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_439] of Property_List (properties [KB_713803_Instance_440] [KB_713803_Instance_441])) ([KB_713803_Instance_440] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 0)) ([KB_713803_Instance_441] of Widget (height 114) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 30)) ([KB_713803_Instance_442] of Widget (height 144) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_713803_Instance_443]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_443] of Property_List (properties [KB_713803_Instance_444] [KB_713803_Instance_445])) ([KB_713803_Instance_444] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_445] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_446] of Widget (height 144) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_713803_Instance_447]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_447] of Property_List (properties [KB_713803_Instance_448] [KB_713803_Instance_449])) ([KB_713803_Instance_448] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_449] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_45] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_713803_Instance_46]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_450] of Property_List (name "layout properties") (properties [KB_713803_Instance_451] [KB_713803_Instance_452])) ([KB_713803_Instance_451] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_713803_Instance_452] of String (name "vertical_stretcher") (string_value "<>")) ([KB_713803_Instance_453] of Widget (height 180) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_713803_Instance_454]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 280) (x 280) (y 0)) ([KB_713803_Instance_454] of Property_List ) ([KB_713803_Instance_455] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_713803_Instance_456])) ([KB_713803_Instance_456] of Property_List ) ([KB_713803_Instance_457] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_713803_Instance_458])) ([KB_713803_Instance_458] of Property_List ) ([KB_713803_Instance_459] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_713803_Instance_460])) ([KB_713803_Instance_46] of Property_List ) ([KB_713803_Instance_460] of Property_List ) ([KB_713803_Instance_461] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_462])) ([KB_713803_Instance_462] of Property_List ) ([KB_713803_Instance_463] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_713803_Instance_464])) ([KB_713803_Instance_464] of Property_List ) ([KB_713803_Instance_465] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-INSTANCES") (property_list [KB_713803_Instance_466]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_466] of Property_List ) ([KB_713803_Instance_467] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_713803_Instance_468]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_468] of Property_List ) ([KB_713803_Instance_469] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_713803_Instance_470]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_47] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUBCLASSES") (property_list [KB_713803_Instance_48]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_470] of Property_List ) ([KB_713803_Instance_471] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUBCLASSES") (property_list [KB_713803_Instance_472]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_472] of Property_List ) ([KB_713803_Instance_473] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_713803_Instance_474]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_474] of Property_List ) ([KB_713803_Instance_475] of Widget (height 0) (is_hidden FALSE) (name "owl:valuesFrom") (property_list [KB_713803_Instance_476]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_476] of Property_List ) ([KB_713803_Instance_477] of Widget (is_hidden FALSE) (name "owl:CardinalityRestriction") (property_list [KB_713803_Instance_522]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_713803_Instance_48] of Property_List ) ([KB_713803_Instance_49] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_713803_Instance_50]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_50] of Property_List ) ([KB_713803_Instance_522] of Property_List (properties [KB_713803_Instance_523] [KB_713803_Instance_537] [KB_713803_Instance_540] [KB_713803_Instance_542] [KB_713803_Instance_544] [KB_713803_Instance_546] [KB_713803_Instance_548] [KB_713803_Instance_550] [KB_713803_Instance_552] [KB_713803_Instance_554] [KB_713803_Instance_556] [KB_713803_Instance_558] [KB_713803_Instance_560] [KB_713803_Instance_562])) ([KB_713803_Instance_523] of Widget (height 180) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_524]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget") (width 280) (x 0) (y 0)) ([KB_713803_Instance_524] of Property_List (properties [KB_713803_Instance_525] [KB_713803_Instance_529] [KB_713803_Instance_533])) ([KB_713803_Instance_525] of Widget (height 144) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_526]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_526] of Property_List (properties [KB_713803_Instance_527] [KB_713803_Instance_528])) ([KB_713803_Instance_527] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 0)) ([KB_713803_Instance_528] of Widget (height 114) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 30)) ([KB_713803_Instance_529] of Widget (height 144) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_713803_Instance_530]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_530] of Property_List (properties [KB_713803_Instance_531] [KB_713803_Instance_532])) ([KB_713803_Instance_531] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_532] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_533] of Widget (height 144) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_713803_Instance_534]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_534] of Property_List (properties [KB_713803_Instance_535] [KB_713803_Instance_536])) ([KB_713803_Instance_535] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_536] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_537] of Property_List (name "layout properties") (properties [KB_713803_Instance_538] [KB_713803_Instance_539])) ([KB_713803_Instance_538] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_713803_Instance_539] of String (name "vertical_stretcher") (string_value "<>")) ([KB_713803_Instance_540] of Widget (height 180) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_713803_Instance_541]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 280) (x 280) (y 0)) ([KB_713803_Instance_541] of Property_List ) ([KB_713803_Instance_542] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_713803_Instance_543])) ([KB_713803_Instance_543] of Property_List ) ([KB_713803_Instance_544] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_713803_Instance_545])) ([KB_713803_Instance_545] of Property_List ) ([KB_713803_Instance_546] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_713803_Instance_547])) ([KB_713803_Instance_547] of Property_List ) ([KB_713803_Instance_548] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_549])) ([KB_713803_Instance_549] of Property_List ) ([KB_713803_Instance_550] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_713803_Instance_551])) ([KB_713803_Instance_551] of Property_List ) ([KB_713803_Instance_552] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-INSTANCES") (property_list [KB_713803_Instance_553]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_553] of Property_List ) ([KB_713803_Instance_554] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_713803_Instance_555]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_555] of Property_List ) ([KB_713803_Instance_556] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_713803_Instance_557]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_557] of Property_List ) ([KB_713803_Instance_558] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUBCLASSES") (property_list [KB_713803_Instance_559]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_559] of Property_List ) ([KB_713803_Instance_560] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_713803_Instance_561]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_561] of Property_List ) ([KB_713803_Instance_562] of Widget (height 0) (is_hidden FALSE) (name "owl:valuesFrom") (property_list [KB_713803_Instance_563]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_563] of Property_List ) ([KB_713803_Instance_648] of Widget (is_hidden FALSE) (name "owl:ComplementClass") (property_list [KB_713803_Instance_651]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_713803_Instance_651] of Property_List (properties [KB_713803_Instance_652] [KB_713803_Instance_666] [KB_713803_Instance_669] [KB_713803_Instance_671] [KB_713803_Instance_673] [KB_713803_Instance_675] [KB_713803_Instance_677] [KB_713803_Instance_679] [KB_713803_Instance_681] [KB_713803_Instance_683] [KB_713803_Instance_685] [KB_713803_Instance_687] [KB_713803_Instance_689] [KB_713803_Instance_691])) ([KB_713803_Instance_652] of Widget (height 180) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_653]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget") (width 280) (x 0) (y 0)) ([KB_713803_Instance_653] of Property_List (properties [KB_713803_Instance_654] [KB_713803_Instance_658] [KB_713803_Instance_662])) ([KB_713803_Instance_654] of Widget (height 144) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_655]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_655] of Property_List (properties [KB_713803_Instance_656] [KB_713803_Instance_657])) ([KB_713803_Instance_656] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 0)) ([KB_713803_Instance_657] of Widget (height 114) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 30)) ([KB_713803_Instance_658] of Widget (height 144) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_713803_Instance_659]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_659] of Property_List (properties [KB_713803_Instance_660] [KB_713803_Instance_661])) ([KB_713803_Instance_660] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_661] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_662] of Widget (height 144) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_713803_Instance_663]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_663] of Property_List (properties [KB_713803_Instance_664] [KB_713803_Instance_665])) ([KB_713803_Instance_664] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_665] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_666] of Property_List (name "layout properties") (properties [KB_713803_Instance_667] [KB_713803_Instance_668])) ([KB_713803_Instance_667] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_713803_Instance_668] of String (name "vertical_stretcher") (string_value "<>")) ([KB_713803_Instance_669] of Widget (height 180) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_713803_Instance_670]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 280) (x 280) (y 0)) ([KB_713803_Instance_670] of Property_List ) ([KB_713803_Instance_671] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_713803_Instance_672])) ([KB_713803_Instance_672] of Property_List ) ([KB_713803_Instance_673] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_713803_Instance_674])) ([KB_713803_Instance_674] of Property_List ) ([KB_713803_Instance_675] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_713803_Instance_676])) ([KB_713803_Instance_676] of Property_List ) ([KB_713803_Instance_677] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_678])) ([KB_713803_Instance_678] of Property_List ) ([KB_713803_Instance_679] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_713803_Instance_680])) ([KB_713803_Instance_680] of Property_List ) ([KB_713803_Instance_681] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-INSTANCES") (property_list [KB_713803_Instance_682]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_682] of Property_List ) ([KB_713803_Instance_683] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_713803_Instance_684]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_684] of Property_List ) ([KB_713803_Instance_685] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_713803_Instance_686]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_686] of Property_List ) ([KB_713803_Instance_687] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUBCLASSES") (property_list [KB_713803_Instance_688]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_688] of Property_List ) ([KB_713803_Instance_689] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_713803_Instance_690]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_690] of Property_List ) ([KB_713803_Instance_691] of Widget (height 0) (is_hidden FALSE) (name "owl:complementOf") (property_list [KB_713803_Instance_692]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_692] of Property_List ) ([KB_713803_Instance_693] of Widget (is_hidden FALSE) (name "owl:IntersectionClass") (property_list [KB_713803_Instance_738]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_713803_Instance_7] of Property_List (properties [KB_713803_Instance_8] [KB_713803_Instance_22] [KB_713803_Instance_25] [KB_713803_Instance_27] [KB_713803_Instance_29] [KB_713803_Instance_31] [KB_713803_Instance_33] [KB_713803_Instance_35] [KB_713803_Instance_37] [KB_713803_Instance_41] [KB_713803_Instance_45] [KB_713803_Instance_47] [KB_713803_Instance_49])) ([KB_713803_Instance_738] of Property_List (properties [KB_713803_Instance_739] [KB_713803_Instance_753] [KB_713803_Instance_756] [KB_713803_Instance_758] [KB_713803_Instance_760] [KB_713803_Instance_762] [KB_713803_Instance_764] [KB_713803_Instance_766] [KB_713803_Instance_768] [KB_713803_Instance_770] [KB_713803_Instance_772] [KB_713803_Instance_774] [KB_713803_Instance_776] [KB_713803_Instance_778])) ([KB_713803_Instance_739] of Widget (height 180) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_740]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget") (width 280) (x 0) (y 0)) ([KB_713803_Instance_740] of Property_List (properties [KB_713803_Instance_741] [KB_713803_Instance_745] [KB_713803_Instance_749])) ([KB_713803_Instance_741] of Widget (height 144) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_742]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_742] of Property_List (properties [KB_713803_Instance_743] [KB_713803_Instance_744])) ([KB_713803_Instance_743] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 0)) ([KB_713803_Instance_744] of Widget (height 114) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 30)) ([KB_713803_Instance_745] of Widget (height 144) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_713803_Instance_746]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_746] of Property_List (properties [KB_713803_Instance_747] [KB_713803_Instance_748])) ([KB_713803_Instance_747] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_748] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_749] of Widget (height 144) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_713803_Instance_750]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_750] of Property_List (properties [KB_713803_Instance_751] [KB_713803_Instance_752])) ([KB_713803_Instance_751] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_752] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_753] of Property_List (name "layout properties") (properties [KB_713803_Instance_754] [KB_713803_Instance_755])) ([KB_713803_Instance_754] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_713803_Instance_755] of String (name "vertical_stretcher") (string_value "<>")) ([KB_713803_Instance_756] of Widget (height 180) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_713803_Instance_757]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 280) (x 280) (y 0)) ([KB_713803_Instance_757] of Property_List ) ([KB_713803_Instance_758] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_713803_Instance_759])) ([KB_713803_Instance_759] of Property_List ) ([KB_713803_Instance_760] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_713803_Instance_761])) ([KB_713803_Instance_761] of Property_List ) ([KB_713803_Instance_762] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_713803_Instance_763])) ([KB_713803_Instance_763] of Property_List ) ([KB_713803_Instance_764] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_765])) ([KB_713803_Instance_765] of Property_List ) ([KB_713803_Instance_766] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_713803_Instance_767])) ([KB_713803_Instance_767] of Property_List ) ([KB_713803_Instance_768] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-INSTANCES") (property_list [KB_713803_Instance_769]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_769] of Property_List ) ([KB_713803_Instance_770] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_713803_Instance_771]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_771] of Property_List ) ([KB_713803_Instance_772] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_713803_Instance_773]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_773] of Property_List ) ([KB_713803_Instance_774] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUBCLASSES") (property_list [KB_713803_Instance_775]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_775] of Property_List ) ([KB_713803_Instance_776] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_713803_Instance_777]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_777] of Property_List ) ([KB_713803_Instance_778] of Widget (height 0) (is_hidden FALSE) (name "owl:intersectionOf") (property_list [KB_713803_Instance_779]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_779] of Property_List ) ([KB_713803_Instance_780] of Widget (is_hidden FALSE) (name "owl:UnionClass") (property_list [KB_713803_Instance_825]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_713803_Instance_8] of Widget (height 180) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_9]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget") (width 280) (x 0) (y 0)) ([KB_713803_Instance_825] of Property_List (properties [KB_713803_Instance_826] [KB_713803_Instance_840] [KB_713803_Instance_843] [KB_713803_Instance_845] [KB_713803_Instance_847] [KB_713803_Instance_849] [KB_713803_Instance_851] [KB_713803_Instance_853] [KB_713803_Instance_855] [KB_713803_Instance_857] [KB_713803_Instance_859] [KB_713803_Instance_861] [KB_713803_Instance_863] [KB_713803_Instance_865])) ([KB_713803_Instance_826] of Widget (height 180) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_827]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget") (width 280) (x 0) (y 0)) ([KB_713803_Instance_827] of Property_List (properties [KB_713803_Instance_828] [KB_713803_Instance_832] [KB_713803_Instance_836])) ([KB_713803_Instance_828] of Widget (height 144) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_713803_Instance_829]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_829] of Property_List (properties [KB_713803_Instance_830] [KB_713803_Instance_831])) ([KB_713803_Instance_830] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 0)) ([KB_713803_Instance_831] of Widget (height 114) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 0) (y 30)) ([KB_713803_Instance_832] of Widget (height 144) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_713803_Instance_833]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_833] of Property_List (properties [KB_713803_Instance_834] [KB_713803_Instance_835])) ([KB_713803_Instance_834] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_835] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_836] of Widget (height 144) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_713803_Instance_837]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 28)) ([KB_713803_Instance_837] of Property_List (properties [KB_713803_Instance_838] [KB_713803_Instance_839])) ([KB_713803_Instance_838] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_713803_Instance_839] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_713803_Instance_840] of Property_List (name "layout properties") (properties [KB_713803_Instance_841] [KB_713803_Instance_842])) ([KB_713803_Instance_841] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_713803_Instance_842] of String (name "vertical_stretcher") (string_value "<>")) ([KB_713803_Instance_843] of Widget (height 180) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_713803_Instance_844]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 280) (x 280) (y 0)) ([KB_713803_Instance_844] of Property_List ) ([KB_713803_Instance_845] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_713803_Instance_846])) ([KB_713803_Instance_846] of Property_List ) ([KB_713803_Instance_847] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_713803_Instance_848])) ([KB_713803_Instance_848] of Property_List ) ([KB_713803_Instance_849] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_713803_Instance_850])) ([KB_713803_Instance_850] of Property_List ) ([KB_713803_Instance_851] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_852])) ([KB_713803_Instance_852] of Property_List ) ([KB_713803_Instance_853] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_713803_Instance_854])) ([KB_713803_Instance_854] of Property_List ) ([KB_713803_Instance_855] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-INSTANCES") (property_list [KB_713803_Instance_856]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_856] of Property_List ) ([KB_713803_Instance_857] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TEMPLATE-SLOTS") (property_list [KB_713803_Instance_858]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_858] of Property_List ) ([KB_713803_Instance_859] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_713803_Instance_860]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_860] of Property_List ) ([KB_713803_Instance_861] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUBCLASSES") (property_list [KB_713803_Instance_862]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_862] of Property_List ) ([KB_713803_Instance_863] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-SUPERCLASSES") (property_list [KB_713803_Instance_864]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_864] of Property_List ) ([KB_713803_Instance_865] of Widget (height 0) (is_hidden FALSE) (name "owl:unionOf") (property_list [KB_713803_Instance_866]) (width 0) (x 0) (y 0)) ([KB_713803_Instance_866] of Property_List ) ([KB_713803_Instance_9] of Property_List (properties [KB_713803_Instance_10] [KB_713803_Instance_14] [KB_713803_Instance_18])) ([KB_713803_Instance_980] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_713803_Instance_981])) ([KB_713803_Instance_981] of Property_List ) ([KB_764103_Instance_545] of Widget (is_hidden FALSE) (name "owl:Ontology") (property_list [XY_Instance_195]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_865583_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_865583_Instance_1]) (widget_class_name "dfki.protege.ontoviz_tab.OntovizTab")) ([KB_865583_Instance_1] of Property_List ) ([KB_865583_Instance_10] of Widget (is_hidden TRUE) (property_list [KB_865583_Instance_11]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_865583_Instance_11] of Property_List ) ([KB_865583_Instance_12] of Widget (is_hidden TRUE) (property_list [KB_865583_Instance_13]) (widget_class_name "uk.ac.man.ac.mig.coode.individuals.ui.OWLDLIndividualsTab")) ([KB_865583_Instance_13] of Property_List ) ([KB_865583_Instance_14] of Widget (is_hidden TRUE) (property_list [KB_865583_Instance_15]) (widget_class_name "uk.ac.man.cs.mig.coode.owlviz.ui.OWLVizTab")) ([KB_865583_Instance_15] of Property_List ) ([KB_865583_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_865583_Instance_3]) (widget_class_name "uk.ac.man.cs.mig.coode.reasonerquerytab.ui.ReasonerQueryTab")) ([KB_865583_Instance_3] of Property_List ) ([KB_865583_Instance_4] of Widget (is_hidden TRUE) (property_list [KB_865583_Instance_5]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_865583_Instance_5] of Property_List ) ([KB_865583_Instance_6] of Widget (is_hidden TRUE) (property_list [KB_865583_Instance_7]) (widget_class_name "uk.ac.man.cs.mig.coode.debugger.test.DebuggerTestTab")) ([KB_865583_Instance_7] of Property_List ) ([KB_865583_Instance_8] of Widget (is_hidden FALSE) (property_list [KB_865583_Instance_9]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormsTab")) ([KB_865583_Instance_9] of Property_List ) ([KB_868747_Instance_76] of Widget (is_hidden FALSE) (name "rdfs:Class") (property_list [XY_Instance_409]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_886778_Instance_12] of Property_List ) ([KB_886778_Instance_144] of Property_List (name "slot widget properties") (properties [KB_886778_Instance_145] [KB_886778_Instance_149] [KB_886778_Instance_150] [KB_886778_Instance_152] [KB_886778_Instance_153] [KB_886778_Instance_155] [KB_886778_Instance_157] [KB_886778_Instance_159] [KB_886778_Instance_160] [KB_886778_Instance_180] [KB_886778_Instance_181] [KB_886778_Instance_184] [KB_886778_Instance_198] [KB_886778_Instance_202] [KB_886778_Instance_206] [KB_886778_Instance_208] [KB_140180_Instance_0] [KB_140180_Instance_2] [KB_140180_Instance_4] [KB_140180_Instance_6] [KB_140180_Instance_8] [KB_938545_Instance_14] [KB_938545_Instance_18] [KB_938545_Instance_23] [KB_221055_Instance_2] [KB_221055_Instance_6])) ([KB_886778_Instance_145] of Widget (height 0) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [KB_886778_Instance_146]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_146] of Property_List ) ([KB_886778_Instance_149] of Widget (name ":SLOT-CONSTRAINTS") (property_list [KB_933314_Instance_58])) ([KB_886778_Instance_150] of Widget (height 50) (name ":DIRECT-TYPE") (property_list [KB_938545_Instance_27]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget") (width 200) (x 400) (y 190)) ([KB_886778_Instance_151] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_886778_Instance_152] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_886778_Instance_153] of Widget (height 0) (label "Default") (name ":SLOT-DEFAULTS") (property_list [KB_886778_Instance_154]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_154] of Property_List ) ([KB_886778_Instance_155] of Widget (height 0) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [KB_886778_Instance_156]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_156] of Property_List ) ([KB_886778_Instance_157] of Widget (height 0) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (property_list [KB_886778_Instance_158]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_158] of Property_List ) ([KB_886778_Instance_159] of Widget (name ":ASSOCIATED-FACET")) ([KB_886778_Instance_160] of Widget (height 0) (label "Name") (name ":NAME") (property_list [KB_886778_Instance_161]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_161] of Property_List (properties [KB_933314_Instance_59])) ([KB_886778_Instance_180] of Widget (height 0) (label "Range Type") (name ":SLOT-VALUE-TYPE") (property_list [KB_938545_Instance_22]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_181] of Property_List (name "layout properties") (properties [KB_886778_Instance_182] [KB_886778_Instance_183])) ([KB_886778_Instance_182] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_886778_Instance_183] of String (name "vertical_stretcher") (string_value "<>")) ([KB_886778_Instance_184] of Widget (height 220) (is_hidden FALSE) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [KB_886778_Instance_185]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget") (width 200) (x 0) (y 170)) ([KB_886778_Instance_185] of Property_List (properties [KB_886778_Instance_186] [KB_886778_Instance_187] [KB_886778_Instance_188] [KB_886778_Instance_189] [KB_886778_Instance_190] [KB_886778_Instance_191])) ([KB_886778_Instance_186] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KB_886778_Instance_187] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KB_886778_Instance_188] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KB_886778_Instance_189] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KB_886778_Instance_190] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KB_886778_Instance_191] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KB_886778_Instance_198] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-VALUES") (property_list [KB_886778_Instance_199]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_199] of Property_List ) ([KB_886778_Instance_202] of Widget (height 0) (is_hidden FALSE) (name ":DOCUMENTATION") (property_list [KB_886778_Instance_203]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_203] of Property_List ) ([KB_886778_Instance_206] of Widget (height 170) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_886778_Instance_207]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget") (width 600) (x 0) (y 0)) ([KB_886778_Instance_207] of Property_List (properties [KB_933314_Instance_60])) ([KB_886778_Instance_208] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_886778_Instance_209]) (width 0) (x 0) (y 0)) ([KB_886778_Instance_209] of Property_List ) ([KB_886778_Instance_226] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_886778_Instance_227] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_933314_Instance_0] of Widget (is_hidden TRUE) (property_list [KB_933314_Instance_1]) (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab")) ([KB_933314_Instance_1] of Property_List ) ([KB_933314_Instance_11] of Boolean (boolean_value FALSE) (name "DisabledByUser")) ([KB_933314_Instance_12] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_933314_Instance_13] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_933314_Instance_14] of Boolean (boolean_value FALSE) (name "DisabledByUser")) ([KB_933314_Instance_15] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_933314_Instance_2] of Widget (is_hidden TRUE) (property_list [KB_933314_Instance_3]) (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab")) ([KB_933314_Instance_3] of Property_List ) ([KB_933314_Instance_58] of Property_List ) ([KB_933314_Instance_59] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_933314_Instance_60] of Boolean (boolean_value FALSE) (name "DisabledByUser")) ([KB_933314_Instance_61] of Property_List ) ([KB_933314_Instance_62] of Property_List ) ([KB_933314_Instance_63] of Boolean (boolean_value FALSE) (name "DisabledByUser")) ([KB_933314_Instance_64] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_933314_Instance_65] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_933314_Instance_66] of Boolean (boolean_value FALSE) (name "DisabledByUser")) ([KB_933314_Instance_67] of Property_List ) ([KB_933314_Instance_68] of Boolean (boolean_value TRUE) (name "DisabledByUser")) ([KB_933314_Instance_69] of Boolean (boolean_value FALSE) (name "DisabledByUser")) ([KB_938545_Instance_100] of Widget (height 220) (is_hidden FALSE) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [KB_938545_Instance_101]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget") (width 200) (x 0) (y 170)) ([KB_938545_Instance_101] of Property_List (properties [KB_938545_Instance_102] [KB_938545_Instance_103] [KB_938545_Instance_104] [KB_938545_Instance_105] [KB_938545_Instance_106] [KB_938545_Instance_107])) ([KB_938545_Instance_102] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KB_938545_Instance_103] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KB_938545_Instance_104] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KB_938545_Instance_105] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KB_938545_Instance_106] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KB_938545_Instance_107] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KB_938545_Instance_108] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-VALUES") (property_list [KB_938545_Instance_109]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_109] of Property_List ) ([KB_938545_Instance_112] of Widget (height 0) (is_hidden FALSE) (name ":DOCUMENTATION") (property_list [KB_938545_Instance_113]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_113] of Property_List ) ([KB_938545_Instance_114] of Widget (height 170) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_938545_Instance_115]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget") (width 600) (x 0) (y 0)) ([KB_938545_Instance_115] of Property_List (properties [KB_933314_Instance_66])) ([KB_938545_Instance_116] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_938545_Instance_117]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_117] of Property_List ) ([KB_938545_Instance_118] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_938545_Instance_119])) ([KB_938545_Instance_119] of Property_List ) ([KB_938545_Instance_120] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_938545_Instance_121])) ([KB_938545_Instance_1206] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_1207])) ([KB_938545_Instance_1207] of Property_List ) ([KB_938545_Instance_1208] of Widget (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_938545_Instance_1209])) ([KB_938545_Instance_1209] of Property_List ) ([KB_938545_Instance_121] of Property_List ) ([KB_938545_Instance_122] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_938545_Instance_123])) ([KB_938545_Instance_123] of Property_List ) ([KB_938545_Instance_124] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_938545_Instance_125])) ([KB_938545_Instance_125] of Property_List ) ([KB_938545_Instance_126] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_127])) ([KB_938545_Instance_127] of Property_List ) ([KB_938545_Instance_128] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_129]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_129] of Property_List ) ([KB_938545_Instance_130] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_131]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_131] of Property_List ) ([KB_938545_Instance_132] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_133]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_133] of Property_List ) ([KB_938545_Instance_134] of Widget (height 80) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_938545_Instance_135]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.OWLDatatypePropertyTypesWidget") (width 200) (x 400) (y 190)) ([KB_938545_Instance_135] of Property_List ) ([KB_938545_Instance_14] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_15]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_140] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_938545_Instance_141])) ([KB_938545_Instance_141] of Property_List ) ([KB_938545_Instance_142] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_938545_Instance_143])) ([KB_938545_Instance_143] of Property_List ) ([KB_938545_Instance_144] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_145]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_145] of Property_List ) ([KB_938545_Instance_148] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_149]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_149] of Property_List ) ([KB_938545_Instance_15] of Property_List ) ([KB_938545_Instance_152] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_153]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_153] of Property_List ) ([KB_938545_Instance_156] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_938545_Instance_157]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_157] of Property_List ) ([KB_938545_Instance_158] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_938545_Instance_159])) ([KB_938545_Instance_159] of Property_List ) ([KB_938545_Instance_160] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_161])) ([KB_938545_Instance_161] of Property_List ) ([KB_938545_Instance_162] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_938545_Instance_163])) ([KB_938545_Instance_163] of Property_List ) ([KB_938545_Instance_164] of Property_List ) ([KB_938545_Instance_165] of Property_List ) ([KB_938545_Instance_166] of Widget (is_hidden FALSE) (name "owl:AnnotationProperty") (property_list [KB_938545_Instance_249]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_938545_Instance_18] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_19]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_19] of Property_List ) ([KB_938545_Instance_22] of Property_List ) ([KB_938545_Instance_23] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_24]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_24] of Property_List ) ([KB_938545_Instance_249] of Property_List (name "slot widget properties") (properties [KB_938545_Instance_250] [KB_938545_Instance_252] [KB_938545_Instance_256] [KB_938545_Instance_257] [KB_938545_Instance_259] [KB_938545_Instance_261] [KB_938545_Instance_263] [KB_938545_Instance_264] [KB_938545_Instance_288] [KB_938545_Instance_290] [KB_938545_Instance_293] [KB_938545_Instance_301] [KB_938545_Instance_305] [KB_938545_Instance_307] [KB_938545_Instance_309] [KB_938545_Instance_311] [KB_938545_Instance_313] [KB_938545_Instance_315] [KB_938545_Instance_317] [KB_938545_Instance_319] [KB_938545_Instance_321] [KB_938545_Instance_323] [KB_938545_Instance_325] [KB_938545_Instance_327] [KB_221055_Instance_26] [KB_221055_Instance_30])) ([KB_938545_Instance_250] of Widget (height 0) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [KB_938545_Instance_251]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_251] of Property_List ) ([KB_938545_Instance_252] of Widget (name ":SLOT-CONSTRAINTS") (property_list [KB_933314_Instance_67])) ([KB_938545_Instance_255] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_938545_Instance_256] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_938545_Instance_257] of Widget (height 0) (label "Default") (name ":SLOT-DEFAULTS") (property_list [KB_938545_Instance_258]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_258] of Property_List ) ([KB_938545_Instance_259] of Widget (height 0) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [KB_938545_Instance_260]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_260] of Property_List ) ([KB_938545_Instance_261] of Widget (height 0) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (property_list [KB_938545_Instance_262]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_262] of Property_List ) ([KB_938545_Instance_263] of Widget (name ":ASSOCIATED-FACET")) ([KB_938545_Instance_264] of Widget (height 0) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_265]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_265] of Property_List (properties [KB_933314_Instance_68])) ([KB_938545_Instance_27] of Property_List ) ([KB_938545_Instance_288] of Widget (height 0) (label "Range Type") (name ":SLOT-VALUE-TYPE") (property_list [KB_938545_Instance_289]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_289] of Property_List ) ([KB_938545_Instance_290] of Property_List (name "layout properties") (properties [KB_938545_Instance_291] [KB_938545_Instance_292])) ([KB_938545_Instance_291] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_938545_Instance_292] of String (name "vertical_stretcher") (string_value "<>")) ([KB_938545_Instance_293] of Widget (height 220) (is_hidden FALSE) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [KB_938545_Instance_294]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget") (width 200) (x 0) (y 170)) ([KB_938545_Instance_294] of Property_List (properties [KB_938545_Instance_295] [KB_938545_Instance_296] [KB_938545_Instance_297] [KB_938545_Instance_298] [KB_938545_Instance_299] [KB_938545_Instance_300])) ([KB_938545_Instance_295] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KB_938545_Instance_296] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KB_938545_Instance_297] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KB_938545_Instance_298] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KB_938545_Instance_299] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KB_938545_Instance_300] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KB_938545_Instance_301] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-VALUES") (property_list [KB_938545_Instance_302]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_302] of Property_List ) ([KB_938545_Instance_305] of Widget (height 0) (is_hidden FALSE) (name ":DOCUMENTATION") (property_list [KB_938545_Instance_306]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_306] of Property_List ) ([KB_938545_Instance_307] of Widget (height 170) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_938545_Instance_308]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget") (width 600) (x 0) (y 0)) ([KB_938545_Instance_308] of Property_List (properties [KB_933314_Instance_69])) ([KB_938545_Instance_309] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_938545_Instance_310]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_310] of Property_List ) ([KB_938545_Instance_311] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_938545_Instance_312])) ([KB_938545_Instance_312] of Property_List ) ([KB_938545_Instance_313] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_938545_Instance_314])) ([KB_938545_Instance_314] of Property_List ) ([KB_938545_Instance_315] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_938545_Instance_316])) ([KB_938545_Instance_316] of Property_List ) ([KB_938545_Instance_317] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_938545_Instance_318])) ([KB_938545_Instance_318] of Property_List ) ([KB_938545_Instance_319] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_320])) ([KB_938545_Instance_320] of Property_List ) ([KB_938545_Instance_321] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_322]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_322] of Property_List ) ([KB_938545_Instance_323] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_324]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_324] of Property_List ) ([KB_938545_Instance_325] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_326]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_326] of Property_List ) ([KB_938545_Instance_327] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_938545_Instance_328]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_328] of Property_List ) ([KB_938545_Instance_329] of Widget (is_hidden FALSE) (name "owl:FunctionalProperty") (property_list [KB_938545_Instance_332]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_938545_Instance_332] of Property_List (name "slot widget properties") (properties [KB_938545_Instance_333] [KB_938545_Instance_335] [KB_938545_Instance_339] [KB_938545_Instance_340] [KB_938545_Instance_342] [KB_938545_Instance_344] [KB_938545_Instance_346] [KB_938545_Instance_347] [KB_938545_Instance_371] [KB_938545_Instance_373] [KB_938545_Instance_376] [KB_938545_Instance_384] [KB_938545_Instance_388] [KB_938545_Instance_390] [KB_938545_Instance_392] [KB_938545_Instance_394] [KB_938545_Instance_396] [KB_938545_Instance_398] [KB_938545_Instance_400] [KB_938545_Instance_402] [KB_938545_Instance_404] [KB_938545_Instance_406] [KB_938545_Instance_408] [KB_938545_Instance_410] [KB_221055_Instance_34] [KB_221055_Instance_38])) ([KB_938545_Instance_333] of Widget (height 0) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [KB_938545_Instance_334]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_334] of Property_List ) ([KB_938545_Instance_335] of Widget (name ":SLOT-CONSTRAINTS")) ([KB_938545_Instance_338] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_938545_Instance_339] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_938545_Instance_340] of Widget (height 0) (label "Default") (name ":SLOT-DEFAULTS") (property_list [KB_938545_Instance_341]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_341] of Property_List ) ([KB_938545_Instance_342] of Widget (height 0) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [KB_938545_Instance_343]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_343] of Property_List ) ([KB_938545_Instance_344] of Widget (height 0) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (property_list [KB_938545_Instance_345]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_345] of Property_List ) ([KB_938545_Instance_346] of Widget (name ":ASSOCIATED-FACET")) ([KB_938545_Instance_347] of Widget (height 173) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_348]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.RDFPropertyMetadataWidget") (width 300) (x 0) (y 0)) ([KB_938545_Instance_348] of Property_List (properties [KB_938545_Instance_349] [KB_938545_Instance_353] [KB_938545_Instance_357] [KB_938545_Instance_361] [KB_938545_Instance_365])) ([KB_938545_Instance_349] of Widget (height 137) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_350]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_350] of Property_List (properties [KB_938545_Instance_351] [KB_938545_Instance_352])) ([KB_938545_Instance_351] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 0)) ([KB_938545_Instance_352] of Widget (height 107) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 30)) ([KB_938545_Instance_353] of Widget (height 138) (is_hidden FALSE) (label "owl:equivalentProperty") (name ":OWL-EQUIVALENT-SLOTS") (property_list [KB_938545_Instance_354]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 27)) ([KB_938545_Instance_354] of Property_List (properties [KB_938545_Instance_355] [KB_938545_Instance_356])) ([KB_938545_Instance_355] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_356] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_357] of Widget (height 137) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_938545_Instance_358]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_358] of Property_List (properties [KB_938545_Instance_359] [KB_938545_Instance_360])) ([KB_938545_Instance_359] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_360] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_361] of Widget (height 137) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_938545_Instance_362]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_362] of Property_List (properties [KB_938545_Instance_363] [KB_938545_Instance_364])) ([KB_938545_Instance_363] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_364] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_365] of Widget (height 137) (is_hidden FALSE) (label "owl:equivalentProperty") (name "owl:equivalentProperty") (property_list [KB_938545_Instance_366]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_366] of Property_List (properties [KB_938545_Instance_367] [KB_938545_Instance_368])) ([KB_938545_Instance_367] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_368] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_371] of Widget (height 0) (label "Range Type") (name ":SLOT-VALUE-TYPE") (property_list [KB_938545_Instance_372]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_372] of Property_List ) ([KB_938545_Instance_373] of Property_List (name "layout properties") (properties [KB_938545_Instance_374] [KB_938545_Instance_375])) ([KB_938545_Instance_374] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_938545_Instance_375] of String (name "vertical_stretcher") (string_value "<>")) ([KB_938545_Instance_376] of Widget (height 220) (is_hidden FALSE) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [KB_938545_Instance_377]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget") (width 200) (x 0) (y 170)) ([KB_938545_Instance_377] of Property_List (properties [KB_938545_Instance_378] [KB_938545_Instance_379] [KB_938545_Instance_380] [KB_938545_Instance_381] [KB_938545_Instance_382] [KB_938545_Instance_383])) ([KB_938545_Instance_378] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KB_938545_Instance_379] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KB_938545_Instance_380] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KB_938545_Instance_381] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KB_938545_Instance_382] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KB_938545_Instance_383] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KB_938545_Instance_384] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-VALUES") (property_list [KB_938545_Instance_385]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_385] of Property_List ) ([KB_938545_Instance_388] of Widget (height 0) (is_hidden FALSE) (name ":DOCUMENTATION") (property_list [KB_938545_Instance_389]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_389] of Property_List ) ([KB_938545_Instance_390] of Widget (height 170) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_938545_Instance_391]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 300) (x 300) (y 0)) ([KB_938545_Instance_391] of Property_List ) ([KB_938545_Instance_392] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_938545_Instance_393]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_393] of Property_List ) ([KB_938545_Instance_394] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_938545_Instance_395])) ([KB_938545_Instance_395] of Property_List ) ([KB_938545_Instance_396] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_938545_Instance_397])) ([KB_938545_Instance_397] of Property_List ) ([KB_938545_Instance_398] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_938545_Instance_399])) ([KB_938545_Instance_399] of Property_List ) ([KB_938545_Instance_400] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_938545_Instance_401])) ([KB_938545_Instance_401] of Property_List ) ([KB_938545_Instance_402] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_403])) ([KB_938545_Instance_403] of Property_List ) ([KB_938545_Instance_404] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_405]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_405] of Property_List ) ([KB_938545_Instance_406] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_407]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_407] of Property_List ) ([KB_938545_Instance_408] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_409]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_409] of Property_List ) ([KB_938545_Instance_410] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_938545_Instance_411]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_411] of Property_List ) ([KB_938545_Instance_412] of Widget (is_hidden FALSE) (name "owl:InverseFunctionalProperty") (property_list [KB_938545_Instance_415]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_938545_Instance_415] of Property_List (name "slot widget properties") (properties [KB_938545_Instance_416] [KB_938545_Instance_418] [KB_938545_Instance_422] [KB_938545_Instance_423] [KB_938545_Instance_425] [KB_938545_Instance_427] [KB_938545_Instance_429] [KB_938545_Instance_430] [KB_938545_Instance_454] [KB_938545_Instance_456] [KB_938545_Instance_459] [KB_938545_Instance_467] [KB_938545_Instance_471] [KB_938545_Instance_473] [KB_938545_Instance_475] [KB_938545_Instance_477] [KB_938545_Instance_479] [KB_938545_Instance_481] [KB_938545_Instance_483] [KB_938545_Instance_485] [KB_938545_Instance_487] [KB_938545_Instance_489] [KB_938545_Instance_491] [KB_938545_Instance_493] [KB_221055_Instance_42] [KB_221055_Instance_46])) ([KB_938545_Instance_416] of Widget (height 0) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [KB_938545_Instance_417]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_417] of Property_List ) ([KB_938545_Instance_418] of Widget (name ":SLOT-CONSTRAINTS")) ([KB_938545_Instance_421] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_938545_Instance_422] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_938545_Instance_423] of Widget (height 0) (label "Default") (name ":SLOT-DEFAULTS") (property_list [KB_938545_Instance_424]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_424] of Property_List ) ([KB_938545_Instance_425] of Widget (height 0) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [KB_938545_Instance_426]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_426] of Property_List ) ([KB_938545_Instance_427] of Widget (height 0) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (property_list [KB_938545_Instance_428]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_428] of Property_List ) ([KB_938545_Instance_429] of Widget (name ":ASSOCIATED-FACET")) ([KB_938545_Instance_430] of Widget (height 173) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_431]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.RDFPropertyMetadataWidget") (width 300) (x 0) (y 0)) ([KB_938545_Instance_431] of Property_List (properties [KB_938545_Instance_432] [KB_938545_Instance_436] [KB_938545_Instance_440] [KB_938545_Instance_444] [KB_938545_Instance_448])) ([KB_938545_Instance_432] of Widget (height 137) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_433]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_433] of Property_List (properties [KB_938545_Instance_434] [KB_938545_Instance_435])) ([KB_938545_Instance_434] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 0)) ([KB_938545_Instance_435] of Widget (height 107) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 30)) ([KB_938545_Instance_436] of Widget (height 138) (is_hidden FALSE) (label "owl:equivalentProperty") (name ":OWL-EQUIVALENT-SLOTS") (property_list [KB_938545_Instance_437]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 27)) ([KB_938545_Instance_437] of Property_List (properties [KB_938545_Instance_438] [KB_938545_Instance_439])) ([KB_938545_Instance_438] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_439] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_440] of Widget (height 137) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_938545_Instance_441]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_441] of Property_List (properties [KB_938545_Instance_442] [KB_938545_Instance_443])) ([KB_938545_Instance_442] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_443] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_444] of Widget (height 137) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_938545_Instance_445]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_445] of Property_List (properties [KB_938545_Instance_446] [KB_938545_Instance_447])) ([KB_938545_Instance_446] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_447] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_448] of Widget (height 137) (is_hidden FALSE) (label "owl:equivalentProperty") (name "owl:equivalentProperty") (property_list [KB_938545_Instance_449]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_449] of Property_List (properties [KB_938545_Instance_450] [KB_938545_Instance_451])) ([KB_938545_Instance_450] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_451] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_454] of Widget (height 0) (label "Range Type") (name ":SLOT-VALUE-TYPE") (property_list [KB_938545_Instance_455]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_455] of Property_List ) ([KB_938545_Instance_456] of Property_List (name "layout properties") (properties [KB_938545_Instance_457] [KB_938545_Instance_458])) ([KB_938545_Instance_457] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_938545_Instance_458] of String (name "vertical_stretcher") (string_value "<>")) ([KB_938545_Instance_459] of Widget (height 220) (is_hidden FALSE) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [KB_938545_Instance_460]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget") (width 200) (x 0) (y 170)) ([KB_938545_Instance_460] of Property_List (properties [KB_938545_Instance_461] [KB_938545_Instance_462] [KB_938545_Instance_463] [KB_938545_Instance_464] [KB_938545_Instance_465] [KB_938545_Instance_466])) ([KB_938545_Instance_461] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KB_938545_Instance_462] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KB_938545_Instance_463] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KB_938545_Instance_464] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KB_938545_Instance_465] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KB_938545_Instance_466] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KB_938545_Instance_467] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-VALUES") (property_list [KB_938545_Instance_468]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_468] of Property_List ) ([KB_938545_Instance_471] of Widget (height 0) (is_hidden FALSE) (name ":DOCUMENTATION") (property_list [KB_938545_Instance_472]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_472] of Property_List ) ([KB_938545_Instance_473] of Widget (height 170) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_938545_Instance_474]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 300) (x 300) (y 0)) ([KB_938545_Instance_474] of Property_List ) ([KB_938545_Instance_475] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_938545_Instance_476]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_476] of Property_List ) ([KB_938545_Instance_477] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_938545_Instance_478])) ([KB_938545_Instance_478] of Property_List ) ([KB_938545_Instance_479] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_938545_Instance_480])) ([KB_938545_Instance_480] of Property_List ) ([KB_938545_Instance_481] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_938545_Instance_482])) ([KB_938545_Instance_482] of Property_List ) ([KB_938545_Instance_483] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_938545_Instance_484])) ([KB_938545_Instance_484] of Property_List ) ([KB_938545_Instance_485] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_486])) ([KB_938545_Instance_486] of Property_List ) ([KB_938545_Instance_487] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_488]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_488] of Property_List ) ([KB_938545_Instance_489] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_490]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_490] of Property_List ) ([KB_938545_Instance_491] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_492]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_492] of Property_List ) ([KB_938545_Instance_493] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_938545_Instance_494]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_494] of Property_List ) ([KB_938545_Instance_495] of Widget (is_hidden FALSE) (name "owl:SymmetricProperty") (property_list [KB_938545_Instance_498]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_938545_Instance_498] of Property_List (name "slot widget properties") (properties [KB_938545_Instance_499] [KB_938545_Instance_501] [KB_938545_Instance_505] [KB_938545_Instance_506] [KB_938545_Instance_508] [KB_938545_Instance_510] [KB_938545_Instance_512] [KB_938545_Instance_513] [KB_938545_Instance_537] [KB_938545_Instance_539] [KB_938545_Instance_542] [KB_938545_Instance_550] [KB_938545_Instance_554] [KB_938545_Instance_556] [KB_938545_Instance_558] [KB_938545_Instance_560] [KB_938545_Instance_562] [KB_938545_Instance_564] [KB_938545_Instance_566] [KB_938545_Instance_568] [KB_938545_Instance_570] [KB_938545_Instance_572] [KB_938545_Instance_574] [KB_938545_Instance_576] [KB_221055_Instance_50] [KB_221055_Instance_54])) ([KB_938545_Instance_499] of Widget (height 0) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [KB_938545_Instance_500]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_500] of Property_List ) ([KB_938545_Instance_501] of Widget (name ":SLOT-CONSTRAINTS")) ([KB_938545_Instance_504] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_938545_Instance_505] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_938545_Instance_506] of Widget (height 0) (label "Default") (name ":SLOT-DEFAULTS") (property_list [KB_938545_Instance_507]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_507] of Property_List ) ([KB_938545_Instance_508] of Widget (height 0) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [KB_938545_Instance_509]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_509] of Property_List ) ([KB_938545_Instance_510] of Widget (height 0) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (property_list [KB_938545_Instance_511]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_511] of Property_List ) ([KB_938545_Instance_512] of Widget (name ":ASSOCIATED-FACET")) ([KB_938545_Instance_513] of Widget (height 173) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_514]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.RDFPropertyMetadataWidget") (width 300) (x 0) (y 0)) ([KB_938545_Instance_514] of Property_List (properties [KB_938545_Instance_515] [KB_938545_Instance_519] [KB_938545_Instance_523] [KB_938545_Instance_527] [KB_938545_Instance_531])) ([KB_938545_Instance_515] of Widget (height 137) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_516]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_516] of Property_List (properties [KB_938545_Instance_517] [KB_938545_Instance_518])) ([KB_938545_Instance_517] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 0)) ([KB_938545_Instance_518] of Widget (height 107) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 30)) ([KB_938545_Instance_519] of Widget (height 138) (is_hidden FALSE) (label "owl:equivalentProperty") (name ":OWL-EQUIVALENT-SLOTS") (property_list [KB_938545_Instance_520]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 27)) ([KB_938545_Instance_520] of Property_List (properties [KB_938545_Instance_521] [KB_938545_Instance_522])) ([KB_938545_Instance_521] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_522] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_523] of Widget (height 137) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_938545_Instance_524]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_524] of Property_List (properties [KB_938545_Instance_525] [KB_938545_Instance_526])) ([KB_938545_Instance_525] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_526] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_527] of Widget (height 137) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_938545_Instance_528]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_528] of Property_List (properties [KB_938545_Instance_529] [KB_938545_Instance_530])) ([KB_938545_Instance_529] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_530] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_531] of Widget (height 137) (is_hidden FALSE) (label "owl:equivalentProperty") (name "owl:equivalentProperty") (property_list [KB_938545_Instance_532]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_532] of Property_List (properties [KB_938545_Instance_533] [KB_938545_Instance_534])) ([KB_938545_Instance_533] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_534] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_537] of Widget (height 0) (label "Range Type") (name ":SLOT-VALUE-TYPE") (property_list [KB_938545_Instance_538]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_538] of Property_List ) ([KB_938545_Instance_539] of Property_List (name "layout properties") (properties [KB_938545_Instance_540] [KB_938545_Instance_541])) ([KB_938545_Instance_540] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_938545_Instance_541] of String (name "vertical_stretcher") (string_value "<>")) ([KB_938545_Instance_542] of Widget (height 220) (is_hidden FALSE) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [KB_938545_Instance_543]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget") (width 200) (x 0) (y 170)) ([KB_938545_Instance_543] of Property_List (properties [KB_938545_Instance_544] [KB_938545_Instance_545] [KB_938545_Instance_546] [KB_938545_Instance_547] [KB_938545_Instance_548] [KB_938545_Instance_549])) ([KB_938545_Instance_544] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KB_938545_Instance_545] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KB_938545_Instance_546] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KB_938545_Instance_547] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KB_938545_Instance_548] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KB_938545_Instance_549] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KB_938545_Instance_550] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-VALUES") (property_list [KB_938545_Instance_551]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_551] of Property_List ) ([KB_938545_Instance_554] of Widget (height 0) (is_hidden FALSE) (name ":DOCUMENTATION") (property_list [KB_938545_Instance_555]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_555] of Property_List ) ([KB_938545_Instance_556] of Widget (height 170) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_938545_Instance_557]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 300) (x 300) (y 0)) ([KB_938545_Instance_557] of Property_List ) ([KB_938545_Instance_558] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_938545_Instance_559]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_559] of Property_List ) ([KB_938545_Instance_56] of Property_List (name "slot widget properties") (properties [KB_938545_Instance_57] [KB_938545_Instance_59] [KB_938545_Instance_63] [KB_938545_Instance_64] [KB_938545_Instance_66] [KB_938545_Instance_68] [KB_938545_Instance_70] [KB_938545_Instance_71] [KB_938545_Instance_95] [KB_938545_Instance_97] [KB_938545_Instance_100] [KB_938545_Instance_108] [KB_938545_Instance_112] [KB_938545_Instance_114] [KB_938545_Instance_116] [KB_938545_Instance_118] [KB_938545_Instance_120] [KB_938545_Instance_122] [KB_938545_Instance_124] [KB_938545_Instance_126] [KB_938545_Instance_128] [KB_938545_Instance_130] [KB_938545_Instance_132] [KB_938545_Instance_134] [KB_221055_Instance_10] [KB_221055_Instance_14])) ([KB_938545_Instance_560] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_938545_Instance_561])) ([KB_938545_Instance_561] of Property_List ) ([KB_938545_Instance_562] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_938545_Instance_563])) ([KB_938545_Instance_563] of Property_List ) ([KB_938545_Instance_564] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_938545_Instance_565])) ([KB_938545_Instance_565] of Property_List ) ([KB_938545_Instance_566] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_938545_Instance_567])) ([KB_938545_Instance_567] of Property_List ) ([KB_938545_Instance_568] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_569])) ([KB_938545_Instance_569] of Property_List ) ([KB_938545_Instance_57] of Widget (height 0) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [KB_938545_Instance_58]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_570] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_571]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_571] of Property_List ) ([KB_938545_Instance_572] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_573]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_573] of Property_List ) ([KB_938545_Instance_574] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_575]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_575] of Property_List ) ([KB_938545_Instance_576] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_938545_Instance_577]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_577] of Property_List ) ([KB_938545_Instance_578] of Widget (is_hidden FALSE) (name "owl:TransitiveProperty") (property_list [KB_938545_Instance_581]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_938545_Instance_58] of Property_List ) ([KB_938545_Instance_581] of Property_List (name "slot widget properties") (properties [KB_938545_Instance_582] [KB_938545_Instance_584] [KB_938545_Instance_588] [KB_938545_Instance_589] [KB_938545_Instance_591] [KB_938545_Instance_593] [KB_938545_Instance_595] [KB_938545_Instance_596] [KB_938545_Instance_620] [KB_938545_Instance_622] [KB_938545_Instance_625] [KB_938545_Instance_633] [KB_938545_Instance_637] [KB_938545_Instance_639] [KB_938545_Instance_641] [KB_938545_Instance_643] [KB_938545_Instance_645] [KB_938545_Instance_647] [KB_938545_Instance_649] [KB_938545_Instance_651] [KB_938545_Instance_653] [KB_938545_Instance_655] [KB_938545_Instance_657] [KB_938545_Instance_659] [KB_221055_Instance_58] [KB_221055_Instance_62])) ([KB_938545_Instance_582] of Widget (height 0) (label "Cardinality") (name ":SLOT-MINIMUM-CARDINALITY") (property_list [KB_938545_Instance_583]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_583] of Property_List ) ([KB_938545_Instance_584] of Widget (name ":SLOT-CONSTRAINTS")) ([KB_938545_Instance_587] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_938545_Instance_588] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_938545_Instance_589] of Widget (height 0) (label "Default") (name ":SLOT-DEFAULTS") (property_list [KB_938545_Instance_590]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_59] of Widget (name ":SLOT-CONSTRAINTS") (property_list [KB_933314_Instance_61])) ([KB_938545_Instance_590] of Property_List ) ([KB_938545_Instance_591] of Widget (height 0) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [KB_938545_Instance_592]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_592] of Property_List ) ([KB_938545_Instance_593] of Widget (height 0) (label "Minimum") (name ":SLOT-NUMERIC-MINIMUM") (property_list [KB_938545_Instance_594]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_594] of Property_List ) ([KB_938545_Instance_595] of Widget (name ":ASSOCIATED-FACET")) ([KB_938545_Instance_596] of Widget (height 173) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_597]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.RDFPropertyMetadataWidget") (width 300) (x 0) (y 0)) ([KB_938545_Instance_597] of Property_List (properties [KB_938545_Instance_598] [KB_938545_Instance_602] [KB_938545_Instance_606] [KB_938545_Instance_610] [KB_938545_Instance_614])) ([KB_938545_Instance_598] of Widget (height 137) (is_hidden FALSE) (label "Name") (name ":NAME") (property_list [KB_938545_Instance_599]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_599] of Property_List (properties [KB_938545_Instance_600] [KB_938545_Instance_601])) ([KB_938545_Instance_600] of Widget (height 30) (is_hidden FALSE) (label "Name") (name ":NAME") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 0)) ([KB_938545_Instance_601] of Widget (height 107) (is_hidden FALSE) (label "Comment") (name "rdfs:comment") (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 0) (y 30)) ([KB_938545_Instance_602] of Widget (height 138) (is_hidden FALSE) (label "owl:equivalentProperty") (name ":OWL-EQUIVALENT-SLOTS") (property_list [KB_938545_Instance_603]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 266) (x 7) (y 27)) ([KB_938545_Instance_603] of Property_List (properties [KB_938545_Instance_604] [KB_938545_Instance_605])) ([KB_938545_Instance_604] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_605] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_606] of Widget (height 137) (is_hidden FALSE) (label "owl:sameAs") (name "owl:sameAs") (property_list [KB_938545_Instance_607]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_607] of Property_List (properties [KB_938545_Instance_608] [KB_938545_Instance_609])) ([KB_938545_Instance_608] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_609] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_610] of Widget (height 137) (is_hidden FALSE) (label "owl:differentFrom") (name "owl:differentFrom") (property_list [KB_938545_Instance_611]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_611] of Property_List (properties [KB_938545_Instance_612] [KB_938545_Instance_613])) ([KB_938545_Instance_612] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_613] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_614] of Widget (height 137) (is_hidden FALSE) (label "owl:equivalentProperty") (name "owl:equivalentProperty") (property_list [KB_938545_Instance_615]) (widget_class_name "edu.stanford.smi.protege.widget.FormWidget") (width 286) (x 7) (y 28)) ([KB_938545_Instance_615] of Property_List (properties [KB_938545_Instance_616] [KB_938545_Instance_617])) ([KB_938545_Instance_616] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-View References to Value ")) ([KB_938545_Instance_617] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Instance")) ([KB_938545_Instance_62] of Widget (name ":DIRECT-SUPERSLOTS")) ([KB_938545_Instance_620] of Widget (height 0) (label "Range Type") (name ":SLOT-VALUE-TYPE") (property_list [KB_938545_Instance_621]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_621] of Property_List ) ([KB_938545_Instance_622] of Property_List (name "layout properties") (properties [KB_938545_Instance_623] [KB_938545_Instance_624])) ([KB_938545_Instance_623] of String (name "horizontal_stretcher") (string_value "<>")) ([KB_938545_Instance_624] of String (name "vertical_stretcher") (string_value "<>")) ([KB_938545_Instance_625] of Widget (height 220) (is_hidden FALSE) (label "Domain") (name ":DIRECT-DOMAIN") (property_list [KB_938545_Instance_626]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget") (width 200) (x 0) (y 170)) ([KB_938545_Instance_626] of Property_List (properties [KB_938545_Instance_627] [KB_938545_Instance_628] [KB_938545_Instance_629] [KB_938545_Instance_630] [KB_938545_Instance_631] [KB_938545_Instance_632])) ([KB_938545_Instance_627] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-View Selected Instances")) ([KB_938545_Instance_628] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Create Instance")) ([KB_938545_Instance_629] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-References")) ([KB_938545_Instance_63] of Widget (name ":DIRECT-SUBSLOTS")) ([KB_938545_Instance_630] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Add")) ([KB_938545_Instance_631] of Boolean (boolean_value TRUE) (name "ButtonDisplayed-Remove")) ([KB_938545_Instance_632] of Boolean (boolean_value FALSE) (name "ButtonDisplayed-Delete Selected Instances")) ([KB_938545_Instance_633] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-VALUES") (property_list [KB_938545_Instance_634]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_634] of Property_List ) ([KB_938545_Instance_637] of Widget (height 0) (is_hidden FALSE) (name ":DOCUMENTATION") (property_list [KB_938545_Instance_638]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_638] of Property_List ) ([KB_938545_Instance_639] of Widget (height 170) (is_hidden FALSE) (name "protege:inferredType") (property_list [KB_938545_Instance_640]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget") (width 300) (x 300) (y 0)) ([KB_938545_Instance_64] of Widget (height 0) (label "Default") (name ":SLOT-DEFAULTS") (property_list [KB_938545_Instance_65]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_640] of Property_List ) ([KB_938545_Instance_641] of Widget (height 0) (is_hidden FALSE) (name ":SLOT-MAXIMUM-CARDINALITY") (property_list [KB_938545_Instance_642]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_642] of Property_List ) ([KB_938545_Instance_643] of Widget (is_hidden FALSE) (name "owl:versionInfo") (property_list [KB_938545_Instance_644])) ([KB_938545_Instance_644] of Property_List ) ([KB_938545_Instance_645] of Widget (is_hidden FALSE) (name "rdfs:isDefinedBy") (property_list [KB_938545_Instance_646])) ([KB_938545_Instance_646] of Property_List ) ([KB_938545_Instance_647] of Widget (is_hidden FALSE) (name "rdfs:label") (property_list [KB_938545_Instance_648])) ([KB_938545_Instance_648] of Property_List ) ([KB_938545_Instance_649] of Widget (is_hidden FALSE) (name "rdfs:seeAlso") (property_list [KB_938545_Instance_650])) ([KB_938545_Instance_65] of Property_List ) ([KB_938545_Instance_650] of Property_List ) ([KB_938545_Instance_651] of Widget (is_hidden FALSE) (name "rdfs:comment") (property_list [KB_938545_Instance_652])) ([KB_938545_Instance_652] of Property_List ) ([KB_938545_Instance_653] of Widget (height 0) (is_hidden FALSE) (name "rdfs:domain") (property_list [KB_938545_Instance_654]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_654] of Property_List ) ([KB_938545_Instance_655] of Widget (height 0) (is_hidden FALSE) (name "owl:equivalentProperty") (property_list [KB_938545_Instance_656]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_656] of Property_List ) ([KB_938545_Instance_657] of Widget (height 220) (is_hidden FALSE) (name "rdfs:range") (property_list [KB_938545_Instance_658]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget") (width 200) (x 200) (y 170)) ([KB_938545_Instance_658] of Property_List ) ([KB_938545_Instance_659] of Widget (height 0) (is_hidden FALSE) (name ":DIRECT-TYPE") (property_list [KB_938545_Instance_660]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_66] of Widget (height 0) (label "Maximum") (name ":SLOT-NUMERIC-MAXIMUM") (property_list [KB_938545_Instance_67]) (width 0) (x 0) (y 0)) ([KB_938545_Instance_660] of Property_List ) ([KB_938545_Instance_661] of Widget (is_hidden FALSE) (name "owl:DeprecatedProperty") (property_list [KB_938545_Instance_664]) (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")) ([KB_938545_Instance_664] of Property_List (name "slot widget properties") (properties [KB_938545_Instance_665] [KB_938545_Instance_667] [KB_938545_In