Mercurial > hg > MPIWGOntologies

comparison annotations-3.pprj @ 11:80d6a554819f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new annotations ontology with new model of relations.
author casties
date Wed, 02 May 2012 11:59:03 +0200
parents
children e6eccbbbffb3
comparison
equal deleted inserted replaced
10:c132f3b20297 11:80d6a554819f
1 ; Wed May 02 11:57:32 CEST 2012
2 ;
3 ;+ (version "3.4.8")
4 ;+ (build "Build 629")
5
6 ([annotations-3_ProjectKB_Class187] of Widget
7
8 (height 50)
9 (name ":DIRECT-TYPE")
10 (property_list [annotations-3_ProjectKB_Class188])
11 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
12 (width 200)
13 (x 400)
14 (y 190))
15
16 ([annotations-3_ProjectKB_Class188] of Property_List
17 )
18
19 ([annotations-3_ProjectKB_Class249] of Widget
20
21 (height 50)
22 (name ":DIRECT-TYPE")
23 (property_list [annotations-3_ProjectKB_Class250])
24 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
25 (width 200)
26 (x 400)
27 (y 190))
28
29 ([annotations-3_ProjectKB_Class250] of Property_List
30 )
31
32 ([annotations-3_ProjectKB_Class463] of Widget
33
34 (height 50)
35 (name ":DIRECT-TYPE")
36 (property_list [annotations-3_ProjectKB_Class464])
37 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
38 (width 200)
39 (x 400)
40 (y 190))
41
42 ([annotations-3_ProjectKB_Class464] of Property_List
43 )
44
45 ([annotations-3_ProjectKB_Class525] of Widget
46
47 (height 50)
48 (name ":DIRECT-TYPE")
49 (property_list [annotations-3_ProjectKB_Class526])
50 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
51 (width 200)
52 (x 400)
53 (y 190))
54
55 ([annotations-3_ProjectKB_Class526] of Property_List
56 )
57
58 ([annotations-3_ProjectKB_Class587] of Widget
59
60 (height 50)
61 (name ":DIRECT-TYPE")
62 (property_list [annotations-3_ProjectKB_Class588])
63 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
64 (width 200)
65 (x 400)
66 (y 190))
67
68 ([annotations-3_ProjectKB_Class588] of Property_List
69 )
70
71 ([annotations-3_ProjectKB_Class649] of Widget
72
73 (height 50)
74 (name ":DIRECT-TYPE")
75 (property_list [annotations-3_ProjectKB_Class650])
76 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
77 (width 200)
78 (x 400)
79 (y 190))
80
81 ([annotations-3_ProjectKB_Class650] of Property_List
82 )
83
84 ([annotations-3_ProjectKB_Class792] of String
85
86 (name "http://www.w3.org/2002/07/owl#Class")
87 (string_value "%3ANAME"))
88
89 ([annotations-3_ProjectKB_Class793] of String
90
91 (name ":INSTANCE-ANNOTATION")
92 (string_value "%3AANNOTATION-TEXT"))
93
94 ([annotations-3_ProjectKB_Class794] of String
95
96 (name ":META-CLASS")
97 (string_value "%3ANAME"))
98
99 ([annotations-3_ProjectKB_Class795] of String
100
101 (name ":PAL-CONSTRAINT")
102 (string_value "%3APAL-NAME"))
103
104 ([annotations-3_ProjectKB_Class796] of String
105
106 (name "http://www.w3.org/2002/07/owl#Thing")
107 (string_value "%3ANAME"))
108
109 ([annotations-3_ProjectKB_Class84] of Widget
110
111 (height 50)
112 (name ":DIRECT-TYPE")
113 (property_list [annotations-3_ProjectKB_Class85])
114 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
115 (width 200)
116 (x 400)
117 (y 190))
118
119 ([annotations-3_ProjectKB_Class85] of Property_List
120 )
121
122 ([annotations-new_ProjectKB_Class1] of Widget
123
124 (is_hidden TRUE)
125 (property_list [annotations-new_ProjectKB_Class2])
126 (widget_class_name "se.liu.ida.JessTab.JessTab"))
127
128 ([annotations-new_ProjectKB_Class10] of Property_List
129 )
130
131 ([annotations-new_ProjectKB_Class11] of Widget
132
133 (is_hidden TRUE)
134 (property_list [annotations-new_ProjectKB_Class12])
135 (widget_class_name "edu.stanford.smi.protege.widget.instance_tree.InstanceTreeTab"))
136
137 ([annotations-new_ProjectKB_Class12] of Property_List
138 )
139
140 ([annotations-new_ProjectKB_Class13] of Widget
141
142 (is_hidden TRUE)
143 (property_list [annotations-new_ProjectKB_Class14])
144 (widget_class_name "edu.stanford.smi.protegex.widget.pal.PalConstraintsTab"))
145
146 ([annotations-new_ProjectKB_Class14] of Property_List
147 )
148
149 ([annotations-new_ProjectKB_Class15] of Widget
150
151 (is_hidden TRUE)
152 (property_list [annotations-new_ProjectKB_Class16])
153 (widget_class_name "edu.stanford.smi.RemoteKBTab.WordNetTab"))
154
155 ([annotations-new_ProjectKB_Class16] of Property_List
156 )
157
158 ([annotations-new_ProjectKB_Class17] of Widget
159
160 (is_hidden TRUE)
161 (property_list [annotations-new_ProjectKB_Class18])
162 (widget_class_name "org.protege.owl.mm.protege3.MappingMasterTab"))
163
164 ([annotations-new_ProjectKB_Class18] of Property_List
165 )
166
167 ([annotations-new_ProjectKB_Class19] of Widget
168
169 (is_hidden TRUE)
170 (property_list [annotations-new_ProjectKB_Class20])
171 (widget_class_name "edu.stanford.smi.protegex.evaluation.MetaAnalysis"))
172
173 ([annotations-new_ProjectKB_Class2] of Property_List
174 )
175
176 ([annotations-new_ProjectKB_Class20] of Property_List
177 )
178
179 ([annotations-new_ProjectKB_Class21] of Widget
180
181 (is_hidden TRUE)
182 (property_list [annotations-new_ProjectKB_Class22])
183 (widget_class_name "uk.ac.man.cs.mig.coode.owlviz.ui.OWLVizTab"))
184
185 ([annotations-new_ProjectKB_Class22] of Property_List
186 )
187
188 ([annotations-new_ProjectKB_Class23] of Widget
189
190 (is_hidden TRUE)
191 (property_list [annotations-new_ProjectKB_Class24])
192 (widget_class_name "edu.stanford.smi.protege.query.LuceneQueryPlugin"))
193
194 ([annotations-new_ProjectKB_Class24] of Property_List
195 )
196
197 ([annotations-new_ProjectKB_Class25] of Widget
198
199 (is_hidden TRUE)
200 (property_list [annotations-new_ProjectKB_Class26])
201 (widget_class_name "edu.stanford.smi.RemoteKBTab.UMLSTab"))
202
203 ([annotations-new_ProjectKB_Class26] of Property_List
204 )
205
206 ([annotations-new_ProjectKB_Class27] of Widget
207
208 (is_hidden TRUE)
209 (property_list [annotations-new_ProjectKB_Class28])
210 (widget_class_name "edu.stanford.smi.protegex.changeanalysis.ChangeAnalysisTab"))
211
212 ([annotations-new_ProjectKB_Class28] of Property_List
213 )
214
215 ([annotations-new_ProjectKB_Class29] of Widget
216
217 (is_hidden TRUE)
218 (property_list [annotations-new_ProjectKB_Class30])
219 (widget_class_name "TGViztab.TGVizTab"))
220
221 ([annotations-new_ProjectKB_Class3] of Widget
222
223 (is_hidden TRUE)
224 (property_list [annotations-new_ProjectKB_Class4])
225 (widget_class_name "edu.stanford.smi.protege.widget.ProtegePropertiesTab"))
226
227 ([annotations-new_ProjectKB_Class30] of Property_List
228 )
229
230 ([annotations-new_ProjectKB_Class31] of Widget
231
232 (is_hidden TRUE)
233 (property_list [annotations-new_ProjectKB_Class32])
234 (widget_class_name "org.algernon.kb.okbc.protege.plugins.AlgernonTab"))
235
236 ([annotations-new_ProjectKB_Class32] of Property_List
237 )
238
239 ([annotations-new_ProjectKB_Class33] of Widget
240
241 (is_hidden TRUE)
242 (property_list [annotations-new_ProjectKB_Class34])
243 (widget_class_name "edu.stanford.smi.protegex.changes.changesKBViewTab.ChangesKBViewTab"))
244
245 ([annotations-new_ProjectKB_Class34] of Property_List
246 )
247
248 ([annotations-new_ProjectKB_Class35] of Widget
249
250 (is_hidden TRUE)
251 (property_list [annotations-new_ProjectKB_Class36])
252 (widget_class_name "edu.stanford.smi.protegex.xml.tab.XMLTab"))
253
254 ([annotations-new_ProjectKB_Class36] of Property_List
255 )
256
257 ([annotations-new_ProjectKB_Class37] of Widget
258
259 (is_hidden TRUE)
260 (property_list [annotations-new_ProjectKB_Class38])
261 (widget_class_name "edu.stanford.smi.protegex.widget.pal.PalQueriesTab"))
262
263 ([annotations-new_ProjectKB_Class38] of Property_List
264 )
265
266 ([annotations-new_ProjectKB_Class39] of Widget
267
268 (is_hidden TRUE)
269 (property_list [annotations-new_ProjectKB_Class40])
270 (widget_class_name "edu.stanford.smi.protegex.chatPlugin.ChatTab"))
271
272 ([annotations-new_ProjectKB_Class4] of Property_List
273 )
274
275 ([annotations-new_ProjectKB_Class40] of Property_List
276 )
277
278 ([annotations-new_ProjectKB_Class41] of Widget
279
280 (is_hidden TRUE)
281 (property_list [annotations-new_ProjectKB_Class42])
282 (widget_class_name "org.protege.owl.axiome.ui.AxiomeTab"))
283
284 ([annotations-new_ProjectKB_Class42] of Property_List
285 )
286
287 ([annotations-new_ProjectKB_Class43] of Widget
288
289 (is_hidden TRUE)
290 (property_list [annotations-new_ProjectKB_Class44])
291 (widget_class_name "edu.stanford.smi.protege.keywordsearch.StringSearch"))
292
293 ([annotations-new_ProjectKB_Class44] of Property_List
294 )
295
296 ([annotations-new_ProjectKB_Class45] of Widget
297
298 (is_hidden TRUE)
299 (property_list [annotations-new_ProjectKB_Class46])
300 (widget_class_name "script.ProtegeScriptTab"))
301
302 ([annotations-new_ProjectKB_Class46] of Property_List
303 )
304
305 ([annotations-new_ProjectKB_Class47] of Widget
306
307 (is_hidden TRUE)
308 (property_list [annotations-new_ProjectKB_Class48])
309 (widget_class_name "edu.stanford.smi.protegex.changes.ChangesTab"))
310
311 ([annotations-new_ProjectKB_Class48] of Property_List
312 )
313
314 ([annotations-new_ProjectKB_Class49] of Widget
315
316 (is_hidden TRUE)
317 (property_list [annotations-new_ProjectKB_Class50])
318 (widget_class_name "edu.stanford.smi.protegex.fctab.FacetConstraintsTab"))
319
320 ([annotations-new_ProjectKB_Class5] of Widget
321
322 (is_hidden TRUE)
323 (property_list [annotations-new_ProjectKB_Class6])
324 (widget_class_name "ezpal.EZPalTab"))
325
326 ([annotations-new_ProjectKB_Class50] of Property_List
327 )
328
329 ([annotations-new_ProjectKB_Class51] of Widget
330
331 (is_hidden TRUE)
332 (property_list [annotations-new_ProjectKB_Class52])
333 (widget_class_name "edu.stanford.smi.protege.widget.instance_tree.KnowledgeTreeTab"))
334
335 ([annotations-new_ProjectKB_Class52] of Property_List
336 )
337
338 ([annotations-new_ProjectKB_Class53] of Widget
339
340 (is_hidden TRUE)
341 (property_list [annotations-new_ProjectKB_Class54])
342 (widget_class_name "edu.stanford.smi.protegex.datamaster.DataMasterTab"))
343
344 ([annotations-new_ProjectKB_Class54] of Property_List
345 )
346
347 ([annotations-new_ProjectKB_Class55] of Widget
348
349 (is_hidden TRUE)
350 (property_list [annotations-new_ProjectKB_Class56])
351 (widget_class_name "dfki.protege.ontoviz_tab.OntovizTab"))
352
353 ([annotations-new_ProjectKB_Class56] of Property_List
354 )
355
356 ([annotations-new_ProjectKB_Class57] of Widget
357
358 (is_hidden TRUE)
359 (property_list [annotations-new_ProjectKB_Class58])
360 (widget_class_name "edu.stanford.smi.protegex.changes.stats.ChangeStatisticsTab"))
361
362 ([annotations-new_ProjectKB_Class58] of Property_List
363 )
364
365 ([annotations-new_ProjectKB_Class59] of Widget
366
367 (is_hidden TRUE)
368 (property_list [annotations-new_ProjectKB_Class60])
369 (widget_class_name "edu.stanford.smi.protegex.prompt.PromptTab"))
370
371 ([annotations-new_ProjectKB_Class6] of Property_List
372 )
373
374 ([annotations-new_ProjectKB_Class60] of Property_List
375 )
376
377 ([annotations-new_ProjectKB_Class7] of Widget
378
379 (is_hidden TRUE)
380 (property_list [annotations-new_ProjectKB_Class8])
381 (widget_class_name "edu.stanford.smi.protegex.server_changes.prompt.UsersTab"))
382
383 ([annotations-new_ProjectKB_Class8] of Property_List
384 )
385
386 ([annotations-new_ProjectKB_Class9] of Widget
387
388 (is_hidden TRUE)
389 (property_list [annotations-new_ProjectKB_Class10])
390 (widget_class_name "ca.uvic.csr.shrimp.jambalaya.JambalayaTab"))
391
392 ([BROWSER_SLOT_NAMES] of Property_List
393
394 (properties
395 [annotations-3_ProjectKB_Class792]
396 [annotations-3_ProjectKB_Class793]
397 [annotations-3_ProjectKB_Class794]
398 [annotations-3_ProjectKB_Class795]
399 [annotations-3_ProjectKB_Class796]))
400
401 ([CLSES_TAB] of Widget
402
403 (is_hidden TRUE)
404 (label "Classes")
405 (property_list [Instance_47])
406 (widget_class_name "edu.stanford.smi.protege.widget.ClsesTab"))
407
408 ([empty.owl_ProjectKB_Class5] of String
409
410 (name "owl_major_build")
411 (string_value "3.4.8"))
412
413 ([empty.owl_ProjectKB_Class6] of Boolean
414
415 (boolean_value TRUE)
416 (name "parser_namespace_database_inclusion_version"))
417
418 ([FORMS_TAB] of Widget
419
420 (is_hidden TRUE)
421 (label "Forms")
422 (property_list [Instance_85])
423 (widget_class_name "edu.stanford.smi.protege.widget.FormsTab"))
424
425 ([Instance_1005] of Widget
426
427 (is_hidden FALSE)
428 (name "http://www.w3.org/2002/07/owl#Class")
429 (property_list [XY_Instance_540])
430 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
431
432 ([Instance_2201] of Integer
433
434 (integer_value 250)
435 (name "ClsesTab.left_right"))
436
437 ([Instance_2202] of Integer
438
439 (integer_value 400)
440 (name "ClsesTab.left.top_bottom"))
441
442 ([Instance_2469] of String
443
444 (name "owl_file_language")
445 (string_value "RDF/XML-ABBREV"))
446
447 ([Instance_2470] of String
448
449 (name "owl_namespace")
450 (string_value "http://owl.protege.stanford.edu"))
451
452 ([Instance_2534] of Widget
453
454 (is_hidden FALSE)
455 (label "Metadata")
456 (property_list [Instance_2539])
457 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadatatab.OWLMetadataTab"))
458
459 ([Instance_2539] of Property_List
460 )
461
462 ([Instance_2600] of Widget
463
464 (is_hidden FALSE)
465 (label "Properties")
466 (property_list [Instance_3177])
467 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.OWLPropertiesTab"))
468
469 ([Instance_3177] of Property_List
470
471 (properties
472 [Instance_3239]
473 [Instance_3240]))
474
475 ([Instance_3234] of Widget
476
477 (is_hidden FALSE)
478 (label "Individuals")
479 (property_list [Instance_3235])
480 (widget_class_name "edu.stanford.smi.protegex.owl.ui.individuals.OWLIndividualsTab"))
481
482 ([Instance_3235] of Property_List
483
484 (properties
485 [Instance_3241]
486 [Instance_3242]))
487
488 ([Instance_3239] of Integer
489
490 (integer_value 250)
491 (name "SlotsTab.left_right"))
492
493 ([Instance_3240] of Integer
494
495 (integer_value 400)
496 (name "SlotTab.left.top_bottom"))
497
498 ([Instance_3241] of Integer
499
500 (integer_value 250)
501 (name "InstancesTab.left_right"))
502
503 ([Instance_3242] of Integer
504
505 (integer_value 250)
506 (name "InstancesTab.right.left_right"))
507
508 ([Instance_42] of String
509
510 (name "factory_class_name")
511 (string_value "edu.stanford.smi.protegex.owl.jena.JenaKnowledgeBaseFactory"))
512
513 ([Instance_43] of Widget
514
515 (is_hidden TRUE)
516 (property_list [Instance_44])
517 (widget_class_name "edu.stanford.smi.protege.widget.ClsesAndInstancesTab"))
518
519 ([Instance_44] of Property_List
520 )
521
522 ([Instance_443] of Widget
523
524 (is_hidden FALSE)
525 (name "http://www.w3.org/2002/07/owl#AnonymousClass")
526 (property_list [KB_713803_Instance_7])
527 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
528
529 ([Instance_45] of Widget
530
531 (is_hidden TRUE)
532 (property_list [Instance_46])
533 (widget_class_name "edu.stanford.smi.protege.widget.KAToolTab"))
534
535 ([Instance_46] of Property_List
536 )
537
538 ([Instance_47] of Property_List
539
540 (properties
541 [Instance_91]
542 [Instance_92]))
543
544 ([Instance_48] of Options
545
546 (confirm_on_remove FALSE)
547 (display_abstract_class_icon FALSE)
548 (display_hidden_classes FALSE)
549 (display_multi_parent_class_icon FALSE)
550 (is_readonly FALSE)
551 (tabbed_instance_form_layout TRUE)
552 (update_modification_slots FALSE))
553
554 ([Instance_581] of Widget
555
556 (is_hidden FALSE)
557 (name "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property")
558 (property_list [KB_886778_Instance_144])
559 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
560
561 ([Instance_65] of Property_List
562
563 (properties
564 [Instance_93]
565 [Instance_94]))
566
567 ([Instance_85] of Property_List
568
569 (properties [Instance_95]))
570
571 ([Instance_86] of Widget
572
573 (is_hidden FALSE)
574 (label "OWLClasses")
575 (property_list [Instance_944])
576 (widget_class_name "edu.stanford.smi.protegex.owl.ui.cls.OWLClassesTab"))
577
578 ([Instance_88] of Property_List
579
580 (properties
581 [Instance_96]
582 [Instance_97]))
583
584 ([Instance_91] of Integer
585
586 (integer_value 356)
587 (name "ClsesTab.left_right"))
588
589 ([Instance_92] of Integer
590
591 (integer_value 400)
592 (name "ClsesTab.left.top_bottom"))
593
594 ([Instance_93] of Integer
595
596 (integer_value 273)
597 (name "SlotsTab.left_right"))
598
599 ([Instance_94] of Integer
600
601 (integer_value 400)
602 (name "SlotTab.left.top_bottom"))
603
604 ([Instance_944] of Property_List
605
606 (properties
607 [Instance_2201]
608 [Instance_2202]))
609
610 ([Instance_95] of Integer
611
612 (integer_value 252)
613 (name "FormsTab.left_right"))
614
615 ([Instance_96] of Integer
616
617 (integer_value 449)
618 (name "InstancesTab.left_right"))
619
620 ([Instance_97] of Integer
621
622 (integer_value 250)
623 (name "InstancesTab.right.left_right"))
624
625 ([INSTANCE_ANNOTATION_FORM_WIDGET] of Widget
626
627 (height 476)
628 (is_hidden FALSE)
629 (name ":INSTANCE-ANNOTATION")
630 (property_list [XY_Instance_0])
631 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
632 (width 603)
633 (x 0)
634 (y 0))
635
636 ([INSTANCES_TAB] of Widget
637
638 (is_hidden TRUE)
639 (label "Instances")
640 (property_list [Instance_88])
641 (widget_class_name "edu.stanford.smi.protege.widget.InstancesTab"))
642
643 ([KB_024013_Instance_4] of Widget
644
645 (height 0)
646 (is_hidden FALSE)
647 (name ":DIRECT-SUPERCLASSES")
648 (property_list [KB_024013_Instance_5])
649 (width 0)
650 (x 0)
651 (y 0))
652
653 ([KB_024013_Instance_5] of Property_List
654 )
655
656 ([KB_100699_Instance_0] of Widget
657
658 (height 360)
659 (is_hidden FALSE)
660 (label "Class Annotations")
661 (name "http://www.w3.org/2002/07/owl#equivalentClass")
662 (property_list [KB_100699_Instance_1])
663 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
664 (width 650)
665 (x 0)
666 (y 130))
667
668 ([KB_100699_Instance_1] of Property_List
669
670 (properties
671 [KB_100699_Instance_2]
672 [KB_100699_Instance_6]))
673
674 ([KB_100699_Instance_10] of Widget
675
676 (is_hidden FALSE)
677 (label "Disjoints")
678 (name "http://www.w3.org/2002/07/owl#disjointWith")
679 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget"))
680
681 ([KB_100699_Instance_11] of Property_List
682
683 (properties [KB_100699_Instance_12]))
684
685 ([KB_100699_Instance_12] of Boolean
686
687 (boolean_value TRUE)
688 (name "DisplayRestrictions"))
689
690 ([KB_100699_Instance_2] of Widget
691
692 (height 360)
693 (is_hidden FALSE)
694 (label "Logic View")
695 (name ":DIRECT-TEMPLATE-SLOTS")
696 (property_list [KB_100699_Instance_3])
697 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
698 (width 650)
699 (x 0)
700 (y 0))
701
702 ([KB_100699_Instance_3] of Property_List
703
704 (properties
705 [KB_100699_Instance_4]
706 [KB_100699_Instance_5]))
707
708 ([KB_100699_Instance_4] of Widget
709
710 (height 211)
711 (is_hidden FALSE)
712 (label "Conditions")
713 (name ":DIRECT-SUPERCLASSES")
714 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
715 (width 640)
716 (x 5)
717 (y 5))
718
719 ([KB_100699_Instance_5] of Widget
720
721 (height 137)
722 (is_hidden FALSE)
723 (label "Disjoints")
724 (name "http://www.w3.org/2002/07/owl#disjointWith")
725 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
726 (width 650)
727 (x 0)
728 (y 223))
729
730 ([KB_100699_Instance_6] of Widget
731
732 (height -36)
733 (is_hidden FALSE)
734 (label "Properties View")
735 (name ":DIRECT-SUPERCLASSES")
736 (property_list [KB_100699_Instance_7])
737 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
738 (width -14)
739 (x 7)
740 (y 28))
741
742 ([KB_100699_Instance_7] of Property_List
743
744 (properties
745 [KB_100699_Instance_8]
746 [KB_100699_Instance_9]
747 [KB_100699_Instance_10]))
748
749 ([KB_100699_Instance_8] of Widget
750
751 (is_hidden FALSE)
752 (label "Superclasses")
753 (name ":DIRECT-SUPERCLASSES")
754 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget"))
755
756 ([KB_100699_Instance_9] of Widget
757
758 (is_hidden FALSE)
759 (label "Properties")
760 (name ":DIRECT-TEMPLATE-SLOTS")
761 (property_list [KB_100699_Instance_11])
762 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget"))
763
764 ([KB_140180_Instance_0] of Widget
765
766 (is_hidden FALSE)
767 (name "http://www.w3.org/2002/07/owl#versionInfo")
768 (property_list [KB_140180_Instance_1]))
769
770 ([KB_140180_Instance_1] of Property_List
771 )
772
773 ([KB_140180_Instance_2] of Widget
774
775 (is_hidden FALSE)
776 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
777 (property_list [KB_140180_Instance_3]))
778
779 ([KB_140180_Instance_279] of Widget
780
781 (is_hidden FALSE)
782 (name "http://www.w3.org/2000/01/rdf-schema#comment")
783 (property_list [KB_140180_Instance_280]))
784
785 ([KB_140180_Instance_280] of Property_List
786 )
787
788 ([KB_140180_Instance_281] of Widget
789
790 (is_hidden FALSE)
791 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
792 (property_list [KB_140180_Instance_282]))
793
794 ([KB_140180_Instance_282] of Property_List
795 )
796
797 ([KB_140180_Instance_283] of Widget
798
799 (is_hidden FALSE)
800 (name "http://www.w3.org/2002/07/owl#versionInfo")
801 (property_list [KB_140180_Instance_284]))
802
803 ([KB_140180_Instance_284] of Property_List
804 )
805
806 ([KB_140180_Instance_285] of Widget
807
808 (is_hidden FALSE)
809 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
810 (property_list [KB_140180_Instance_286]))
811
812 ([KB_140180_Instance_286] of Property_List
813 )
814
815 ([KB_140180_Instance_287] of Widget
816
817 (is_hidden FALSE)
818 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
819 (property_list [KB_140180_Instance_288]))
820
821 ([KB_140180_Instance_288] of Property_List
822 )
823
824 ([KB_140180_Instance_289] of Widget
825
826 (is_hidden FALSE)
827 (name "http://www.w3.org/2000/01/rdf-schema#comment")
828 (property_list [KB_140180_Instance_290]))
829
830 ([KB_140180_Instance_290] of Property_List
831 )
832
833 ([KB_140180_Instance_291] of Widget
834
835 (is_hidden FALSE)
836 (name "http://www.w3.org/2000/01/rdf-schema#label")
837 (property_list [KB_140180_Instance_292]))
838
839 ([KB_140180_Instance_292] of Property_List
840 )
841
842 ([KB_140180_Instance_3] of Property_List
843 )
844
845 ([KB_140180_Instance_4] of Widget
846
847 (is_hidden FALSE)
848 (name "http://www.w3.org/2000/01/rdf-schema#label")
849 (property_list [KB_140180_Instance_5]))
850
851 ([KB_140180_Instance_5] of Property_List
852 )
853
854 ([KB_140180_Instance_6] of Widget
855
856 (is_hidden FALSE)
857 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
858 (property_list [KB_140180_Instance_7]))
859
860 ([KB_140180_Instance_7] of Property_List
861 )
862
863 ([KB_140180_Instance_8] of Widget
864
865 (is_hidden FALSE)
866 (name "http://www.w3.org/2000/01/rdf-schema#comment")
867 (property_list [KB_140180_Instance_9]))
868
869 ([KB_140180_Instance_9] of Property_List
870 )
871
872 ([KB_221055_Instance_10] of Widget
873
874 (height 0)
875 (is_hidden FALSE)
876 (name "http://www.w3.org/2002/07/owl#inverseOf")
877 (property_list [KB_221055_Instance_11])
878 (width 0)
879 (x 0)
880 (y 0))
881
882 ([KB_221055_Instance_11] of Property_List
883 )
884
885 ([KB_221055_Instance_14] of Widget
886
887 (height 0)
888 (is_hidden FALSE)
889 (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
890 (property_list [KB_221055_Instance_15])
891 (width 0)
892 (x 0)
893 (y 0))
894
895 ([KB_221055_Instance_15] of Property_List
896 )
897
898 ([KB_221055_Instance_18] of Widget
899
900 (height 60)
901 (is_hidden FALSE)
902 (name "http://www.w3.org/2002/07/owl#inverseOf")
903 (property_list [KB_221055_Instance_19])
904 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.OWLInversePropertyWidget")
905 (width 200)
906 (x 400)
907 (y 300))
908
909 ([KB_221055_Instance_19] of Property_List
910 )
911
912 ([KB_221055_Instance_2] of Widget
913
914 (height 0)
915 (is_hidden FALSE)
916 (name "http://www.w3.org/2002/07/owl#inverseOf")
917 (property_list [KB_221055_Instance_3])
918 (width 0)
919 (x 0)
920 (y 0))
921
922 ([KB_221055_Instance_22] of Widget
923
924 (height 0)
925 (is_hidden FALSE)
926 (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
927 (property_list [KB_221055_Instance_23])
928 (width 0)
929 (x 0)
930 (y 0))
931
932 ([KB_221055_Instance_23] of Property_List
933 )
934
935 ([KB_221055_Instance_26] of Widget
936
937 (height 0)
938 (is_hidden FALSE)
939 (name "http://www.w3.org/2002/07/owl#inverseOf")
940 (property_list [KB_221055_Instance_27])
941 (width 0)
942 (x 0)
943 (y 0))
944
945 ([KB_221055_Instance_27] of Property_List
946 )
947
948 ([KB_221055_Instance_3] of Property_List
949 )
950
951 ([KB_221055_Instance_30] of Widget
952
953 (height 0)
954 (is_hidden FALSE)
955 (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
956 (property_list [KB_221055_Instance_31])
957 (width 0)
958 (x 0)
959 (y 0))
960
961 ([KB_221055_Instance_31] of Property_List
962 )
963
964 ([KB_221055_Instance_34] of Widget
965
966 (height 0)
967 (is_hidden FALSE)
968 (name "http://www.w3.org/2002/07/owl#inverseOf")
969 (property_list [KB_221055_Instance_35])
970 (width 0)
971 (x 0)
972 (y 0))
973
974 ([KB_221055_Instance_35] of Property_List
975 )
976
977 ([KB_221055_Instance_38] of Widget
978
979 (height 0)
980 (is_hidden FALSE)
981 (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
982 (property_list [KB_221055_Instance_39])
983 (width 0)
984 (x 0)
985 (y 0))
986
987 ([KB_221055_Instance_39] of Property_List
988 )
989
990 ([KB_221055_Instance_6] of Widget
991
992 (height 0)
993 (is_hidden FALSE)
994 (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
995 (property_list [KB_221055_Instance_7])
996 (width 0)
997 (x 0)
998 (y 0))
999
1000 ([KB_221055_Instance_66] of Widget
1001
1002 (height 0)
1003 (is_hidden FALSE)
1004 (name "http://www.w3.org/2002/07/owl#inverseOf")
1005 (property_list [KB_221055_Instance_67])
1006 (width 0)
1007 (x 0)
1008 (y 0))
1009
1010 ([KB_221055_Instance_67] of Property_List
1011 )
1012
1013 ([KB_221055_Instance_7] of Property_List
1014 )
1015
1016 ([KB_221055_Instance_70] of Widget
1017
1018 (height 0)
1019 (is_hidden FALSE)
1020 (name "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
1021 (property_list [KB_221055_Instance_71])
1022 (width 0)
1023 (x 0)
1024 (y 0))
1025
1026 ([KB_221055_Instance_71] of Property_List
1027 )
1028
1029 ([KB_301165_Instance_1013] of Widget
1030
1031 (is_hidden FALSE)
1032 (name "http://www.w3.org/2002/07/owl#Nothing")
1033 (property_list [XY_Instance_975])
1034 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1035
1036 ([KB_301165_Instance_856] of Widget
1037
1038 (is_hidden FALSE)
1039 (name ":DIRECTED-BINARY-RELATION")
1040 (property_list [XY_Instance_927])
1041 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1042
1043 ([KB_303942_Instance_68] of Widget
1044
1045 (is_hidden FALSE)
1046 (name "http://www.w3.org/2002/07/owl#Thing")
1047 (property_list [XY_Instance_784])
1048 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1049
1050 ([KB_307200_Instance_22] of Property_List
1051
1052 (name "DisabledTestGroups")
1053 (properties [KB_307200_Instance_24]))
1054
1055 ([KB_307200_Instance_23] of Property_List
1056
1057 (name "DisabledTest")
1058 (properties
1059 [KB_307200_Instance_25]
1060 [KB_307200_Instance_26]
1061 [KB_307200_Instance_27]
1062 [KB_307200_Instance_28]
1063 [KB_307200_Instance_29]
1064 [KB_307200_Instance_30]
1065 [KB_307200_Instance_31]
1066 [KB_307200_Instance_32]
1067 [KB_307200_Instance_33]))
1068
1069 ([KB_307200_Instance_24] of Boolean
1070
1071 (boolean_value TRUE)
1072 (name "OWL-DL Tests"))
1073
1074 ([KB_307200_Instance_25] of Boolean
1075
1076 (boolean_value TRUE)
1077 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoTopLevelJunkOWLDLTest"))
1078
1079 ([KB_307200_Instance_26] of Boolean
1080
1081 (boolean_value TRUE)
1082 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoSubclassesOfRDFClassesOWLDLTest"))
1083
1084 ([KB_307200_Instance_27] of Boolean
1085
1086 (boolean_value TRUE)
1087 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoImportOfSystemOntologiesOWLDLTest"))
1088
1089 ([KB_307200_Instance_28] of Boolean
1090
1091 (boolean_value TRUE)
1092 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoClassesOrPropertiesInEnumerationsOWLDLTest"))
1093
1094 ([KB_307200_Instance_29] of Boolean
1095
1096 (boolean_value TRUE)
1097 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoPropertiesWithClassAsRangeOWLDLTest"))
1098
1099 ([KB_307200_Instance_30] of Boolean
1100
1101 (boolean_value TRUE)
1102 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoMetaclassOWLDLTest"))
1103
1104 ([KB_307200_Instance_31] of Boolean
1105
1106 (boolean_value TRUE)
1107 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoSuperOrSubPropertiesOfAnnotationPropertiesTest"))
1108
1109 ([KB_307200_Instance_32] of Boolean
1110
1111 (boolean_value TRUE)
1112 (name "edu.stanford.smi.protegex.owl.testing.owldl.TransitivePropertiesCannotBeFunctionalOWLDLTest"))
1113
1114 ([KB_307200_Instance_33] of Boolean
1115
1116 (boolean_value TRUE)
1117 (name "edu.stanford.smi.protegex.owl.testing.owldl.NoCardiRestrictionOnTransitivePropertiesOWLDLTest"))
1118
1119 ([KB_313796_Instance_852] of Widget
1120
1121 (is_hidden FALSE)
1122 (name "http://www.w3.org/2002/07/owl#AllDifferent")
1123 (property_list [XY_Instance_89])
1124 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1125
1126 ([KB_313796_Instance_943] of Widget
1127
1128 (is_hidden FALSE)
1129 (name ":OWL-ANONYMOUS-ROOT")
1130 (property_list [XY_Instance_665])
1131 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1132
1133 ([KB_325529_Class0] of Map
1134 )
1135
1136 ([KB_325529_Class4] of String
1137
1138 (name "owl_file_name")
1139 (string_value "annotations-3.owl"))
1140
1141 ([KB_444675_Instance_0] of String
1142
1143 (name "SwitchableClassDefinitionType")
1144 (string_value "edu.stanford.smi.protegex.owl.ui.cls.PropertiesClassDefinitionWidgetType"))
1145
1146 ([KB_465546_Instance_567] of Widget
1147
1148 (is_hidden FALSE)
1149 (name "http://protege.stanford.edu/plugins/owl/protege#ExternalResource")
1150 (property_list [XY_Instance_890])
1151 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1152
1153 ([KB_632156_Instance_0] of String
1154
1155 (name "OWL-PREDEFINED-PROFILE-URI")
1156 (string_value "http://protege.stanford.edu/plugins/owl/OWLProfiles.owl#RDF"))
1157
1158 ([KB_632156_Instance_3] of Boolean
1159
1160 (boolean_value TRUE)
1161 (name "DisabledByUser"))
1162
1163 ([KB_632156_Instance_4] of Boolean
1164
1165 (boolean_value FALSE)
1166 (name "DisabledByUser"))
1167
1168 ([KB_635552_Instance_0] of Widget
1169
1170 (is_hidden FALSE)
1171 (name "http://www.w3.org/2002/07/owl#versionInfo")
1172 (property_list [KB_635552_Instance_1]))
1173
1174 ([KB_635552_Instance_1] of Property_List
1175 )
1176
1177 ([KB_635552_Instance_10] of Widget
1178
1179 (is_hidden FALSE)
1180 (name "http://www.w3.org/2002/07/owl#versionInfo")
1181 (property_list [KB_635552_Instance_11]))
1182
1183 ([KB_635552_Instance_11] of Property_List
1184 )
1185
1186 ([KB_635552_Instance_12] of Widget
1187
1188 (is_hidden FALSE)
1189 (name "http://www.w3.org/2002/07/owl#priorVersion")
1190 (property_list [KB_635552_Instance_13]))
1191
1192 ([KB_635552_Instance_13] of Property_List
1193 )
1194
1195 ([KB_635552_Instance_14] of Widget
1196
1197 (is_hidden FALSE)
1198 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
1199 (property_list [KB_635552_Instance_15]))
1200
1201 ([KB_635552_Instance_15] of Property_List
1202 )
1203
1204 ([KB_635552_Instance_16] of Widget
1205
1206 (is_hidden FALSE)
1207 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
1208 (property_list [KB_635552_Instance_17]))
1209
1210 ([KB_635552_Instance_17] of Property_List
1211 )
1212
1213 ([KB_635552_Instance_18] of Widget
1214
1215 (is_hidden FALSE)
1216 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1217 (property_list [KB_635552_Instance_19]))
1218
1219 ([KB_635552_Instance_19] of Property_List
1220 )
1221
1222 ([KB_635552_Instance_2] of Widget
1223
1224 (is_hidden FALSE)
1225 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
1226 (property_list [KB_635552_Instance_3]))
1227
1228 ([KB_635552_Instance_20] of Widget
1229
1230 (is_hidden FALSE)
1231 (name "http://www.w3.org/2002/07/owl#incompatibleWith")
1232 (property_list [KB_635552_Instance_21]))
1233
1234 ([KB_635552_Instance_21] of Property_List
1235 )
1236
1237 ([KB_635552_Instance_22] of Widget
1238
1239 (height 0)
1240 (is_hidden FALSE)
1241 (name "http://www.w3.org/2002/07/owl#backwardCompatibleWith")
1242 (property_list [KB_635552_Instance_23])
1243 (width 0)
1244 (x 0)
1245 (y 0))
1246
1247 ([KB_635552_Instance_23] of Property_List
1248
1249 (properties [KB_632156_Instance_3]))
1250
1251 ([KB_635552_Instance_24] of Widget
1252
1253 (is_hidden FALSE)
1254 (name "http://www.w3.org/2000/01/rdf-schema#label")
1255 (property_list [KB_635552_Instance_25]))
1256
1257 ([KB_635552_Instance_25] of Property_List
1258 )
1259
1260 ([KB_635552_Instance_26] of Widget
1261
1262 (is_hidden FALSE)
1263 (name "http://www.w3.org/2002/07/owl#versionInfo")
1264 (property_list [KB_635552_Instance_27]))
1265
1266 ([KB_635552_Instance_27] of Property_List
1267 )
1268
1269 ([KB_635552_Instance_28] of Widget
1270
1271 (is_hidden FALSE)
1272 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
1273 (property_list [KB_635552_Instance_29]))
1274
1275 ([KB_635552_Instance_29] of Property_List
1276 )
1277
1278 ([KB_635552_Instance_3] of Property_List
1279 )
1280
1281 ([KB_635552_Instance_30] of Widget
1282
1283 (is_hidden FALSE)
1284 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1285 (property_list [KB_635552_Instance_31]))
1286
1287 ([KB_635552_Instance_31] of Property_List
1288 )
1289
1290 ([KB_635552_Instance_32] of Widget
1291
1292 (is_hidden FALSE)
1293 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
1294 (property_list [KB_635552_Instance_33]))
1295
1296 ([KB_635552_Instance_33] of Property_List
1297 )
1298
1299 ([KB_635552_Instance_34] of Widget
1300
1301 (is_hidden FALSE)
1302 (name "http://www.w3.org/2000/01/rdf-schema#label")
1303 (property_list [KB_635552_Instance_35]))
1304
1305 ([KB_635552_Instance_35] of Property_List
1306 )
1307
1308 ([KB_635552_Instance_4] of Widget
1309
1310 (is_hidden FALSE)
1311 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
1312 (property_list [KB_635552_Instance_5]))
1313
1314 ([KB_635552_Instance_5] of Property_List
1315 )
1316
1317 ([KB_635552_Instance_6] of Widget
1318
1319 (is_hidden FALSE)
1320 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1321 (property_list [KB_635552_Instance_7]))
1322
1323 ([KB_635552_Instance_7] of Property_List
1324 )
1325
1326 ([KB_635552_Instance_8] of Widget
1327
1328 (is_hidden FALSE)
1329 (name "http://www.w3.org/2000/01/rdf-schema#label")
1330 (property_list [KB_635552_Instance_9]))
1331
1332 ([KB_635552_Instance_9] of Property_List
1333 )
1334
1335 ([KB_691299_Instance_398] of Widget
1336
1337 (is_hidden FALSE)
1338 (name "http://www.w3.org/2002/07/owl#DatatypeProperty")
1339 (property_list [KB_938545_Instance_56])
1340 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1341
1342 ([KB_691299_Instance_537] of Widget
1343
1344 (is_hidden FALSE)
1345 (name "http://www.w3.org/2002/07/owl#ObjectProperty")
1346 (property_list [XY_Instance_462])
1347 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1348
1349 ([KB_713803_Instance_10] of Widget
1350
1351 (height 144)
1352 (is_hidden FALSE)
1353 (label "Name")
1354 (name ":NAME")
1355 (property_list [KB_713803_Instance_11])
1356 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1357 (width 266)
1358 (x 7)
1359 (y 28))
1360
1361 ([KB_713803_Instance_11] of Property_List
1362
1363 (properties
1364 [KB_713803_Instance_12]
1365 [KB_713803_Instance_13]))
1366
1367 ([KB_713803_Instance_12] of Widget
1368
1369 (height 30)
1370 (is_hidden FALSE)
1371 (label "Name")
1372 (name ":NAME")
1373 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1374 (width 266)
1375 (x 0)
1376 (y 0))
1377
1378 ([KB_713803_Instance_13] of Widget
1379
1380 (height 114)
1381 (is_hidden FALSE)
1382 (label "Comment")
1383 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1384 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1385 (width 266)
1386 (x 0)
1387 (y 30))
1388
1389 ([KB_713803_Instance_14] of Widget
1390
1391 (height 144)
1392 (is_hidden FALSE)
1393 (label "http://www.w3.org/2002/07/owl#sameAs")
1394 (name "http://www.w3.org/2002/07/owl#sameAs")
1395 (property_list [KB_713803_Instance_15])
1396 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1397 (width 266)
1398 (x 7)
1399 (y 28))
1400
1401 ([KB_713803_Instance_15] of Property_List
1402
1403 (properties
1404 [KB_713803_Instance_16]
1405 [KB_713803_Instance_17]))
1406
1407 ([KB_713803_Instance_16] of Boolean
1408
1409 (boolean_value FALSE)
1410 (name "ButtonDisplayed-View References to Value "))
1411
1412 ([KB_713803_Instance_17] of Boolean
1413
1414 (boolean_value FALSE)
1415 (name "ButtonDisplayed-Delete Instance"))
1416
1417 ([KB_713803_Instance_18] of Widget
1418
1419 (height 144)
1420 (is_hidden FALSE)
1421 (label "http://www.w3.org/2002/07/owl#differentFrom")
1422 (name "http://www.w3.org/2002/07/owl#differentFrom")
1423 (property_list [KB_713803_Instance_19])
1424 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1425 (width 266)
1426 (x 7)
1427 (y 28))
1428
1429 ([KB_713803_Instance_19] of Property_List
1430
1431 (properties
1432 [KB_713803_Instance_20]
1433 [KB_713803_Instance_21]))
1434
1435 ([KB_713803_Instance_20] of Boolean
1436
1437 (boolean_value FALSE)
1438 (name "ButtonDisplayed-View References to Value "))
1439
1440 ([KB_713803_Instance_21] of Boolean
1441
1442 (boolean_value FALSE)
1443 (name "ButtonDisplayed-Delete Instance"))
1444
1445 ([KB_713803_Instance_22] of Property_List
1446
1447 (name "layout properties")
1448 (properties
1449 [KB_713803_Instance_23]
1450 [KB_713803_Instance_24]))
1451
1452 ([KB_713803_Instance_23] of String
1453
1454 (name "horizontal_stretcher")
1455 (string_value "<<all>>"))
1456
1457 ([KB_713803_Instance_24] of String
1458
1459 (name "vertical_stretcher")
1460 (string_value "<<none>>"))
1461
1462 ([KB_713803_Instance_25] of Widget
1463
1464 (height 180)
1465 (is_hidden FALSE)
1466 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
1467 (property_list [KB_713803_Instance_26])
1468 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
1469 (width 280)
1470 (x 280)
1471 (y 0))
1472
1473 ([KB_713803_Instance_26] of Property_List
1474 )
1475
1476 ([KB_713803_Instance_27] of Widget
1477
1478 (is_hidden FALSE)
1479 (name "http://www.w3.org/2002/07/owl#versionInfo")
1480 (property_list [KB_713803_Instance_28]))
1481
1482 ([KB_713803_Instance_28] of Property_List
1483 )
1484
1485 ([KB_713803_Instance_29] of Widget
1486
1487 (is_hidden FALSE)
1488 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
1489 (property_list [KB_713803_Instance_30]))
1490
1491 ([KB_713803_Instance_30] of Property_List
1492 )
1493
1494 ([KB_713803_Instance_303] of Widget
1495
1496 (is_hidden FALSE)
1497 (name "http://www.w3.org/2002/07/owl#MaxCardinalityRestriction")
1498 (property_list [KB_713803_Instance_348])
1499 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1500
1501 ([KB_713803_Instance_31] of Widget
1502
1503 (is_hidden FALSE)
1504 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1505 (property_list [KB_713803_Instance_32]))
1506
1507 ([KB_713803_Instance_32] of Property_List
1508 )
1509
1510 ([KB_713803_Instance_33] of Widget
1511
1512 (is_hidden FALSE)
1513 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
1514 (property_list [KB_713803_Instance_34]))
1515
1516 ([KB_713803_Instance_34] of Property_List
1517 )
1518
1519 ([KB_713803_Instance_348] of Property_List
1520
1521 (properties
1522 [KB_713803_Instance_349]
1523 [KB_713803_Instance_363]
1524 [KB_713803_Instance_366]
1525 [KB_713803_Instance_368]
1526 [KB_713803_Instance_370]
1527 [KB_713803_Instance_372]
1528 [KB_713803_Instance_374]
1529 [KB_713803_Instance_376]
1530 [KB_713803_Instance_378]
1531 [KB_713803_Instance_380]
1532 [KB_713803_Instance_382]
1533 [KB_713803_Instance_384]
1534 [KB_713803_Instance_386]
1535 [KB_713803_Instance_388]))
1536
1537 ([KB_713803_Instance_349] of Widget
1538
1539 (height 180)
1540 (is_hidden FALSE)
1541 (label "Name")
1542 (name ":NAME")
1543 (property_list [KB_713803_Instance_350])
1544 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
1545 (width 280)
1546 (x 0)
1547 (y 0))
1548
1549 ([KB_713803_Instance_35] of Widget
1550
1551 (is_hidden FALSE)
1552 (name "http://www.w3.org/2000/01/rdf-schema#label")
1553 (property_list [KB_713803_Instance_36]))
1554
1555 ([KB_713803_Instance_350] of Property_List
1556
1557 (properties
1558 [KB_713803_Instance_351]
1559 [KB_713803_Instance_355]
1560 [KB_713803_Instance_359]))
1561
1562 ([KB_713803_Instance_351] of Widget
1563
1564 (height 144)
1565 (is_hidden FALSE)
1566 (label "Name")
1567 (name ":NAME")
1568 (property_list [KB_713803_Instance_352])
1569 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1570 (width 266)
1571 (x 7)
1572 (y 28))
1573
1574 ([KB_713803_Instance_352] of Property_List
1575
1576 (properties
1577 [KB_713803_Instance_353]
1578 [KB_713803_Instance_354]))
1579
1580 ([KB_713803_Instance_353] of Widget
1581
1582 (height 30)
1583 (is_hidden FALSE)
1584 (label "Name")
1585 (name ":NAME")
1586 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1587 (width 266)
1588 (x 0)
1589 (y 0))
1590
1591 ([KB_713803_Instance_354] of Widget
1592
1593 (height 114)
1594 (is_hidden FALSE)
1595 (label "Comment")
1596 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1597 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1598 (width 266)
1599 (x 0)
1600 (y 30))
1601
1602 ([KB_713803_Instance_355] of Widget
1603
1604 (height 144)
1605 (is_hidden FALSE)
1606 (label "http://www.w3.org/2002/07/owl#sameAs")
1607 (name "http://www.w3.org/2002/07/owl#sameAs")
1608 (property_list [KB_713803_Instance_356])
1609 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1610 (width 266)
1611 (x 7)
1612 (y 28))
1613
1614 ([KB_713803_Instance_356] of Property_List
1615
1616 (properties
1617 [KB_713803_Instance_357]
1618 [KB_713803_Instance_358]))
1619
1620 ([KB_713803_Instance_357] of Boolean
1621
1622 (boolean_value FALSE)
1623 (name "ButtonDisplayed-View References to Value "))
1624
1625 ([KB_713803_Instance_358] of Boolean
1626
1627 (boolean_value FALSE)
1628 (name "ButtonDisplayed-Delete Instance"))
1629
1630 ([KB_713803_Instance_359] of Widget
1631
1632 (height 144)
1633 (is_hidden FALSE)
1634 (label "http://www.w3.org/2002/07/owl#differentFrom")
1635 (name "http://www.w3.org/2002/07/owl#differentFrom")
1636 (property_list [KB_713803_Instance_360])
1637 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1638 (width 266)
1639 (x 7)
1640 (y 28))
1641
1642 ([KB_713803_Instance_36] of Property_List
1643 )
1644
1645 ([KB_713803_Instance_360] of Property_List
1646
1647 (properties
1648 [KB_713803_Instance_361]
1649 [KB_713803_Instance_362]))
1650
1651 ([KB_713803_Instance_361] of Boolean
1652
1653 (boolean_value FALSE)
1654 (name "ButtonDisplayed-View References to Value "))
1655
1656 ([KB_713803_Instance_362] of Boolean
1657
1658 (boolean_value FALSE)
1659 (name "ButtonDisplayed-Delete Instance"))
1660
1661 ([KB_713803_Instance_363] of Property_List
1662
1663 (name "layout properties")
1664 (properties
1665 [KB_713803_Instance_364]
1666 [KB_713803_Instance_365]))
1667
1668 ([KB_713803_Instance_364] of String
1669
1670 (name "horizontal_stretcher")
1671 (string_value "<<all>>"))
1672
1673 ([KB_713803_Instance_365] of String
1674
1675 (name "vertical_stretcher")
1676 (string_value "<<none>>"))
1677
1678 ([KB_713803_Instance_366] of Widget
1679
1680 (height 180)
1681 (is_hidden FALSE)
1682 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
1683 (property_list [KB_713803_Instance_367])
1684 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
1685 (width 280)
1686 (x 280)
1687 (y 0))
1688
1689 ([KB_713803_Instance_367] of Property_List
1690 )
1691
1692 ([KB_713803_Instance_368] of Widget
1693
1694 (is_hidden FALSE)
1695 (name "http://www.w3.org/2002/07/owl#versionInfo")
1696 (property_list [KB_713803_Instance_369]))
1697
1698 ([KB_713803_Instance_369] of Property_List
1699 )
1700
1701 ([KB_713803_Instance_37] of Widget
1702
1703 (height 0)
1704 (is_hidden FALSE)
1705 (name ":DIRECT-INSTANCES")
1706 (property_list [KB_713803_Instance_38])
1707 (width 0)
1708 (x 0)
1709 (y 0))
1710
1711 ([KB_713803_Instance_370] of Widget
1712
1713 (is_hidden FALSE)
1714 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
1715 (property_list [KB_713803_Instance_371]))
1716
1717 ([KB_713803_Instance_371] of Property_List
1718 )
1719
1720 ([KB_713803_Instance_372] of Widget
1721
1722 (is_hidden FALSE)
1723 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1724 (property_list [KB_713803_Instance_373]))
1725
1726 ([KB_713803_Instance_373] of Property_List
1727 )
1728
1729 ([KB_713803_Instance_374] of Widget
1730
1731 (is_hidden FALSE)
1732 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
1733 (property_list [KB_713803_Instance_375]))
1734
1735 ([KB_713803_Instance_375] of Property_List
1736 )
1737
1738 ([KB_713803_Instance_376] of Widget
1739
1740 (is_hidden FALSE)
1741 (name "http://www.w3.org/2000/01/rdf-schema#label")
1742 (property_list [KB_713803_Instance_377]))
1743
1744 ([KB_713803_Instance_377] of Property_List
1745 )
1746
1747 ([KB_713803_Instance_378] of Widget
1748
1749 (height 0)
1750 (is_hidden FALSE)
1751 (name ":DIRECT-INSTANCES")
1752 (property_list [KB_713803_Instance_379])
1753 (width 0)
1754 (x 0)
1755 (y 0))
1756
1757 ([KB_713803_Instance_379] of Property_List
1758 )
1759
1760 ([KB_713803_Instance_38] of Property_List
1761 )
1762
1763 ([KB_713803_Instance_380] of Widget
1764
1765 (height 0)
1766 (is_hidden FALSE)
1767 (name ":DIRECT-TEMPLATE-SLOTS")
1768 (property_list [KB_713803_Instance_381])
1769 (width 0)
1770 (x 0)
1771 (y 0))
1772
1773 ([KB_713803_Instance_381] of Property_List
1774 )
1775
1776 ([KB_713803_Instance_382] of Widget
1777
1778 (height 0)
1779 (is_hidden FALSE)
1780 (name ":DIRECT-TYPE")
1781 (property_list [KB_713803_Instance_383])
1782 (width 0)
1783 (x 0)
1784 (y 0))
1785
1786 ([KB_713803_Instance_383] of Property_List
1787 )
1788
1789 ([KB_713803_Instance_384] of Widget
1790
1791 (height 0)
1792 (is_hidden FALSE)
1793 (name ":DIRECT-SUBCLASSES")
1794 (property_list [KB_713803_Instance_385])
1795 (width 0)
1796 (x 0)
1797 (y 0))
1798
1799 ([KB_713803_Instance_385] of Property_List
1800 )
1801
1802 ([KB_713803_Instance_386] of Widget
1803
1804 (height 0)
1805 (is_hidden FALSE)
1806 (name ":DIRECT-SUPERCLASSES")
1807 (property_list [KB_713803_Instance_387])
1808 (width 0)
1809 (x 0)
1810 (y 0))
1811
1812 ([KB_713803_Instance_387] of Property_List
1813 )
1814
1815 ([KB_713803_Instance_388] of Widget
1816
1817 (height 0)
1818 (is_hidden FALSE)
1819 (name "http://www.w3.org/2002/07/owl#valuesFrom")
1820 (property_list [KB_713803_Instance_389])
1821 (width 0)
1822 (x 0)
1823 (y 0))
1824
1825 ([KB_713803_Instance_389] of Property_List
1826 )
1827
1828 ([KB_713803_Instance_390] of Widget
1829
1830 (is_hidden FALSE)
1831 (name "http://www.w3.org/2002/07/owl#MinCardinalityRestriction")
1832 (property_list [KB_713803_Instance_435])
1833 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
1834
1835 ([KB_713803_Instance_41] of Widget
1836
1837 (height 0)
1838 (is_hidden FALSE)
1839 (name ":DIRECT-TEMPLATE-SLOTS")
1840 (property_list [KB_713803_Instance_42])
1841 (width 0)
1842 (x 0)
1843 (y 0))
1844
1845 ([KB_713803_Instance_42] of Property_List
1846 )
1847
1848 ([KB_713803_Instance_435] of Property_List
1849
1850 (properties
1851 [KB_713803_Instance_436]
1852 [KB_713803_Instance_450]
1853 [KB_713803_Instance_453]
1854 [KB_713803_Instance_455]
1855 [KB_713803_Instance_457]
1856 [KB_713803_Instance_459]
1857 [KB_713803_Instance_461]
1858 [KB_713803_Instance_463]
1859 [KB_713803_Instance_465]
1860 [KB_713803_Instance_467]
1861 [KB_713803_Instance_469]
1862 [KB_713803_Instance_471]
1863 [KB_713803_Instance_473]
1864 [KB_713803_Instance_475]))
1865
1866 ([KB_713803_Instance_436] of Widget
1867
1868 (height 180)
1869 (is_hidden FALSE)
1870 (label "Name")
1871 (name ":NAME")
1872 (property_list [KB_713803_Instance_437])
1873 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
1874 (width 280)
1875 (x 0)
1876 (y 0))
1877
1878 ([KB_713803_Instance_437] of Property_List
1879
1880 (properties
1881 [KB_713803_Instance_438]
1882 [KB_713803_Instance_442]
1883 [KB_713803_Instance_446]))
1884
1885 ([KB_713803_Instance_438] of Widget
1886
1887 (height 144)
1888 (is_hidden FALSE)
1889 (label "Name")
1890 (name ":NAME")
1891 (property_list [KB_713803_Instance_439])
1892 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1893 (width 266)
1894 (x 7)
1895 (y 28))
1896
1897 ([KB_713803_Instance_439] of Property_List
1898
1899 (properties
1900 [KB_713803_Instance_440]
1901 [KB_713803_Instance_441]))
1902
1903 ([KB_713803_Instance_440] of Widget
1904
1905 (height 30)
1906 (is_hidden FALSE)
1907 (label "Name")
1908 (name ":NAME")
1909 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1910 (width 266)
1911 (x 0)
1912 (y 0))
1913
1914 ([KB_713803_Instance_441] of Widget
1915
1916 (height 114)
1917 (is_hidden FALSE)
1918 (label "Comment")
1919 (name "http://www.w3.org/2000/01/rdf-schema#comment")
1920 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1921 (width 266)
1922 (x 0)
1923 (y 30))
1924
1925 ([KB_713803_Instance_442] of Widget
1926
1927 (height 144)
1928 (is_hidden FALSE)
1929 (label "http://www.w3.org/2002/07/owl#sameAs")
1930 (name "http://www.w3.org/2002/07/owl#sameAs")
1931 (property_list [KB_713803_Instance_443])
1932 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1933 (width 266)
1934 (x 7)
1935 (y 28))
1936
1937 ([KB_713803_Instance_443] of Property_List
1938
1939 (properties
1940 [KB_713803_Instance_444]
1941 [KB_713803_Instance_445]))
1942
1943 ([KB_713803_Instance_444] of Boolean
1944
1945 (boolean_value FALSE)
1946 (name "ButtonDisplayed-View References to Value "))
1947
1948 ([KB_713803_Instance_445] of Boolean
1949
1950 (boolean_value FALSE)
1951 (name "ButtonDisplayed-Delete Instance"))
1952
1953 ([KB_713803_Instance_446] of Widget
1954
1955 (height 144)
1956 (is_hidden FALSE)
1957 (label "http://www.w3.org/2002/07/owl#differentFrom")
1958 (name "http://www.w3.org/2002/07/owl#differentFrom")
1959 (property_list [KB_713803_Instance_447])
1960 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
1961 (width 266)
1962 (x 7)
1963 (y 28))
1964
1965 ([KB_713803_Instance_447] of Property_List
1966
1967 (properties
1968 [KB_713803_Instance_448]
1969 [KB_713803_Instance_449]))
1970
1971 ([KB_713803_Instance_448] of Boolean
1972
1973 (boolean_value FALSE)
1974 (name "ButtonDisplayed-View References to Value "))
1975
1976 ([KB_713803_Instance_449] of Boolean
1977
1978 (boolean_value FALSE)
1979 (name "ButtonDisplayed-Delete Instance"))
1980
1981 ([KB_713803_Instance_45] of Widget
1982
1983 (height 0)
1984 (is_hidden FALSE)
1985 (name ":DIRECT-TYPE")
1986 (property_list [KB_713803_Instance_46])
1987 (width 0)
1988 (x 0)
1989 (y 0))
1990
1991 ([KB_713803_Instance_450] of Property_List
1992
1993 (name "layout properties")
1994 (properties
1995 [KB_713803_Instance_451]
1996 [KB_713803_Instance_452]))
1997
1998 ([KB_713803_Instance_451] of String
1999
2000 (name "horizontal_stretcher")
2001 (string_value "<<all>>"))
2002
2003 ([KB_713803_Instance_452] of String
2004
2005 (name "vertical_stretcher")
2006 (string_value "<<none>>"))
2007
2008 ([KB_713803_Instance_453] of Widget
2009
2010 (height 180)
2011 (is_hidden FALSE)
2012 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
2013 (property_list [KB_713803_Instance_454])
2014 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
2015 (width 280)
2016 (x 280)
2017 (y 0))
2018
2019 ([KB_713803_Instance_454] of Property_List
2020 )
2021
2022 ([KB_713803_Instance_455] of Widget
2023
2024 (is_hidden FALSE)
2025 (name "http://www.w3.org/2002/07/owl#versionInfo")
2026 (property_list [KB_713803_Instance_456]))
2027
2028 ([KB_713803_Instance_456] of Property_List
2029 )
2030
2031 ([KB_713803_Instance_457] of Widget
2032
2033 (is_hidden FALSE)
2034 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
2035 (property_list [KB_713803_Instance_458]))
2036
2037 ([KB_713803_Instance_458] of Property_List
2038 )
2039
2040 ([KB_713803_Instance_459] of Widget
2041
2042 (is_hidden FALSE)
2043 (name "http://www.w3.org/2000/01/rdf-schema#comment")
2044 (property_list [KB_713803_Instance_460]))
2045
2046 ([KB_713803_Instance_46] of Property_List
2047 )
2048
2049 ([KB_713803_Instance_460] of Property_List
2050 )
2051
2052 ([KB_713803_Instance_461] of Widget
2053
2054 (is_hidden FALSE)
2055 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
2056 (property_list [KB_713803_Instance_462]))
2057
2058 ([KB_713803_Instance_462] of Property_List
2059 )
2060
2061 ([KB_713803_Instance_463] of Widget
2062
2063 (is_hidden FALSE)
2064 (name "http://www.w3.org/2000/01/rdf-schema#label")
2065 (property_list [KB_713803_Instance_464]))
2066
2067 ([KB_713803_Instance_464] of Property_List
2068 )
2069
2070 ([KB_713803_Instance_465] of Widget
2071
2072 (height 0)
2073 (is_hidden FALSE)
2074 (name ":DIRECT-INSTANCES")
2075 (property_list [KB_713803_Instance_466])
2076 (width 0)
2077 (x 0)
2078 (y 0))
2079
2080 ([KB_713803_Instance_466] of Property_List
2081 )
2082
2083 ([KB_713803_Instance_467] of Widget
2084
2085 (height 0)
2086 (is_hidden FALSE)
2087 (name ":DIRECT-TEMPLATE-SLOTS")
2088 (property_list [KB_713803_Instance_468])
2089 (width 0)
2090 (x 0)
2091 (y 0))
2092
2093 ([KB_713803_Instance_468] of Property_List
2094 )
2095
2096 ([KB_713803_Instance_469] of Widget
2097
2098 (height 0)
2099 (is_hidden FALSE)
2100 (name ":DIRECT-TYPE")
2101 (property_list [KB_713803_Instance_470])
2102 (width 0)
2103 (x 0)
2104 (y 0))
2105
2106 ([KB_713803_Instance_47] of Widget
2107
2108 (height 0)
2109 (is_hidden FALSE)
2110 (name ":DIRECT-SUBCLASSES")
2111 (property_list [KB_713803_Instance_48])
2112 (width 0)
2113 (x 0)
2114 (y 0))
2115
2116 ([KB_713803_Instance_470] of Property_List
2117 )
2118
2119 ([KB_713803_Instance_471] of Widget
2120
2121 (height 0)
2122 (is_hidden FALSE)
2123 (name ":DIRECT-SUBCLASSES")
2124 (property_list [KB_713803_Instance_472])
2125 (width 0)
2126 (x 0)
2127 (y 0))
2128
2129 ([KB_713803_Instance_472] of Property_List
2130 )
2131
2132 ([KB_713803_Instance_473] of Widget
2133
2134 (height 0)
2135 (is_hidden FALSE)
2136 (name ":DIRECT-SUPERCLASSES")
2137 (property_list [KB_713803_Instance_474])
2138 (width 0)
2139 (x 0)
2140 (y 0))
2141
2142 ([KB_713803_Instance_474] of Property_List
2143 )
2144
2145 ([KB_713803_Instance_475] of Widget
2146
2147 (height 0)
2148 (is_hidden FALSE)
2149 (name "http://www.w3.org/2002/07/owl#valuesFrom")
2150 (property_list [KB_713803_Instance_476])
2151 (width 0)
2152 (x 0)
2153 (y 0))
2154
2155 ([KB_713803_Instance_476] of Property_List
2156 )
2157
2158 ([KB_713803_Instance_477] of Widget
2159
2160 (is_hidden FALSE)
2161 (name "http://www.w3.org/2002/07/owl#CardinalityRestriction")
2162 (property_list [KB_713803_Instance_522])
2163 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
2164
2165 ([KB_713803_Instance_48] of Property_List
2166 )
2167
2168 ([KB_713803_Instance_49] of Widget
2169
2170 (height 0)
2171 (is_hidden FALSE)
2172 (name ":DIRECT-SUPERCLASSES")
2173 (property_list [KB_713803_Instance_50])
2174 (width 0)
2175 (x 0)
2176 (y 0))
2177
2178 ([KB_713803_Instance_50] of Property_List
2179 )
2180
2181 ([KB_713803_Instance_522] of Property_List
2182
2183 (properties
2184 [KB_713803_Instance_523]
2185 [KB_713803_Instance_537]
2186 [KB_713803_Instance_540]
2187 [KB_713803_Instance_542]
2188 [KB_713803_Instance_544]
2189 [KB_713803_Instance_546]
2190 [KB_713803_Instance_548]
2191 [KB_713803_Instance_550]
2192 [KB_713803_Instance_552]
2193 [KB_713803_Instance_554]
2194 [KB_713803_Instance_556]
2195 [KB_713803_Instance_558]
2196 [KB_713803_Instance_560]
2197 [KB_713803_Instance_562]))
2198
2199 ([KB_713803_Instance_523] of Widget
2200
2201 (height 180)
2202 (is_hidden FALSE)
2203 (label "Name")
2204 (name ":NAME")
2205 (property_list [KB_713803_Instance_524])
2206 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
2207 (width 280)
2208 (x 0)
2209 (y 0))
2210
2211 ([KB_713803_Instance_524] of Property_List
2212
2213 (properties
2214 [KB_713803_Instance_525]
2215 [KB_713803_Instance_529]
2216 [KB_713803_Instance_533]))
2217
2218 ([KB_713803_Instance_525] of Widget
2219
2220 (height 144)
2221 (is_hidden FALSE)
2222 (label "Name")
2223 (name ":NAME")
2224 (property_list [KB_713803_Instance_526])
2225 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2226 (width 266)
2227 (x 7)
2228 (y 28))
2229
2230 ([KB_713803_Instance_526] of Property_List
2231
2232 (properties
2233 [KB_713803_Instance_527]
2234 [KB_713803_Instance_528]))
2235
2236 ([KB_713803_Instance_527] of Widget
2237
2238 (height 30)
2239 (is_hidden FALSE)
2240 (label "Name")
2241 (name ":NAME")
2242 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2243 (width 266)
2244 (x 0)
2245 (y 0))
2246
2247 ([KB_713803_Instance_528] of Widget
2248
2249 (height 114)
2250 (is_hidden FALSE)
2251 (label "Comment")
2252 (name "http://www.w3.org/2000/01/rdf-schema#comment")
2253 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2254 (width 266)
2255 (x 0)
2256 (y 30))
2257
2258 ([KB_713803_Instance_529] of Widget
2259
2260 (height 144)
2261 (is_hidden FALSE)
2262 (label "http://www.w3.org/2002/07/owl#sameAs")
2263 (name "http://www.w3.org/2002/07/owl#sameAs")
2264 (property_list [KB_713803_Instance_530])
2265 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2266 (width 266)
2267 (x 7)
2268 (y 28))
2269
2270 ([KB_713803_Instance_530] of Property_List
2271
2272 (properties
2273 [KB_713803_Instance_531]
2274 [KB_713803_Instance_532]))
2275
2276 ([KB_713803_Instance_531] of Boolean
2277
2278 (boolean_value FALSE)
2279 (name "ButtonDisplayed-View References to Value "))
2280
2281 ([KB_713803_Instance_532] of Boolean
2282
2283 (boolean_value FALSE)
2284 (name "ButtonDisplayed-Delete Instance"))
2285
2286 ([KB_713803_Instance_533] of Widget
2287
2288 (height 144)
2289 (is_hidden FALSE)
2290 (label "http://www.w3.org/2002/07/owl#differentFrom")
2291 (name "http://www.w3.org/2002/07/owl#differentFrom")
2292 (property_list [KB_713803_Instance_534])
2293 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2294 (width 266)
2295 (x 7)
2296 (y 28))
2297
2298 ([KB_713803_Instance_534] of Property_List
2299
2300 (properties
2301 [KB_713803_Instance_535]
2302 [KB_713803_Instance_536]))
2303
2304 ([KB_713803_Instance_535] of Boolean
2305
2306 (boolean_value FALSE)
2307 (name "ButtonDisplayed-View References to Value "))
2308
2309 ([KB_713803_Instance_536] of Boolean
2310
2311 (boolean_value FALSE)
2312 (name "ButtonDisplayed-Delete Instance"))
2313
2314 ([KB_713803_Instance_537] of Property_List
2315
2316 (name "layout properties")
2317 (properties
2318 [KB_713803_Instance_538]
2319 [KB_713803_Instance_539]))
2320
2321 ([KB_713803_Instance_538] of String
2322
2323 (name "horizontal_stretcher")
2324 (string_value "<<all>>"))
2325
2326 ([KB_713803_Instance_539] of String
2327
2328 (name "vertical_stretcher")
2329 (string_value "<<none>>"))
2330
2331 ([KB_713803_Instance_540] of Widget
2332
2333 (height 180)
2334 (is_hidden FALSE)
2335 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
2336 (property_list [KB_713803_Instance_541])
2337 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
2338 (width 280)
2339 (x 280)
2340 (y 0))
2341
2342 ([KB_713803_Instance_541] of Property_List
2343 )
2344
2345 ([KB_713803_Instance_542] of Widget
2346
2347 (is_hidden FALSE)
2348 (name "http://www.w3.org/2002/07/owl#versionInfo")
2349 (property_list [KB_713803_Instance_543]))
2350
2351 ([KB_713803_Instance_543] of Property_List
2352 )
2353
2354 ([KB_713803_Instance_544] of Widget
2355
2356 (is_hidden FALSE)
2357 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
2358 (property_list [KB_713803_Instance_545]))
2359
2360 ([KB_713803_Instance_545] of Property_List
2361 )
2362
2363 ([KB_713803_Instance_546] of Widget
2364
2365 (is_hidden FALSE)
2366 (name "http://www.w3.org/2000/01/rdf-schema#comment")
2367 (property_list [KB_713803_Instance_547]))
2368
2369 ([KB_713803_Instance_547] of Property_List
2370 )
2371
2372 ([KB_713803_Instance_548] of Widget
2373
2374 (is_hidden FALSE)
2375 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
2376 (property_list [KB_713803_Instance_549]))
2377
2378 ([KB_713803_Instance_549] of Property_List
2379 )
2380
2381 ([KB_713803_Instance_550] of Widget
2382
2383 (is_hidden FALSE)
2384 (name "http://www.w3.org/2000/01/rdf-schema#label")
2385 (property_list [KB_713803_Instance_551]))
2386
2387 ([KB_713803_Instance_551] of Property_List
2388 )
2389
2390 ([KB_713803_Instance_552] of Widget
2391
2392 (height 0)
2393 (is_hidden FALSE)
2394 (name ":DIRECT-INSTANCES")
2395 (property_list [KB_713803_Instance_553])
2396 (width 0)
2397 (x 0)
2398 (y 0))
2399
2400 ([KB_713803_Instance_553] of Property_List
2401 )
2402
2403 ([KB_713803_Instance_554] of Widget
2404
2405 (height 0)
2406 (is_hidden FALSE)
2407 (name ":DIRECT-TEMPLATE-SLOTS")
2408 (property_list [KB_713803_Instance_555])
2409 (width 0)
2410 (x 0)
2411 (y 0))
2412
2413 ([KB_713803_Instance_555] of Property_List
2414 )
2415
2416 ([KB_713803_Instance_556] of Widget
2417
2418 (height 0)
2419 (is_hidden FALSE)
2420 (name ":DIRECT-TYPE")
2421 (property_list [KB_713803_Instance_557])
2422 (width 0)
2423 (x 0)
2424 (y 0))
2425
2426 ([KB_713803_Instance_557] of Property_List
2427 )
2428
2429 ([KB_713803_Instance_558] of Widget
2430
2431 (height 0)
2432 (is_hidden FALSE)
2433 (name ":DIRECT-SUBCLASSES")
2434 (property_list [KB_713803_Instance_559])
2435 (width 0)
2436 (x 0)
2437 (y 0))
2438
2439 ([KB_713803_Instance_559] of Property_List
2440 )
2441
2442 ([KB_713803_Instance_560] of Widget
2443
2444 (height 0)
2445 (is_hidden FALSE)
2446 (name ":DIRECT-SUPERCLASSES")
2447 (property_list [KB_713803_Instance_561])
2448 (width 0)
2449 (x 0)
2450 (y 0))
2451
2452 ([KB_713803_Instance_561] of Property_List
2453 )
2454
2455 ([KB_713803_Instance_562] of Widget
2456
2457 (height 0)
2458 (is_hidden FALSE)
2459 (name "http://www.w3.org/2002/07/owl#valuesFrom")
2460 (property_list [KB_713803_Instance_563])
2461 (width 0)
2462 (x 0)
2463 (y 0))
2464
2465 ([KB_713803_Instance_563] of Property_List
2466 )
2467
2468 ([KB_713803_Instance_648] of Widget
2469
2470 (is_hidden FALSE)
2471 (name "http://www.w3.org/2002/07/owl#ComplementClass")
2472 (property_list [KB_713803_Instance_651])
2473 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
2474
2475 ([KB_713803_Instance_651] of Property_List
2476
2477 (properties
2478 [KB_713803_Instance_652]
2479 [KB_713803_Instance_666]
2480 [KB_713803_Instance_669]
2481 [KB_713803_Instance_671]
2482 [KB_713803_Instance_673]
2483 [KB_713803_Instance_675]
2484 [KB_713803_Instance_677]
2485 [KB_713803_Instance_679]
2486 [KB_713803_Instance_681]
2487 [KB_713803_Instance_683]
2488 [KB_713803_Instance_685]
2489 [KB_713803_Instance_687]
2490 [KB_713803_Instance_689]
2491 [KB_713803_Instance_691]))
2492
2493 ([KB_713803_Instance_652] of Widget
2494
2495 (height 180)
2496 (is_hidden FALSE)
2497 (label "Name")
2498 (name ":NAME")
2499 (property_list [KB_713803_Instance_653])
2500 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
2501 (width 280)
2502 (x 0)
2503 (y 0))
2504
2505 ([KB_713803_Instance_653] of Property_List
2506
2507 (properties
2508 [KB_713803_Instance_654]
2509 [KB_713803_Instance_658]
2510 [KB_713803_Instance_662]))
2511
2512 ([KB_713803_Instance_654] of Widget
2513
2514 (height 144)
2515 (is_hidden FALSE)
2516 (label "Name")
2517 (name ":NAME")
2518 (property_list [KB_713803_Instance_655])
2519 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2520 (width 266)
2521 (x 7)
2522 (y 28))
2523
2524 ([KB_713803_Instance_655] of Property_List
2525
2526 (properties
2527 [KB_713803_Instance_656]
2528 [KB_713803_Instance_657]))
2529
2530 ([KB_713803_Instance_656] of Widget
2531
2532 (height 30)
2533 (is_hidden FALSE)
2534 (label "Name")
2535 (name ":NAME")
2536 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2537 (width 266)
2538 (x 0)
2539 (y 0))
2540
2541 ([KB_713803_Instance_657] of Widget
2542
2543 (height 114)
2544 (is_hidden FALSE)
2545 (label "Comment")
2546 (name "http://www.w3.org/2000/01/rdf-schema#comment")
2547 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2548 (width 266)
2549 (x 0)
2550 (y 30))
2551
2552 ([KB_713803_Instance_658] of Widget
2553
2554 (height 144)
2555 (is_hidden FALSE)
2556 (label "http://www.w3.org/2002/07/owl#sameAs")
2557 (name "http://www.w3.org/2002/07/owl#sameAs")
2558 (property_list [KB_713803_Instance_659])
2559 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2560 (width 266)
2561 (x 7)
2562 (y 28))
2563
2564 ([KB_713803_Instance_659] of Property_List
2565
2566 (properties
2567 [KB_713803_Instance_660]
2568 [KB_713803_Instance_661]))
2569
2570 ([KB_713803_Instance_660] of Boolean
2571
2572 (boolean_value FALSE)
2573 (name "ButtonDisplayed-View References to Value "))
2574
2575 ([KB_713803_Instance_661] of Boolean
2576
2577 (boolean_value FALSE)
2578 (name "ButtonDisplayed-Delete Instance"))
2579
2580 ([KB_713803_Instance_662] of Widget
2581
2582 (height 144)
2583 (is_hidden FALSE)
2584 (label "http://www.w3.org/2002/07/owl#differentFrom")
2585 (name "http://www.w3.org/2002/07/owl#differentFrom")
2586 (property_list [KB_713803_Instance_663])
2587 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2588 (width 266)
2589 (x 7)
2590 (y 28))
2591
2592 ([KB_713803_Instance_663] of Property_List
2593
2594 (properties
2595 [KB_713803_Instance_664]
2596 [KB_713803_Instance_665]))
2597
2598 ([KB_713803_Instance_664] of Boolean
2599
2600 (boolean_value FALSE)
2601 (name "ButtonDisplayed-View References to Value "))
2602
2603 ([KB_713803_Instance_665] of Boolean
2604
2605 (boolean_value FALSE)
2606 (name "ButtonDisplayed-Delete Instance"))
2607
2608 ([KB_713803_Instance_666] of Property_List
2609
2610 (name "layout properties")
2611 (properties
2612 [KB_713803_Instance_667]
2613 [KB_713803_Instance_668]))
2614
2615 ([KB_713803_Instance_667] of String
2616
2617 (name "horizontal_stretcher")
2618 (string_value "<<all>>"))
2619
2620 ([KB_713803_Instance_668] of String
2621
2622 (name "vertical_stretcher")
2623 (string_value "<<none>>"))
2624
2625 ([KB_713803_Instance_669] of Widget
2626
2627 (height 180)
2628 (is_hidden FALSE)
2629 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
2630 (property_list [KB_713803_Instance_670])
2631 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
2632 (width 280)
2633 (x 280)
2634 (y 0))
2635
2636 ([KB_713803_Instance_670] of Property_List
2637 )
2638
2639 ([KB_713803_Instance_671] of Widget
2640
2641 (is_hidden FALSE)
2642 (name "http://www.w3.org/2002/07/owl#versionInfo")
2643 (property_list [KB_713803_Instance_672]))
2644
2645 ([KB_713803_Instance_672] of Property_List
2646 )
2647
2648 ([KB_713803_Instance_673] of Widget
2649
2650 (is_hidden FALSE)
2651 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
2652 (property_list [KB_713803_Instance_674]))
2653
2654 ([KB_713803_Instance_674] of Property_List
2655 )
2656
2657 ([KB_713803_Instance_675] of Widget
2658
2659 (is_hidden FALSE)
2660 (name "http://www.w3.org/2000/01/rdf-schema#comment")
2661 (property_list [KB_713803_Instance_676]))
2662
2663 ([KB_713803_Instance_676] of Property_List
2664 )
2665
2666 ([KB_713803_Instance_677] of Widget
2667
2668 (is_hidden FALSE)
2669 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
2670 (property_list [KB_713803_Instance_678]))
2671
2672 ([KB_713803_Instance_678] of Property_List
2673 )
2674
2675 ([KB_713803_Instance_679] of Widget
2676
2677 (is_hidden FALSE)
2678 (name "http://www.w3.org/2000/01/rdf-schema#label")
2679 (property_list [KB_713803_Instance_680]))
2680
2681 ([KB_713803_Instance_680] of Property_List
2682 )
2683
2684 ([KB_713803_Instance_681] of Widget
2685
2686 (height 0)
2687 (is_hidden FALSE)
2688 (name ":DIRECT-INSTANCES")
2689 (property_list [KB_713803_Instance_682])
2690 (width 0)
2691 (x 0)
2692 (y 0))
2693
2694 ([KB_713803_Instance_682] of Property_List
2695 )
2696
2697 ([KB_713803_Instance_683] of Widget
2698
2699 (height 0)
2700 (is_hidden FALSE)
2701 (name ":DIRECT-TEMPLATE-SLOTS")
2702 (property_list [KB_713803_Instance_684])
2703 (width 0)
2704 (x 0)
2705 (y 0))
2706
2707 ([KB_713803_Instance_684] of Property_List
2708 )
2709
2710 ([KB_713803_Instance_685] of Widget
2711
2712 (height 0)
2713 (is_hidden FALSE)
2714 (name ":DIRECT-TYPE")
2715 (property_list [KB_713803_Instance_686])
2716 (width 0)
2717 (x 0)
2718 (y 0))
2719
2720 ([KB_713803_Instance_686] of Property_List
2721 )
2722
2723 ([KB_713803_Instance_687] of Widget
2724
2725 (height 0)
2726 (is_hidden FALSE)
2727 (name ":DIRECT-SUBCLASSES")
2728 (property_list [KB_713803_Instance_688])
2729 (width 0)
2730 (x 0)
2731 (y 0))
2732
2733 ([KB_713803_Instance_688] of Property_List
2734 )
2735
2736 ([KB_713803_Instance_689] of Widget
2737
2738 (height 0)
2739 (is_hidden FALSE)
2740 (name ":DIRECT-SUPERCLASSES")
2741 (property_list [KB_713803_Instance_690])
2742 (width 0)
2743 (x 0)
2744 (y 0))
2745
2746 ([KB_713803_Instance_690] of Property_List
2747 )
2748
2749 ([KB_713803_Instance_691] of Widget
2750
2751 (height 0)
2752 (is_hidden FALSE)
2753 (name "http://www.w3.org/2002/07/owl#complementOf")
2754 (property_list [KB_713803_Instance_692])
2755 (width 0)
2756 (x 0)
2757 (y 0))
2758
2759 ([KB_713803_Instance_692] of Property_List
2760 )
2761
2762 ([KB_713803_Instance_693] of Widget
2763
2764 (is_hidden FALSE)
2765 (name "http://www.w3.org/2002/07/owl#IntersectionClass")
2766 (property_list [KB_713803_Instance_738])
2767 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
2768
2769 ([KB_713803_Instance_7] of Property_List
2770
2771 (properties
2772 [KB_713803_Instance_8]
2773 [KB_713803_Instance_22]
2774 [KB_713803_Instance_25]
2775 [KB_713803_Instance_27]
2776 [KB_713803_Instance_29]
2777 [KB_713803_Instance_31]
2778 [KB_713803_Instance_33]
2779 [KB_713803_Instance_35]
2780 [KB_713803_Instance_37]
2781 [KB_713803_Instance_41]
2782 [KB_713803_Instance_45]
2783 [KB_713803_Instance_47]
2784 [KB_713803_Instance_49]))
2785
2786 ([KB_713803_Instance_738] of Property_List
2787
2788 (properties
2789 [KB_713803_Instance_739]
2790 [KB_713803_Instance_753]
2791 [KB_713803_Instance_756]
2792 [KB_713803_Instance_758]
2793 [KB_713803_Instance_760]
2794 [KB_713803_Instance_762]
2795 [KB_713803_Instance_764]
2796 [KB_713803_Instance_766]
2797 [KB_713803_Instance_768]
2798 [KB_713803_Instance_770]
2799 [KB_713803_Instance_772]
2800 [KB_713803_Instance_774]
2801 [KB_713803_Instance_776]
2802 [KB_713803_Instance_778]))
2803
2804 ([KB_713803_Instance_739] of Widget
2805
2806 (height 180)
2807 (is_hidden FALSE)
2808 (label "Name")
2809 (name ":NAME")
2810 (property_list [KB_713803_Instance_740])
2811 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
2812 (width 280)
2813 (x 0)
2814 (y 0))
2815
2816 ([KB_713803_Instance_740] of Property_List
2817
2818 (properties
2819 [KB_713803_Instance_741]
2820 [KB_713803_Instance_745]
2821 [KB_713803_Instance_749]))
2822
2823 ([KB_713803_Instance_741] of Widget
2824
2825 (height 144)
2826 (is_hidden FALSE)
2827 (label "Name")
2828 (name ":NAME")
2829 (property_list [KB_713803_Instance_742])
2830 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2831 (width 266)
2832 (x 7)
2833 (y 28))
2834
2835 ([KB_713803_Instance_742] of Property_List
2836
2837 (properties
2838 [KB_713803_Instance_743]
2839 [KB_713803_Instance_744]))
2840
2841 ([KB_713803_Instance_743] of Widget
2842
2843 (height 30)
2844 (is_hidden FALSE)
2845 (label "Name")
2846 (name ":NAME")
2847 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2848 (width 266)
2849 (x 0)
2850 (y 0))
2851
2852 ([KB_713803_Instance_744] of Widget
2853
2854 (height 114)
2855 (is_hidden FALSE)
2856 (label "Comment")
2857 (name "http://www.w3.org/2000/01/rdf-schema#comment")
2858 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2859 (width 266)
2860 (x 0)
2861 (y 30))
2862
2863 ([KB_713803_Instance_745] of Widget
2864
2865 (height 144)
2866 (is_hidden FALSE)
2867 (label "http://www.w3.org/2002/07/owl#sameAs")
2868 (name "http://www.w3.org/2002/07/owl#sameAs")
2869 (property_list [KB_713803_Instance_746])
2870 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2871 (width 266)
2872 (x 7)
2873 (y 28))
2874
2875 ([KB_713803_Instance_746] of Property_List
2876
2877 (properties
2878 [KB_713803_Instance_747]
2879 [KB_713803_Instance_748]))
2880
2881 ([KB_713803_Instance_747] of Boolean
2882
2883 (boolean_value FALSE)
2884 (name "ButtonDisplayed-View References to Value "))
2885
2886 ([KB_713803_Instance_748] of Boolean
2887
2888 (boolean_value FALSE)
2889 (name "ButtonDisplayed-Delete Instance"))
2890
2891 ([KB_713803_Instance_749] of Widget
2892
2893 (height 144)
2894 (is_hidden FALSE)
2895 (label "http://www.w3.org/2002/07/owl#differentFrom")
2896 (name "http://www.w3.org/2002/07/owl#differentFrom")
2897 (property_list [KB_713803_Instance_750])
2898 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
2899 (width 266)
2900 (x 7)
2901 (y 28))
2902
2903 ([KB_713803_Instance_750] of Property_List
2904
2905 (properties
2906 [KB_713803_Instance_751]
2907 [KB_713803_Instance_752]))
2908
2909 ([KB_713803_Instance_751] of Boolean
2910
2911 (boolean_value FALSE)
2912 (name "ButtonDisplayed-View References to Value "))
2913
2914 ([KB_713803_Instance_752] of Boolean
2915
2916 (boolean_value FALSE)
2917 (name "ButtonDisplayed-Delete Instance"))
2918
2919 ([KB_713803_Instance_753] of Property_List
2920
2921 (name "layout properties")
2922 (properties
2923 [KB_713803_Instance_754]
2924 [KB_713803_Instance_755]))
2925
2926 ([KB_713803_Instance_754] of String
2927
2928 (name "horizontal_stretcher")
2929 (string_value "<<all>>"))
2930
2931 ([KB_713803_Instance_755] of String
2932
2933 (name "vertical_stretcher")
2934 (string_value "<<none>>"))
2935
2936 ([KB_713803_Instance_756] of Widget
2937
2938 (height 180)
2939 (is_hidden FALSE)
2940 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
2941 (property_list [KB_713803_Instance_757])
2942 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
2943 (width 280)
2944 (x 280)
2945 (y 0))
2946
2947 ([KB_713803_Instance_757] of Property_List
2948 )
2949
2950 ([KB_713803_Instance_758] of Widget
2951
2952 (is_hidden FALSE)
2953 (name "http://www.w3.org/2002/07/owl#versionInfo")
2954 (property_list [KB_713803_Instance_759]))
2955
2956 ([KB_713803_Instance_759] of Property_List
2957 )
2958
2959 ([KB_713803_Instance_760] of Widget
2960
2961 (is_hidden FALSE)
2962 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
2963 (property_list [KB_713803_Instance_761]))
2964
2965 ([KB_713803_Instance_761] of Property_List
2966 )
2967
2968 ([KB_713803_Instance_762] of Widget
2969
2970 (is_hidden FALSE)
2971 (name "http://www.w3.org/2000/01/rdf-schema#comment")
2972 (property_list [KB_713803_Instance_763]))
2973
2974 ([KB_713803_Instance_763] of Property_List
2975 )
2976
2977 ([KB_713803_Instance_764] of Widget
2978
2979 (is_hidden FALSE)
2980 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
2981 (property_list [KB_713803_Instance_765]))
2982
2983 ([KB_713803_Instance_765] of Property_List
2984 )
2985
2986 ([KB_713803_Instance_766] of Widget
2987
2988 (is_hidden FALSE)
2989 (name "http://www.w3.org/2000/01/rdf-schema#label")
2990 (property_list [KB_713803_Instance_767]))
2991
2992 ([KB_713803_Instance_767] of Property_List
2993 )
2994
2995 ([KB_713803_Instance_768] of Widget
2996
2997 (height 0)
2998 (is_hidden FALSE)
2999 (name ":DIRECT-INSTANCES")
3000 (property_list [KB_713803_Instance_769])
3001 (width 0)
3002 (x 0)
3003 (y 0))
3004
3005 ([KB_713803_Instance_769] of Property_List
3006 )
3007
3008 ([KB_713803_Instance_770] of Widget
3009
3010 (height 0)
3011 (is_hidden FALSE)
3012 (name ":DIRECT-TEMPLATE-SLOTS")
3013 (property_list [KB_713803_Instance_771])
3014 (width 0)
3015 (x 0)
3016 (y 0))
3017
3018 ([KB_713803_Instance_771] of Property_List
3019 )
3020
3021 ([KB_713803_Instance_772] of Widget
3022
3023 (height 0)
3024 (is_hidden FALSE)
3025 (name ":DIRECT-TYPE")
3026 (property_list [KB_713803_Instance_773])
3027 (width 0)
3028 (x 0)
3029 (y 0))
3030
3031 ([KB_713803_Instance_773] of Property_List
3032 )
3033
3034 ([KB_713803_Instance_774] of Widget
3035
3036 (height 0)
3037 (is_hidden FALSE)
3038 (name ":DIRECT-SUBCLASSES")
3039 (property_list [KB_713803_Instance_775])
3040 (width 0)
3041 (x 0)
3042 (y 0))
3043
3044 ([KB_713803_Instance_775] of Property_List
3045 )
3046
3047 ([KB_713803_Instance_776] of Widget
3048
3049 (height 0)
3050 (is_hidden FALSE)
3051 (name ":DIRECT-SUPERCLASSES")
3052 (property_list [KB_713803_Instance_777])
3053 (width 0)
3054 (x 0)
3055 (y 0))
3056
3057 ([KB_713803_Instance_777] of Property_List
3058 )
3059
3060 ([KB_713803_Instance_778] of Widget
3061
3062 (height 0)
3063 (is_hidden FALSE)
3064 (name "http://www.w3.org/2002/07/owl#intersectionOf")
3065 (property_list [KB_713803_Instance_779])
3066 (width 0)
3067 (x 0)
3068 (y 0))
3069
3070 ([KB_713803_Instance_779] of Property_List
3071 )
3072
3073 ([KB_713803_Instance_780] of Widget
3074
3075 (is_hidden FALSE)
3076 (name "http://www.w3.org/2002/07/owl#UnionClass")
3077 (property_list [KB_713803_Instance_825])
3078 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
3079
3080 ([KB_713803_Instance_8] of Widget
3081
3082 (height 180)
3083 (is_hidden FALSE)
3084 (label "Name")
3085 (name ":NAME")
3086 (property_list [KB_713803_Instance_9])
3087 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
3088 (width 280)
3089 (x 0)
3090 (y 0))
3091
3092 ([KB_713803_Instance_825] of Property_List
3093
3094 (properties
3095 [KB_713803_Instance_826]
3096 [KB_713803_Instance_840]
3097 [KB_713803_Instance_843]
3098 [KB_713803_Instance_845]
3099 [KB_713803_Instance_847]
3100 [KB_713803_Instance_849]
3101 [KB_713803_Instance_851]
3102 [KB_713803_Instance_853]
3103 [KB_713803_Instance_855]
3104 [KB_713803_Instance_857]
3105 [KB_713803_Instance_859]
3106 [KB_713803_Instance_861]
3107 [KB_713803_Instance_863]
3108 [KB_713803_Instance_865]))
3109
3110 ([KB_713803_Instance_826] of Widget
3111
3112 (height 180)
3113 (is_hidden FALSE)
3114 (label "Name")
3115 (name ":NAME")
3116 (property_list [KB_713803_Instance_827])
3117 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
3118 (width 280)
3119 (x 0)
3120 (y 0))
3121
3122 ([KB_713803_Instance_827] of Property_List
3123
3124 (properties
3125 [KB_713803_Instance_828]
3126 [KB_713803_Instance_832]
3127 [KB_713803_Instance_836]))
3128
3129 ([KB_713803_Instance_828] of Widget
3130
3131 (height 144)
3132 (is_hidden FALSE)
3133 (label "Name")
3134 (name ":NAME")
3135 (property_list [KB_713803_Instance_829])
3136 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
3137 (width 266)
3138 (x 7)
3139 (y 28))
3140
3141 ([KB_713803_Instance_829] of Property_List
3142
3143 (properties
3144 [KB_713803_Instance_830]
3145 [KB_713803_Instance_831]))
3146
3147 ([KB_713803_Instance_830] of Widget
3148
3149 (height 30)
3150 (is_hidden FALSE)
3151 (label "Name")
3152 (name ":NAME")
3153 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
3154 (width 266)
3155 (x 0)
3156 (y 0))
3157
3158 ([KB_713803_Instance_831] of Widget
3159
3160 (height 114)
3161 (is_hidden FALSE)
3162 (label "Comment")
3163 (name "http://www.w3.org/2000/01/rdf-schema#comment")
3164 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
3165 (width 266)
3166 (x 0)
3167 (y 30))
3168
3169 ([KB_713803_Instance_832] of Widget
3170
3171 (height 144)
3172 (is_hidden FALSE)
3173 (label "http://www.w3.org/2002/07/owl#sameAs")
3174 (name "http://www.w3.org/2002/07/owl#sameAs")
3175 (property_list [KB_713803_Instance_833])
3176 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
3177 (width 266)
3178 (x 7)
3179 (y 28))
3180
3181 ([KB_713803_Instance_833] of Property_List
3182
3183 (properties
3184 [KB_713803_Instance_834]
3185 [KB_713803_Instance_835]))
3186
3187 ([KB_713803_Instance_834] of Boolean
3188
3189 (boolean_value FALSE)
3190 (name "ButtonDisplayed-View References to Value "))
3191
3192 ([KB_713803_Instance_835] of Boolean
3193
3194 (boolean_value FALSE)
3195 (name "ButtonDisplayed-Delete Instance"))
3196
3197 ([KB_713803_Instance_836] of Widget
3198
3199 (height 144)
3200 (is_hidden FALSE)
3201 (label "http://www.w3.org/2002/07/owl#differentFrom")
3202 (name "http://www.w3.org/2002/07/owl#differentFrom")
3203 (property_list [KB_713803_Instance_837])
3204 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
3205 (width 266)
3206 (x 7)
3207 (y 28))
3208
3209 ([KB_713803_Instance_837] of Property_List
3210
3211 (properties
3212 [KB_713803_Instance_838]
3213 [KB_713803_Instance_839]))
3214
3215 ([KB_713803_Instance_838] of Boolean
3216
3217 (boolean_value FALSE)
3218 (name "ButtonDisplayed-View References to Value "))
3219
3220 ([KB_713803_Instance_839] of Boolean
3221
3222 (boolean_value FALSE)
3223 (name "ButtonDisplayed-Delete Instance"))
3224
3225 ([KB_713803_Instance_840] of Property_List
3226
3227 (name "layout properties")
3228 (properties
3229 [KB_713803_Instance_841]
3230 [KB_713803_Instance_842]))
3231
3232 ([KB_713803_Instance_841] of String
3233
3234 (name "horizontal_stretcher")
3235 (string_value "<<all>>"))
3236
3237 ([KB_713803_Instance_842] of String
3238
3239 (name "vertical_stretcher")
3240 (string_value "<<none>>"))
3241
3242 ([KB_713803_Instance_843] of Widget
3243
3244 (height 180)
3245 (is_hidden FALSE)
3246 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
3247 (property_list [KB_713803_Instance_844])
3248 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
3249 (width 280)
3250 (x 280)
3251 (y 0))
3252
3253 ([KB_713803_Instance_844] of Property_List
3254 )
3255
3256 ([KB_713803_Instance_845] of Widget
3257
3258 (is_hidden FALSE)
3259 (name "http://www.w3.org/2002/07/owl#versionInfo")
3260 (property_list [KB_713803_Instance_846]))
3261
3262 ([KB_713803_Instance_846] of Property_List
3263 )
3264
3265 ([KB_713803_Instance_847] of Widget
3266
3267 (is_hidden FALSE)
3268 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
3269 (property_list [KB_713803_Instance_848]))
3270
3271 ([KB_713803_Instance_848] of Property_List
3272 )
3273
3274 ([KB_713803_Instance_849] of Widget
3275
3276 (is_hidden FALSE)
3277 (name "http://www.w3.org/2000/01/rdf-schema#comment")
3278 (property_list [KB_713803_Instance_850]))
3279
3280 ([KB_713803_Instance_850] of Property_List
3281 )
3282
3283 ([KB_713803_Instance_851] of Widget
3284
3285 (is_hidden FALSE)
3286 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
3287 (property_list [KB_713803_Instance_852]))
3288
3289 ([KB_713803_Instance_852] of Property_List
3290 )
3291
3292 ([KB_713803_Instance_853] of Widget
3293
3294 (is_hidden FALSE)
3295 (name "http://www.w3.org/2000/01/rdf-schema#label")
3296 (property_list [KB_713803_Instance_854]))
3297
3298 ([KB_713803_Instance_854] of Property_List
3299 )
3300
3301 ([KB_713803_Instance_855] of Widget
3302
3303 (height 0)
3304 (is_hidden FALSE)
3305 (name ":DIRECT-INSTANCES")
3306 (property_list [KB_713803_Instance_856])
3307 (width 0)
3308 (x 0)
3309 (y 0))
3310
3311 ([KB_713803_Instance_856] of Property_List
3312 )
3313
3314 ([KB_713803_Instance_857] of Widget
3315
3316 (height 0)
3317 (is_hidden FALSE)
3318 (name ":DIRECT-TEMPLATE-SLOTS")
3319 (property_list [KB_713803_Instance_858])
3320 (width 0)
3321 (x 0)
3322 (y 0))
3323
3324 ([KB_713803_Instance_858] of Property_List
3325 )
3326
3327 ([KB_713803_Instance_859] of Widget
3328
3329 (height 0)
3330 (is_hidden FALSE)
3331 (name ":DIRECT-TYPE")
3332 (property_list [KB_713803_Instance_860])
3333 (width 0)
3334 (x 0)
3335 (y 0))
3336
3337 ([KB_713803_Instance_860] of Property_List
3338 )
3339
3340 ([KB_713803_Instance_861] of Widget
3341
3342 (height 0)
3343 (is_hidden FALSE)
3344 (name ":DIRECT-SUBCLASSES")
3345 (property_list [KB_713803_Instance_862])
3346 (width 0)
3347 (x 0)
3348 (y 0))
3349
3350 ([KB_713803_Instance_862] of Property_List
3351 )
3352
3353 ([KB_713803_Instance_863] of Widget
3354
3355 (height 0)
3356 (is_hidden FALSE)
3357 (name ":DIRECT-SUPERCLASSES")
3358 (property_list [KB_713803_Instance_864])
3359 (width 0)
3360 (x 0)
3361 (y 0))
3362
3363 ([KB_713803_Instance_864] of Property_List
3364 )
3365
3366 ([KB_713803_Instance_865] of Widget
3367
3368 (height 0)
3369 (is_hidden FALSE)
3370 (name "http://www.w3.org/2002/07/owl#unionOf")
3371 (property_list [KB_713803_Instance_866])
3372 (width 0)
3373 (x 0)
3374 (y 0))
3375
3376 ([KB_713803_Instance_866] of Property_List
3377 )
3378
3379 ([KB_713803_Instance_9] of Property_List
3380
3381 (properties
3382 [KB_713803_Instance_10]
3383 [KB_713803_Instance_14]
3384 [KB_713803_Instance_18]))
3385
3386 ([KB_713803_Instance_980] of Widget
3387
3388 (is_hidden FALSE)
3389 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
3390 (property_list [KB_713803_Instance_981]))
3391
3392 ([KB_713803_Instance_981] of Property_List
3393 )
3394
3395 ([KB_764103_Instance_545] of Widget
3396
3397 (is_hidden FALSE)
3398 (name "http://www.w3.org/2002/07/owl#Ontology")
3399 (property_list [XY_Instance_195])
3400 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
3401
3402 ([KB_849673_Class0] of Map
3403 )
3404
3405 ([KB_865583_Instance_10] of Widget
3406
3407 (is_hidden TRUE)
3408 (property_list [KB_865583_Instance_11])
3409 (widget_class_name "edu.stanford.smi.protegex.owl.swrl.ui.tab.SWRLTab"))
3410
3411 ([KB_865583_Instance_11] of Property_List
3412 )
3413
3414 ([KB_865583_Instance_12] of Widget
3415
3416 (is_hidden TRUE)
3417 (property_list [KB_865583_Instance_13])
3418 (widget_class_name "uk.ac.man.ac.mig.coode.individuals.ui.OWLDLIndividualsTab"))
3419
3420 ([KB_865583_Instance_13] of Property_List
3421 )
3422
3423 ([KB_865583_Instance_4] of Widget
3424
3425 (is_hidden TRUE)
3426 (property_list [KB_865583_Instance_5])
3427 (widget_class_name "edu.stanford.smi.protegex.queries_tab.QueriesTab"))
3428
3429 ([KB_865583_Instance_5] of Property_List
3430 )
3431
3432 ([KB_865583_Instance_6] of Widget
3433
3434 (is_hidden TRUE)
3435 (property_list [KB_865583_Instance_7])
3436 (widget_class_name "uk.ac.man.cs.mig.coode.debugger.test.DebuggerTestTab"))
3437
3438 ([KB_865583_Instance_7] of Property_List
3439 )
3440
3441 ([KB_865583_Instance_8] of Widget
3442
3443 (is_hidden FALSE)
3444 (property_list [KB_865583_Instance_9])
3445 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormsTab"))
3446
3447 ([KB_865583_Instance_9] of Property_List
3448 )
3449
3450 ([KB_868747_Instance_76] of Widget
3451
3452 (is_hidden FALSE)
3453 (name "http://www.w3.org/2000/01/rdf-schema#Class")
3454 (property_list [XY_Instance_409])
3455 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
3456
3457 ([KB_886778_Instance_12] of Property_List
3458 )
3459
3460 ([KB_886778_Instance_144] of Property_List
3461
3462 (name "slot widget properties")
3463 (properties
3464 [KB_886778_Instance_145]
3465 [KB_886778_Instance_149]
3466 [KB_886778_Instance_150]
3467 [KB_886778_Instance_152]
3468 [KB_886778_Instance_153]
3469 [KB_886778_Instance_155]
3470 [KB_886778_Instance_157]
3471 [KB_886778_Instance_159]
3472 [KB_886778_Instance_160]
3473 [KB_886778_Instance_180]
3474 [KB_886778_Instance_181]
3475 [KB_886778_Instance_184]
3476 [KB_886778_Instance_198]
3477 [KB_886778_Instance_202]
3478 [KB_886778_Instance_206]
3479 [KB_886778_Instance_208]
3480 [KB_140180_Instance_0]
3481 [KB_140180_Instance_2]
3482 [KB_140180_Instance_4]
3483 [KB_140180_Instance_6]
3484 [KB_140180_Instance_8]
3485 [KB_938545_Instance_14]
3486 [KB_938545_Instance_18]
3487 [KB_938545_Instance_23]
3488 [KB_221055_Instance_2]
3489 [KB_221055_Instance_6]))
3490
3491 ([KB_886778_Instance_145] of Widget
3492
3493 (height 0)
3494 (label "Cardinality")
3495 (name ":SLOT-MINIMUM-CARDINALITY")
3496 (property_list [KB_886778_Instance_146])
3497 (width 0)
3498 (x 0)
3499 (y 0))
3500
3501 ([KB_886778_Instance_146] of Property_List
3502 )
3503
3504 ([KB_886778_Instance_149] of Widget
3505
3506 (name ":SLOT-CONSTRAINTS")
3507 (property_list [KB_933314_Instance_58]))
3508
3509 ([KB_886778_Instance_150] of Widget
3510
3511 (height 50)
3512 (name ":DIRECT-TYPE")
3513 (property_list [KB_938545_Instance_27])
3514 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.RDFPropertyTypesWidget")
3515 (width 200)
3516 (x 400)
3517 (y 190))
3518
3519 ([KB_886778_Instance_152] of Widget
3520
3521 (name ":DIRECT-SUBSLOTS"))
3522
3523 ([KB_886778_Instance_153] of Widget
3524
3525 (height 0)
3526 (label "Default")
3527 (name ":SLOT-DEFAULTS")
3528 (property_list [KB_886778_Instance_154])
3529 (width 0)
3530 (x 0)
3531 (y 0))
3532
3533 ([KB_886778_Instance_154] of Property_List
3534 )
3535
3536 ([KB_886778_Instance_155] of Widget
3537
3538 (height 0)
3539 (label "Maximum")
3540 (name ":SLOT-NUMERIC-MAXIMUM")
3541 (property_list [KB_886778_Instance_156])
3542 (width 0)
3543 (x 0)
3544 (y 0))
3545
3546 ([KB_886778_Instance_156] of Property_List
3547 )
3548
3549 ([KB_886778_Instance_157] of Widget
3550
3551 (height 0)
3552 (label "Minimum")
3553 (name ":SLOT-NUMERIC-MINIMUM")
3554 (property_list [KB_886778_Instance_158])
3555 (width 0)
3556 (x 0)
3557 (y 0))
3558
3559 ([KB_886778_Instance_158] of Property_List
3560 )
3561
3562 ([KB_886778_Instance_159] of Widget
3563
3564 (name ":ASSOCIATED-FACET"))
3565
3566 ([KB_886778_Instance_160] of Widget
3567
3568 (height 0)
3569 (label "Name")
3570 (name ":NAME")
3571 (property_list [KB_886778_Instance_161])
3572 (width 0)
3573 (x 0)
3574 (y 0))
3575
3576 ([KB_886778_Instance_161] of Property_List
3577
3578 (properties [KB_933314_Instance_59]))
3579
3580 ([KB_886778_Instance_180] of Widget
3581
3582 (height 0)
3583 (label "Range Type")
3584 (name ":SLOT-VALUE-TYPE")
3585 (property_list [KB_938545_Instance_22])
3586 (width 0)
3587 (x 0)
3588 (y 0))
3589
3590 ([KB_886778_Instance_181] of Property_List
3591
3592 (name "layout properties")
3593 (properties
3594 [KB_886778_Instance_182]
3595 [KB_886778_Instance_183]))
3596
3597 ([KB_886778_Instance_182] of String
3598
3599 (name "horizontal_stretcher")
3600 (string_value "<<all>>"))
3601
3602 ([KB_886778_Instance_183] of String
3603
3604 (name "vertical_stretcher")
3605 (string_value "<<all>>"))
3606
3607 ([KB_886778_Instance_184] of Widget
3608
3609 (height 220)
3610 (is_hidden FALSE)
3611 (label "Domain")
3612 (name ":DIRECT-DOMAIN")
3613 (property_list [KB_886778_Instance_185])
3614 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget")
3615 (width 200)
3616 (x 0)
3617 (y 170))
3618
3619 ([KB_886778_Instance_185] of Property_List
3620
3621 (properties
3622 [KB_886778_Instance_186]
3623 [KB_886778_Instance_187]
3624 [KB_886778_Instance_188]
3625 [KB_886778_Instance_189]
3626 [KB_886778_Instance_190]
3627 [KB_886778_Instance_191]))
3628
3629 ([KB_886778_Instance_186] of Boolean
3630
3631 (boolean_value TRUE)
3632 (name "ButtonDisplayed-View Selected Instances"))
3633
3634 ([KB_886778_Instance_187] of Boolean
3635
3636 (boolean_value TRUE)
3637 (name "ButtonDisplayed-Create Instance"))
3638
3639 ([KB_886778_Instance_188] of Boolean
3640
3641 (boolean_value FALSE)
3642 (name "ButtonDisplayed-References"))
3643
3644 ([KB_886778_Instance_189] of Boolean
3645
3646 (boolean_value TRUE)
3647 (name "ButtonDisplayed-Add"))
3648
3649 ([KB_886778_Instance_190] of Boolean
3650
3651 (boolean_value TRUE)
3652 (name "ButtonDisplayed-Remove"))
3653
3654 ([KB_886778_Instance_191] of Boolean
3655
3656 (boolean_value FALSE)
3657 (name "ButtonDisplayed-Delete Selected Instances"))
3658
3659 ([KB_886778_Instance_198] of Widget
3660
3661 (height 0)
3662 (is_hidden FALSE)
3663 (name ":SLOT-VALUES")
3664 (property_list [KB_886778_Instance_199])
3665 (width 0)
3666 (x 0)
3667 (y 0))
3668
3669 ([KB_886778_Instance_199] of Property_List
3670 )
3671
3672 ([KB_886778_Instance_202] of Widget
3673
3674 (height 0)
3675 (is_hidden FALSE)
3676 (name ":DOCUMENTATION")
3677 (property_list [KB_886778_Instance_203])
3678 (width 0)
3679 (x 0)
3680 (y 0))
3681
3682 ([KB_886778_Instance_203] of Property_List
3683 )
3684
3685 ([KB_886778_Instance_206] of Widget
3686
3687 (height 170)
3688 (is_hidden FALSE)
3689 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
3690 (property_list [KB_886778_Instance_207])
3691 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget")
3692 (width 600)
3693 (x 0)
3694 (y 0))
3695
3696 ([KB_886778_Instance_207] of Property_List
3697
3698 (properties [KB_933314_Instance_60]))
3699
3700 ([KB_886778_Instance_208] of Widget
3701
3702 (height 0)
3703 (is_hidden FALSE)
3704 (name ":SLOT-MAXIMUM-CARDINALITY")
3705 (property_list [KB_886778_Instance_209])
3706 (width 0)
3707 (x 0)
3708 (y 0))
3709
3710 ([KB_886778_Instance_209] of Property_List
3711 )
3712
3713 ([KB_886778_Instance_226] of Boolean
3714
3715 (boolean_value FALSE)
3716 (name "ButtonDisplayed-View References to Value "))
3717
3718 ([KB_886778_Instance_227] of Boolean
3719
3720 (boolean_value FALSE)
3721 (name "ButtonDisplayed-Delete Instance"))
3722
3723 ([KB_933314_Instance_11] of Boolean
3724
3725 (boolean_value FALSE)
3726 (name "DisabledByUser"))
3727
3728 ([KB_933314_Instance_12] of Boolean
3729
3730 (boolean_value TRUE)
3731 (name "DisabledByUser"))
3732
3733 ([KB_933314_Instance_13] of Boolean
3734
3735 (boolean_value TRUE)
3736 (name "DisabledByUser"))
3737
3738 ([KB_933314_Instance_14] of Boolean
3739
3740 (boolean_value FALSE)
3741 (name "DisabledByUser"))
3742
3743 ([KB_933314_Instance_15] of Boolean
3744
3745 (boolean_value TRUE)
3746 (name "DisabledByUser"))
3747
3748 ([KB_933314_Instance_58] of Property_List
3749 )
3750
3751 ([KB_933314_Instance_59] of Boolean
3752
3753 (boolean_value TRUE)
3754 (name "DisabledByUser"))
3755
3756 ([KB_933314_Instance_60] of Boolean
3757
3758 (boolean_value FALSE)
3759 (name "DisabledByUser"))
3760
3761 ([KB_933314_Instance_61] of Property_List
3762 )
3763
3764 ([KB_933314_Instance_62] of Property_List
3765 )
3766
3767 ([KB_933314_Instance_63] of Boolean
3768
3769 (boolean_value FALSE)
3770 (name "DisabledByUser"))
3771
3772 ([KB_933314_Instance_64] of Boolean
3773
3774 (boolean_value TRUE)
3775 (name "DisabledByUser"))
3776
3777 ([KB_933314_Instance_65] of Boolean
3778
3779 (boolean_value TRUE)
3780 (name "DisabledByUser"))
3781
3782 ([KB_933314_Instance_66] of Boolean
3783
3784 (boolean_value FALSE)
3785 (name "DisabledByUser"))
3786
3787 ([KB_933314_Instance_67] of Property_List
3788 )
3789
3790 ([KB_933314_Instance_68] of Boolean
3791
3792 (boolean_value TRUE)
3793 (name "DisabledByUser"))
3794
3795 ([KB_933314_Instance_69] of Boolean
3796
3797 (boolean_value FALSE)
3798 (name "DisabledByUser"))
3799
3800 ([KB_938545_Instance_100] of Widget
3801
3802 (height 220)
3803 (is_hidden FALSE)
3804 (label "Domain")
3805 (name ":DIRECT-DOMAIN")
3806 (property_list [KB_938545_Instance_101])
3807 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget")
3808 (width 200)
3809 (x 0)
3810 (y 170))
3811
3812 ([KB_938545_Instance_101] of Property_List
3813
3814 (properties
3815 [KB_938545_Instance_102]
3816 [KB_938545_Instance_103]
3817 [KB_938545_Instance_104]
3818 [KB_938545_Instance_105]
3819 [KB_938545_Instance_106]
3820 [KB_938545_Instance_107]))
3821
3822 ([KB_938545_Instance_102] of Boolean
3823
3824 (boolean_value TRUE)
3825 (name "ButtonDisplayed-View Selected Instances"))
3826
3827 ([KB_938545_Instance_103] of Boolean
3828
3829 (boolean_value TRUE)
3830 (name "ButtonDisplayed-Create Instance"))
3831
3832 ([KB_938545_Instance_104] of Boolean
3833
3834 (boolean_value FALSE)
3835 (name "ButtonDisplayed-References"))
3836
3837 ([KB_938545_Instance_105] of Boolean
3838
3839 (boolean_value TRUE)
3840 (name "ButtonDisplayed-Add"))
3841
3842 ([KB_938545_Instance_106] of Boolean
3843
3844 (boolean_value TRUE)
3845 (name "ButtonDisplayed-Remove"))
3846
3847 ([KB_938545_Instance_107] of Boolean
3848
3849 (boolean_value FALSE)
3850 (name "ButtonDisplayed-Delete Selected Instances"))
3851
3852 ([KB_938545_Instance_108] of Widget
3853
3854 (height 0)
3855 (is_hidden FALSE)
3856 (name ":SLOT-VALUES")
3857 (property_list [KB_938545_Instance_109])
3858 (width 0)
3859 (x 0)
3860 (y 0))
3861
3862 ([KB_938545_Instance_109] of Property_List
3863 )
3864
3865 ([KB_938545_Instance_112] of Widget
3866
3867 (height 0)
3868 (is_hidden FALSE)
3869 (name ":DOCUMENTATION")
3870 (property_list [KB_938545_Instance_113])
3871 (width 0)
3872 (x 0)
3873 (y 0))
3874
3875 ([KB_938545_Instance_113] of Property_List
3876 )
3877
3878 ([KB_938545_Instance_114] of Widget
3879
3880 (height 170)
3881 (is_hidden FALSE)
3882 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
3883 (property_list [KB_938545_Instance_115])
3884 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget")
3885 (width 600)
3886 (x 0)
3887 (y 0))
3888
3889 ([KB_938545_Instance_115] of Property_List
3890
3891 (properties [KB_933314_Instance_66]))
3892
3893 ([KB_938545_Instance_116] of Widget
3894
3895 (height 0)
3896 (is_hidden FALSE)
3897 (name ":SLOT-MAXIMUM-CARDINALITY")
3898 (property_list [KB_938545_Instance_117])
3899 (width 0)
3900 (x 0)
3901 (y 0))
3902
3903 ([KB_938545_Instance_117] of Property_List
3904 )
3905
3906 ([KB_938545_Instance_118] of Widget
3907
3908 (is_hidden FALSE)
3909 (name "http://www.w3.org/2002/07/owl#versionInfo")
3910 (property_list [KB_938545_Instance_119]))
3911
3912 ([KB_938545_Instance_119] of Property_List
3913 )
3914
3915 ([KB_938545_Instance_120] of Widget
3916
3917 (is_hidden FALSE)
3918 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
3919 (property_list [KB_938545_Instance_121]))
3920
3921 ([KB_938545_Instance_1206] of Widget
3922
3923 (is_hidden FALSE)
3924 (name "http://www.w3.org/2000/01/rdf-schema#comment")
3925 (property_list [KB_938545_Instance_1207]))
3926
3927 ([KB_938545_Instance_1207] of Property_List
3928 )
3929
3930 ([KB_938545_Instance_1208] of Widget
3931
3932 (is_hidden FALSE)
3933 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
3934 (property_list [KB_938545_Instance_1209]))
3935
3936 ([KB_938545_Instance_1209] of Property_List
3937 )
3938
3939 ([KB_938545_Instance_121] of Property_List
3940 )
3941
3942 ([KB_938545_Instance_122] of Widget
3943
3944 (is_hidden FALSE)
3945 (name "http://www.w3.org/2000/01/rdf-schema#label")
3946 (property_list [KB_938545_Instance_123]))
3947
3948 ([KB_938545_Instance_123] of Property_List
3949 )
3950
3951 ([KB_938545_Instance_124] of Widget
3952
3953 (is_hidden FALSE)
3954 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
3955 (property_list [KB_938545_Instance_125]))
3956
3957 ([KB_938545_Instance_125] of Property_List
3958 )
3959
3960 ([KB_938545_Instance_126] of Widget
3961
3962 (is_hidden FALSE)
3963 (name "http://www.w3.org/2000/01/rdf-schema#comment")
3964 (property_list [KB_938545_Instance_127]))
3965
3966 ([KB_938545_Instance_127] of Property_List
3967 )
3968
3969 ([KB_938545_Instance_128] of Widget
3970
3971 (height 0)
3972 (is_hidden FALSE)
3973 (name "http://www.w3.org/2000/01/rdf-schema#domain")
3974 (property_list [KB_938545_Instance_129])
3975 (width 0)
3976 (x 0)
3977 (y 0))
3978
3979 ([KB_938545_Instance_129] of Property_List
3980 )
3981
3982 ([KB_938545_Instance_130] of Widget
3983
3984 (height 0)
3985 (is_hidden FALSE)
3986 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
3987 (property_list [KB_938545_Instance_131])
3988 (width 0)
3989 (x 0)
3990 (y 0))
3991
3992 ([KB_938545_Instance_131] of Property_List
3993 )
3994
3995 ([KB_938545_Instance_132] of Widget
3996
3997 (height 220)
3998 (is_hidden FALSE)
3999 (name "http://www.w3.org/2000/01/rdf-schema#range")
4000 (property_list [KB_938545_Instance_133])
4001 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget")
4002 (width 200)
4003 (x 200)
4004 (y 170))
4005
4006 ([KB_938545_Instance_133] of Property_List
4007 )
4008
4009 ([KB_938545_Instance_134] of Widget
4010
4011 (height 80)
4012 (is_hidden FALSE)
4013 (name ":DIRECT-TYPE")
4014 (property_list [KB_938545_Instance_135])
4015 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.OWLDatatypePropertyTypesWidget")
4016 (width 200)
4017 (x 400)
4018 (y 190))
4019
4020 ([KB_938545_Instance_135] of Property_List
4021 )
4022
4023 ([KB_938545_Instance_14] of Widget
4024
4025 (height 0)
4026 (is_hidden FALSE)
4027 (name "http://www.w3.org/2000/01/rdf-schema#domain")
4028 (property_list [KB_938545_Instance_15])
4029 (width 0)
4030 (x 0)
4031 (y 0))
4032
4033 ([KB_938545_Instance_140] of Widget
4034
4035 (is_hidden FALSE)
4036 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
4037 (property_list [KB_938545_Instance_141]))
4038
4039 ([KB_938545_Instance_141] of Property_List
4040 )
4041
4042 ([KB_938545_Instance_142] of Widget
4043
4044 (is_hidden FALSE)
4045 (name "http://www.w3.org/2000/01/rdf-schema#label")
4046 (property_list [KB_938545_Instance_143]))
4047
4048 ([KB_938545_Instance_143] of Property_List
4049 )
4050
4051 ([KB_938545_Instance_144] of Widget
4052
4053 (height 220)
4054 (is_hidden FALSE)
4055 (name "http://www.w3.org/2000/01/rdf-schema#range")
4056 (property_list [KB_938545_Instance_145])
4057 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget")
4058 (width 200)
4059 (x 200)
4060 (y 170))
4061
4062 ([KB_938545_Instance_145] of Property_List
4063 )
4064
4065 ([KB_938545_Instance_148] of Widget
4066
4067 (height 0)
4068 (is_hidden FALSE)
4069 (name "http://www.w3.org/2000/01/rdf-schema#domain")
4070 (property_list [KB_938545_Instance_149])
4071 (width 0)
4072 (x 0)
4073 (y 0))
4074
4075 ([KB_938545_Instance_149] of Property_List
4076 )
4077
4078 ([KB_938545_Instance_15] of Property_List
4079 )
4080
4081 ([KB_938545_Instance_152] of Widget
4082
4083 (height 0)
4084 (is_hidden FALSE)
4085 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
4086 (property_list [KB_938545_Instance_153])
4087 (width 0)
4088 (x 0)
4089 (y 0))
4090
4091 ([KB_938545_Instance_153] of Property_List
4092 )
4093
4094 ([KB_938545_Instance_156] of Widget
4095
4096 (height 0)
4097 (is_hidden FALSE)
4098 (name ":SLOT-MAXIMUM-CARDINALITY")
4099 (property_list [KB_938545_Instance_157])
4100 (width 0)
4101 (x 0)
4102 (y 0))
4103
4104 ([KB_938545_Instance_157] of Property_List
4105 )
4106
4107 ([KB_938545_Instance_158] of Widget
4108
4109 (is_hidden FALSE)
4110 (name "http://www.w3.org/2002/07/owl#versionInfo")
4111 (property_list [KB_938545_Instance_159]))
4112
4113 ([KB_938545_Instance_159] of Property_List
4114 )
4115
4116 ([KB_938545_Instance_160] of Widget
4117
4118 (is_hidden FALSE)
4119 (name "http://www.w3.org/2000/01/rdf-schema#comment")
4120 (property_list [KB_938545_Instance_161]))
4121
4122 ([KB_938545_Instance_161] of Property_List
4123 )
4124
4125 ([KB_938545_Instance_162] of Widget
4126
4127 (is_hidden FALSE)
4128 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
4129 (property_list [KB_938545_Instance_163]))
4130
4131 ([KB_938545_Instance_163] of Property_List
4132 )
4133
4134 ([KB_938545_Instance_164] of Property_List
4135 )
4136
4137 ([KB_938545_Instance_165] of Property_List
4138 )
4139
4140 ([KB_938545_Instance_166] of Widget
4141
4142 (is_hidden FALSE)
4143 (name "http://www.w3.org/2002/07/owl#AnnotationProperty")
4144 (property_list [KB_938545_Instance_249])
4145 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
4146
4147 ([KB_938545_Instance_18] of Widget
4148
4149 (height 0)
4150 (is_hidden FALSE)
4151 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
4152 (property_list [KB_938545_Instance_19])
4153 (width 0)
4154 (x 0)
4155 (y 0))
4156
4157 ([KB_938545_Instance_19] of Property_List
4158 )
4159
4160 ([KB_938545_Instance_22] of Property_List
4161 )
4162
4163 ([KB_938545_Instance_23] of Widget
4164
4165 (height 220)
4166 (is_hidden FALSE)
4167 (name "http://www.w3.org/2000/01/rdf-schema#range")
4168 (property_list [KB_938545_Instance_24])
4169 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget")
4170 (width 200)
4171 (x 200)
4172 (y 170))
4173
4174 ([KB_938545_Instance_24] of Property_List
4175 )
4176
4177 ([KB_938545_Instance_249] of Property_List
4178
4179 (name "slot widget properties")
4180 (properties
4181 [KB_938545_Instance_250]
4182 [KB_938545_Instance_252]
4183 [KB_938545_Instance_256]
4184 [KB_938545_Instance_257]
4185 [KB_938545_Instance_259]
4186 [KB_938545_Instance_261]
4187 [KB_938545_Instance_263]
4188 [KB_938545_Instance_264]
4189 [KB_938545_Instance_288]
4190 [KB_938545_Instance_290]
4191 [KB_938545_Instance_293]
4192 [KB_938545_Instance_301]
4193 [KB_938545_Instance_305]
4194 [KB_938545_Instance_307]
4195 [KB_938545_Instance_309]
4196 [KB_938545_Instance_311]
4197 [KB_938545_Instance_313]
4198 [KB_938545_Instance_315]
4199 [KB_938545_Instance_317]
4200 [KB_938545_Instance_319]
4201 [KB_938545_Instance_321]
4202 [KB_938545_Instance_323]
4203 [KB_938545_Instance_325]
4204 [KB_938545_Instance_327]
4205 [KB_221055_Instance_26]
4206 [KB_221055_Instance_30]))
4207
4208 ([KB_938545_Instance_250] of Widget
4209
4210 (height 0)
4211 (label "Cardinality")
4212 (name ":SLOT-MINIMUM-CARDINALITY")
4213 (property_list [KB_938545_Instance_251])
4214 (width 0)
4215 (x 0)
4216 (y 0))
4217
4218 ([KB_938545_Instance_251] of Property_List
4219 )
4220
4221 ([KB_938545_Instance_252] of Widget
4222
4223 (name ":SLOT-CONSTRAINTS")
4224 (property_list [KB_933314_Instance_67]))
4225
4226 ([KB_938545_Instance_256] of Widget
4227
4228 (name ":DIRECT-SUBSLOTS"))
4229
4230 ([KB_938545_Instance_257] of Widget
4231
4232 (height 0)
4233 (label "Default")
4234 (name ":SLOT-DEFAULTS")
4235 (property_list [KB_938545_Instance_258])
4236 (width 0)
4237 (x 0)
4238 (y 0))
4239
4240 ([KB_938545_Instance_258] of Property_List
4241 )
4242
4243 ([KB_938545_Instance_259] of Widget
4244
4245 (height 0)
4246 (label "Maximum")
4247 (name ":SLOT-NUMERIC-MAXIMUM")
4248 (property_list [KB_938545_Instance_260])
4249 (width 0)
4250 (x 0)
4251 (y 0))
4252
4253 ([KB_938545_Instance_260] of Property_List
4254 )
4255
4256 ([KB_938545_Instance_261] of Widget
4257
4258 (height 0)
4259 (label "Minimum")
4260 (name ":SLOT-NUMERIC-MINIMUM")
4261 (property_list [KB_938545_Instance_262])
4262 (width 0)
4263 (x 0)
4264 (y 0))
4265
4266 ([KB_938545_Instance_262] of Property_List
4267 )
4268
4269 ([KB_938545_Instance_263] of Widget
4270
4271 (name ":ASSOCIATED-FACET"))
4272
4273 ([KB_938545_Instance_264] of Widget
4274
4275 (height 0)
4276 (label "Name")
4277 (name ":NAME")
4278 (property_list [KB_938545_Instance_265])
4279 (width 0)
4280 (x 0)
4281 (y 0))
4282
4283 ([KB_938545_Instance_265] of Property_List
4284
4285 (properties [KB_933314_Instance_68]))
4286
4287 ([KB_938545_Instance_27] of Property_List
4288 )
4289
4290 ([KB_938545_Instance_288] of Widget
4291
4292 (height 0)
4293 (label "Range Type")
4294 (name ":SLOT-VALUE-TYPE")
4295 (property_list [KB_938545_Instance_289])
4296 (width 0)
4297 (x 0)
4298 (y 0))
4299
4300 ([KB_938545_Instance_289] of Property_List
4301 )
4302
4303 ([KB_938545_Instance_290] of Property_List
4304
4305 (name "layout properties")
4306 (properties
4307 [KB_938545_Instance_291]
4308 [KB_938545_Instance_292]))
4309
4310 ([KB_938545_Instance_291] of String
4311
4312 (name "horizontal_stretcher")
4313 (string_value "<<all>>"))
4314
4315 ([KB_938545_Instance_292] of String
4316
4317 (name "vertical_stretcher")
4318 (string_value "<<none>>"))
4319
4320 ([KB_938545_Instance_293] of Widget
4321
4322 (height 0)
4323 (is_hidden FALSE)
4324 (label "Domain")
4325 (name ":DIRECT-DOMAIN")
4326 (property_list [KB_938545_Instance_294])
4327 (width 0)
4328 (x 0)
4329 (y 0))
4330
4331 ([KB_938545_Instance_294] of Property_List
4332 )
4333
4334 ([KB_938545_Instance_301] of Widget
4335
4336 (height 0)
4337 (is_hidden FALSE)
4338 (name ":SLOT-VALUES")
4339 (property_list [KB_938545_Instance_302])
4340 (width 0)
4341 (x 0)
4342 (y 0))
4343
4344 ([KB_938545_Instance_302] of Property_List
4345 )
4346
4347 ([KB_938545_Instance_305] of Widget
4348
4349 (height 0)
4350 (is_hidden FALSE)
4351 (name ":DOCUMENTATION")
4352 (property_list [KB_938545_Instance_306])
4353 (width 0)
4354 (x 0)
4355 (y 0))
4356
4357 ([KB_938545_Instance_306] of Property_List
4358 )
4359
4360 ([KB_938545_Instance_307] of Widget
4361
4362 (height 170)
4363 (is_hidden FALSE)
4364 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
4365 (property_list [KB_938545_Instance_308])
4366 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget")
4367 (width 600)
4368 (x 0)
4369 (y 0))
4370
4371 ([KB_938545_Instance_308] of Property_List
4372
4373 (properties [KB_933314_Instance_69]))
4374
4375 ([KB_938545_Instance_309] of Widget
4376
4377 (height 0)
4378 (is_hidden FALSE)
4379 (name ":SLOT-MAXIMUM-CARDINALITY")
4380 (property_list [KB_938545_Instance_310])
4381 (width 0)
4382 (x 0)
4383 (y 0))
4384
4385 ([KB_938545_Instance_310] of Property_List
4386 )
4387
4388 ([KB_938545_Instance_311] of Widget
4389
4390 (is_hidden FALSE)
4391 (name "http://www.w3.org/2002/07/owl#versionInfo")
4392 (property_list [KB_938545_Instance_312]))
4393
4394 ([KB_938545_Instance_312] of Property_List
4395 )
4396
4397 ([KB_938545_Instance_313] of Widget
4398
4399 (is_hidden FALSE)
4400 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
4401 (property_list [KB_938545_Instance_314]))
4402
4403 ([KB_938545_Instance_314] of Property_List
4404 )
4405
4406 ([KB_938545_Instance_315] of Widget
4407
4408 (is_hidden FALSE)
4409 (name "http://www.w3.org/2000/01/rdf-schema#label")
4410 (property_list [KB_938545_Instance_316]))
4411
4412 ([KB_938545_Instance_316] of Property_List
4413 )
4414
4415 ([KB_938545_Instance_317] of Widget
4416
4417 (is_hidden FALSE)
4418 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
4419 (property_list [KB_938545_Instance_318]))
4420
4421 ([KB_938545_Instance_318] of Property_List
4422 )
4423
4424 ([KB_938545_Instance_319] of Widget
4425
4426 (is_hidden FALSE)
4427 (name "http://www.w3.org/2000/01/rdf-schema#comment")
4428 (property_list [KB_938545_Instance_320]))
4429
4430 ([KB_938545_Instance_320] of Property_List
4431 )
4432
4433 ([KB_938545_Instance_321] of Widget
4434
4435 (height 0)
4436 (is_hidden FALSE)
4437 (name "http://www.w3.org/2000/01/rdf-schema#domain")
4438 (property_list [KB_938545_Instance_322])
4439 (width 0)
4440 (x 0)
4441 (y 0))
4442
4443 ([KB_938545_Instance_322] of Property_List
4444 )
4445
4446 ([KB_938545_Instance_323] of Widget
4447
4448 (height 0)
4449 (is_hidden FALSE)
4450 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
4451 (property_list [KB_938545_Instance_324])
4452 (width 0)
4453 (x 0)
4454 (y 0))
4455
4456 ([KB_938545_Instance_324] of Property_List
4457 )
4458
4459 ([KB_938545_Instance_325] of Widget
4460
4461 (height 0)
4462 (is_hidden FALSE)
4463 (name "http://www.w3.org/2000/01/rdf-schema#range")
4464 (property_list [KB_938545_Instance_326])
4465 (width 0)
4466 (x 0)
4467 (y 0))
4468
4469 ([KB_938545_Instance_326] of Property_List
4470 )
4471
4472 ([KB_938545_Instance_327] of Widget
4473
4474 (height 0)
4475 (is_hidden FALSE)
4476 (name ":DIRECT-TYPE")
4477 (property_list [KB_938545_Instance_328])
4478 (width 0)
4479 (x 0)
4480 (y 0))
4481
4482 ([KB_938545_Instance_328] of Property_List
4483 )
4484
4485 ([KB_938545_Instance_329] of Widget
4486
4487 (is_hidden FALSE)
4488 (name "http://www.w3.org/2002/07/owl#FunctionalProperty")
4489 (property_list [KB_938545_Instance_332])
4490 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
4491
4492 ([KB_938545_Instance_332] of Property_List
4493
4494 (name "slot widget properties")
4495 (properties
4496 [KB_938545_Instance_333]
4497 [KB_938545_Instance_335]
4498 [KB_938545_Instance_339]
4499 [KB_938545_Instance_340]
4500 [KB_938545_Instance_342]
4501 [KB_938545_Instance_344]
4502 [KB_938545_Instance_346]
4503 [KB_938545_Instance_347]
4504 [KB_938545_Instance_371]
4505 [KB_938545_Instance_373]
4506 [KB_938545_Instance_376]
4507 [KB_938545_Instance_384]
4508 [KB_938545_Instance_388]
4509 [KB_938545_Instance_390]
4510 [KB_938545_Instance_392]
4511 [KB_938545_Instance_394]
4512 [KB_938545_Instance_396]
4513 [KB_938545_Instance_398]
4514 [KB_938545_Instance_400]
4515 [KB_938545_Instance_402]
4516 [KB_938545_Instance_404]
4517 [KB_938545_Instance_406]
4518 [KB_938545_Instance_408]
4519 [KB_938545_Instance_410]
4520 [KB_221055_Instance_34]
4521 [KB_221055_Instance_38]))
4522
4523 ([KB_938545_Instance_333] of Widget
4524
4525 (height 0)
4526 (label "Cardinality")
4527 (name ":SLOT-MINIMUM-CARDINALITY")
4528 (property_list [KB_938545_Instance_334])
4529 (width 0)
4530 (x 0)
4531 (y 0))
4532
4533 ([KB_938545_Instance_334] of Property_List
4534 )
4535
4536 ([KB_938545_Instance_335] of Widget
4537
4538 (name ":SLOT-CONSTRAINTS"))
4539
4540 ([KB_938545_Instance_339] of Widget
4541
4542 (name ":DIRECT-SUBSLOTS"))
4543
4544 ([KB_938545_Instance_340] of Widget
4545
4546 (height 0)
4547 (label "Default")
4548 (name ":SLOT-DEFAULTS")
4549 (property_list [KB_938545_Instance_341])
4550 (width 0)
4551 (x 0)
4552 (y 0))
4553
4554 ([KB_938545_Instance_341] of Property_List
4555 )
4556
4557 ([KB_938545_Instance_342] of Widget
4558
4559 (height 0)
4560 (label "Maximum")
4561 (name ":SLOT-NUMERIC-MAXIMUM")
4562 (property_list [KB_938545_Instance_343])
4563 (width 0)
4564 (x 0)
4565 (y 0))
4566
4567 ([KB_938545_Instance_343] of Property_List
4568 )
4569
4570 ([KB_938545_Instance_344] of Widget
4571
4572 (height 0)
4573 (label "Minimum")
4574 (name ":SLOT-NUMERIC-MINIMUM")
4575 (property_list [KB_938545_Instance_345])
4576 (width 0)
4577 (x 0)
4578 (y 0))
4579
4580 ([KB_938545_Instance_345] of Property_List
4581 )
4582
4583 ([KB_938545_Instance_346] of Widget
4584
4585 (name ":ASSOCIATED-FACET"))
4586
4587 ([KB_938545_Instance_347] of Widget
4588
4589 (height 173)
4590 (label "Name")
4591 (name ":NAME")
4592 (property_list [KB_938545_Instance_348])
4593 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.RDFPropertyMetadataWidget")
4594 (width 300)
4595 (x 0)
4596 (y 0))
4597
4598 ([KB_938545_Instance_348] of Property_List
4599
4600 (properties
4601 [KB_938545_Instance_349]
4602 [KB_938545_Instance_353]
4603 [KB_938545_Instance_357]
4604 [KB_938545_Instance_361]
4605 [KB_938545_Instance_365]))
4606
4607 ([KB_938545_Instance_349] of Widget
4608
4609 (height 137)
4610 (is_hidden FALSE)
4611 (label "Name")
4612 (name ":NAME")
4613 (property_list [KB_938545_Instance_350])
4614 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
4615 (width 286)
4616 (x 7)
4617 (y 28))
4618
4619 ([KB_938545_Instance_350] of Property_List
4620
4621 (properties
4622 [KB_938545_Instance_351]
4623 [KB_938545_Instance_352]))
4624
4625 ([KB_938545_Instance_351] of Widget
4626
4627 (height 30)
4628 (is_hidden FALSE)
4629 (label "Name")
4630 (name ":NAME")
4631 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
4632 (width 286)
4633 (x 0)
4634 (y 0))
4635
4636 ([KB_938545_Instance_352] of Widget
4637
4638 (height 107)
4639 (is_hidden FALSE)
4640 (label "Comment")
4641 (name "http://www.w3.org/2000/01/rdf-schema#comment")
4642 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
4643 (width 286)
4644 (x 0)
4645 (y 30))
4646
4647 ([KB_938545_Instance_353] of Widget
4648
4649 (height 138)
4650 (is_hidden FALSE)
4651 (label "http://www.w3.org/2002/07/owl#equivalentProperty")
4652 (name ":OWL-EQUIVALENT-SLOTS")
4653 (property_list [KB_938545_Instance_354])
4654 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
4655 (width 266)
4656 (x 7)
4657 (y 27))
4658
4659 ([KB_938545_Instance_354] of Property_List
4660
4661 (properties
4662 [KB_938545_Instance_355]
4663 [KB_938545_Instance_356]))
4664
4665 ([KB_938545_Instance_355] of Boolean
4666
4667 (boolean_value FALSE)
4668 (name "ButtonDisplayed-View References to Value "))
4669
4670 ([KB_938545_Instance_356] of Boolean
4671
4672 (boolean_value FALSE)
4673 (name "ButtonDisplayed-Delete Instance"))
4674
4675 ([KB_938545_Instance_357] of Widget
4676
4677 (height 137)
4678 (is_hidden FALSE)
4679 (label "http://www.w3.org/2002/07/owl#sameAs")
4680 (name "http://www.w3.org/2002/07/owl#sameAs")
4681 (property_list [KB_938545_Instance_358])
4682 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
4683 (width 286)
4684 (x 7)
4685 (y 28))
4686
4687 ([KB_938545_Instance_358] of Property_List
4688
4689 (properties
4690 [KB_938545_Instance_359]
4691 [KB_938545_Instance_360]))
4692
4693 ([KB_938545_Instance_359] of Boolean
4694
4695 (boolean_value FALSE)
4696 (name "ButtonDisplayed-View References to Value "))
4697
4698 ([KB_938545_Instance_360] of Boolean
4699
4700 (boolean_value FALSE)
4701 (name "ButtonDisplayed-Delete Instance"))
4702
4703 ([KB_938545_Instance_361] of Widget
4704
4705 (height 137)
4706 (is_hidden FALSE)
4707 (label "http://www.w3.org/2002/07/owl#differentFrom")
4708 (name "http://www.w3.org/2002/07/owl#differentFrom")
4709 (property_list [KB_938545_Instance_362])
4710 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
4711 (width 286)
4712 (x 7)
4713 (y 28))
4714
4715 ([KB_938545_Instance_362] of Property_List
4716
4717 (properties
4718 [KB_938545_Instance_363]
4719 [KB_938545_Instance_364]))
4720
4721 ([KB_938545_Instance_363] of Boolean
4722
4723 (boolean_value FALSE)
4724 (name "ButtonDisplayed-View References to Value "))
4725
4726 ([KB_938545_Instance_364] of Boolean
4727
4728 (boolean_value FALSE)
4729 (name "ButtonDisplayed-Delete Instance"))
4730
4731 ([KB_938545_Instance_365] of Widget
4732
4733 (height 137)
4734 (is_hidden FALSE)
4735 (label "http://www.w3.org/2002/07/owl#equivalentProperty")
4736 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
4737 (property_list [KB_938545_Instance_366])
4738 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
4739 (width 286)
4740 (x 7)
4741 (y 28))
4742
4743 ([KB_938545_Instance_366] of Property_List
4744
4745 (properties
4746 [KB_938545_Instance_367]
4747 [KB_938545_Instance_368]))
4748
4749 ([KB_938545_Instance_367] of Boolean
4750
4751 (boolean_value FALSE)
4752 (name "ButtonDisplayed-View References to Value "))
4753
4754 ([KB_938545_Instance_368] of Boolean
4755
4756 (boolean_value FALSE)
4757 (name "ButtonDisplayed-Delete Instance"))
4758
4759 ([KB_938545_Instance_371] of Widget
4760
4761 (height 0)
4762 (label "Range Type")
4763 (name ":SLOT-VALUE-TYPE")
4764 (property_list [KB_938545_Instance_372])
4765 (width 0)
4766 (x 0)
4767 (y 0))
4768
4769 ([KB_938545_Instance_372] of Property_List
4770 )
4771
4772 ([KB_938545_Instance_373] of Property_List
4773
4774 (name "layout properties")
4775 (properties
4776 [KB_938545_Instance_374]
4777 [KB_938545_Instance_375]))
4778
4779 ([KB_938545_Instance_374] of String
4780
4781 (name "horizontal_stretcher")
4782 (string_value "<<all>>"))
4783
4784 ([KB_938545_Instance_375] of String
4785
4786 (name "vertical_stretcher")
4787 (string_value "<<all>>"))
4788
4789 ([KB_938545_Instance_376] of Widget
4790
4791 (height 220)
4792 (is_hidden FALSE)
4793 (label "Domain")
4794 (name ":DIRECT-DOMAIN")
4795 (property_list [KB_938545_Instance_377])
4796 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget")
4797 (width 200)
4798 (x 0)
4799 (y 170))
4800
4801 ([KB_938545_Instance_377] of Property_List
4802
4803 (properties
4804 [KB_938545_Instance_378]
4805 [KB_938545_Instance_379]
4806 [KB_938545_Instance_380]
4807 [KB_938545_Instance_381]
4808 [KB_938545_Instance_382]
4809 [KB_938545_Instance_383]))
4810
4811 ([KB_938545_Instance_378] of Boolean
4812
4813 (boolean_value TRUE)
4814 (name "ButtonDisplayed-View Selected Instances"))
4815
4816 ([KB_938545_Instance_379] of Boolean
4817
4818 (boolean_value TRUE)
4819 (name "ButtonDisplayed-Create Instance"))
4820
4821 ([KB_938545_Instance_380] of Boolean
4822
4823 (boolean_value FALSE)
4824 (name "ButtonDisplayed-References"))
4825
4826 ([KB_938545_Instance_381] of Boolean
4827
4828 (boolean_value TRUE)
4829 (name "ButtonDisplayed-Add"))
4830
4831 ([KB_938545_Instance_382] of Boolean
4832
4833 (boolean_value TRUE)
4834 (name "ButtonDisplayed-Remove"))
4835
4836 ([KB_938545_Instance_383] of Boolean
4837
4838 (boolean_value FALSE)
4839 (name "ButtonDisplayed-Delete Selected Instances"))
4840
4841 ([KB_938545_Instance_384] of Widget
4842
4843 (height 0)
4844 (is_hidden FALSE)
4845 (name ":SLOT-VALUES")
4846 (property_list [KB_938545_Instance_385])
4847 (width 0)
4848 (x 0)
4849 (y 0))
4850
4851 ([KB_938545_Instance_385] of Property_List
4852 )
4853
4854 ([KB_938545_Instance_388] of Widget
4855
4856 (height 0)
4857 (is_hidden FALSE)
4858 (name ":DOCUMENTATION")
4859 (property_list [KB_938545_Instance_389])
4860 (width 0)
4861 (x 0)
4862 (y 0))
4863
4864 ([KB_938545_Instance_389] of Property_List
4865 )
4866
4867 ([KB_938545_Instance_390] of Widget
4868
4869 (height 170)
4870 (is_hidden FALSE)
4871 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
4872 (property_list [KB_938545_Instance_391])
4873 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
4874 (width 300)
4875 (x 300)
4876 (y 0))
4877
4878 ([KB_938545_Instance_391] of Property_List
4879 )
4880
4881 ([KB_938545_Instance_392] of Widget
4882
4883 (height 0)
4884 (is_hidden FALSE)
4885 (name ":SLOT-MAXIMUM-CARDINALITY")
4886 (property_list [KB_938545_Instance_393])
4887 (width 0)
4888 (x 0)
4889 (y 0))
4890
4891 ([KB_938545_Instance_393] of Property_List
4892 )
4893
4894 ([KB_938545_Instance_394] of Widget
4895
4896 (is_hidden FALSE)
4897 (name "http://www.w3.org/2002/07/owl#versionInfo")
4898 (property_list [KB_938545_Instance_395]))
4899
4900 ([KB_938545_Instance_395] of Property_List
4901 )
4902
4903 ([KB_938545_Instance_396] of Widget
4904
4905 (is_hidden FALSE)
4906 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
4907 (property_list [KB_938545_Instance_397]))
4908
4909 ([KB_938545_Instance_397] of Property_List
4910 )
4911
4912 ([KB_938545_Instance_398] of Widget
4913
4914 (is_hidden FALSE)
4915 (name "http://www.w3.org/2000/01/rdf-schema#label")
4916 (property_list [KB_938545_Instance_399]))
4917
4918 ([KB_938545_Instance_399] of Property_List
4919 )
4920
4921 ([KB_938545_Instance_400] of Widget
4922
4923 (is_hidden FALSE)
4924 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
4925 (property_list [KB_938545_Instance_401]))
4926
4927 ([KB_938545_Instance_401] of Property_List
4928 )
4929
4930 ([KB_938545_Instance_402] of Widget
4931
4932 (is_hidden FALSE)
4933 (name "http://www.w3.org/2000/01/rdf-schema#comment")
4934 (property_list [KB_938545_Instance_403]))
4935
4936 ([KB_938545_Instance_403] of Property_List
4937 )
4938
4939 ([KB_938545_Instance_404] of Widget
4940
4941 (height 0)
4942 (is_hidden FALSE)
4943 (name "http://www.w3.org/2000/01/rdf-schema#domain")
4944 (property_list [KB_938545_Instance_405])
4945 (width 0)
4946 (x 0)
4947 (y 0))
4948
4949 ([KB_938545_Instance_405] of Property_List
4950 )
4951
4952 ([KB_938545_Instance_406] of Widget
4953
4954 (height 0)
4955 (is_hidden FALSE)
4956 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
4957 (property_list [KB_938545_Instance_407])
4958 (width 0)
4959 (x 0)
4960 (y 0))
4961
4962 ([KB_938545_Instance_407] of Property_List
4963 )
4964
4965 ([KB_938545_Instance_408] of Widget
4966
4967 (height 220)
4968 (is_hidden FALSE)
4969 (name "http://www.w3.org/2000/01/rdf-schema#range")
4970 (property_list [KB_938545_Instance_409])
4971 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget")
4972 (width 200)
4973 (x 200)
4974 (y 170))
4975
4976 ([KB_938545_Instance_409] of Property_List
4977 )
4978
4979 ([KB_938545_Instance_410] of Widget
4980
4981 (height 0)
4982 (is_hidden FALSE)
4983 (name ":DIRECT-TYPE")
4984 (property_list [KB_938545_Instance_411])
4985 (width 0)
4986 (x 0)
4987 (y 0))
4988
4989 ([KB_938545_Instance_411] of Property_List
4990 )
4991
4992 ([KB_938545_Instance_56] of Property_List
4993
4994 (name "slot widget properties")
4995 (properties
4996 [KB_938545_Instance_57]
4997 [KB_938545_Instance_59]
4998 [KB_938545_Instance_63]
4999 [KB_938545_Instance_64]
5000 [KB_938545_Instance_66]
5001 [KB_938545_Instance_68]
5002 [KB_938545_Instance_70]
5003 [KB_938545_Instance_71]
5004 [KB_938545_Instance_95]
5005 [KB_938545_Instance_97]
5006 [KB_938545_Instance_100]
5007 [KB_938545_Instance_108]
5008 [KB_938545_Instance_112]
5009 [KB_938545_Instance_114]
5010 [KB_938545_Instance_116]
5011 [KB_938545_Instance_118]
5012 [KB_938545_Instance_120]
5013 [KB_938545_Instance_122]
5014 [KB_938545_Instance_124]
5015 [KB_938545_Instance_126]
5016 [KB_938545_Instance_128]
5017 [KB_938545_Instance_130]
5018 [KB_938545_Instance_132]
5019 [KB_938545_Instance_134]
5020 [KB_221055_Instance_10]
5021 [KB_221055_Instance_14]))
5022
5023 ([KB_938545_Instance_57] of Widget
5024
5025 (height 0)
5026 (label "Cardinality")
5027 (name ":SLOT-MINIMUM-CARDINALITY")
5028 (property_list [KB_938545_Instance_58])
5029 (width 0)
5030 (x 0)
5031 (y 0))
5032
5033 ([KB_938545_Instance_58] of Property_List
5034 )
5035
5036 ([KB_938545_Instance_59] of Widget
5037
5038 (name ":SLOT-CONSTRAINTS")
5039 (property_list [KB_933314_Instance_61]))
5040
5041 ([KB_938545_Instance_63] of Widget
5042
5043 (name ":DIRECT-SUBSLOTS"))
5044
5045 ([KB_938545_Instance_64] of Widget
5046
5047 (height 0)
5048 (label "Default")
5049 (name ":SLOT-DEFAULTS")
5050 (property_list [KB_938545_Instance_65])
5051 (width 0)
5052 (x 0)
5053 (y 0))
5054
5055 ([KB_938545_Instance_65] of Property_List
5056 )
5057
5058 ([KB_938545_Instance_66] of Widget
5059
5060 (height 0)
5061 (label "Maximum")
5062 (name ":SLOT-NUMERIC-MAXIMUM")
5063 (property_list [KB_938545_Instance_67])
5064 (width 0)
5065 (x 0)
5066 (y 0))
5067
5068 ([KB_938545_Instance_661] of Widget
5069
5070 (is_hidden FALSE)
5071 (name "http://www.w3.org/2002/07/owl#DeprecatedProperty")
5072 (property_list [KB_938545_Instance_664])
5073 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget"))
5074
5075 ([KB_938545_Instance_664] of Property_List
5076
5077 (name "slot widget properties")
5078 (properties
5079 [KB_938545_Instance_665]
5080 [KB_938545_Instance_667]
5081 [KB_938545_Instance_671]
5082 [KB_938545_Instance_672]
5083 [KB_938545_Instance_674]
5084 [KB_938545_Instance_676]
5085 [KB_938545_Instance_678]
5086 [KB_938545_Instance_679]
5087 [KB_938545_Instance_703]
5088 [KB_938545_Instance_705]
5089 [KB_938545_Instance_708]
5090 [KB_938545_Instance_716]
5091 [KB_938545_Instance_720]
5092 [KB_938545_Instance_722]
5093 [KB_938545_Instance_724]
5094 [KB_938545_Instance_726]
5095 [KB_938545_Instance_728]
5096 [KB_938545_Instance_730]
5097 [KB_938545_Instance_732]
5098 [KB_938545_Instance_734]
5099 [KB_938545_Instance_736]
5100 [KB_938545_Instance_738]
5101 [KB_938545_Instance_740]
5102 [KB_938545_Instance_742]
5103 [KB_221055_Instance_66]
5104 [KB_221055_Instance_70]))
5105
5106 ([KB_938545_Instance_665] of Widget
5107
5108 (height 0)
5109 (label "Cardinality")
5110 (name ":SLOT-MINIMUM-CARDINALITY")
5111 (property_list [KB_938545_Instance_666])
5112 (width 0)
5113 (x 0)
5114 (y 0))
5115
5116 ([KB_938545_Instance_666] of Property_List
5117 )
5118
5119 ([KB_938545_Instance_667] of Widget
5120
5121 (name ":SLOT-CONSTRAINTS"))
5122
5123 ([KB_938545_Instance_67] of Property_List
5124 )
5125
5126 ([KB_938545_Instance_671] of Widget
5127
5128 (name ":DIRECT-SUBSLOTS"))
5129
5130 ([KB_938545_Instance_672] of Widget
5131
5132 (height 0)
5133 (label "Default")
5134 (name ":SLOT-DEFAULTS")
5135 (property_list [KB_938545_Instance_673])
5136 (width 0)
5137 (x 0)
5138 (y 0))
5139
5140 ([KB_938545_Instance_673] of Property_List
5141 )
5142
5143 ([KB_938545_Instance_674] of Widget
5144
5145 (height 0)
5146 (label "Maximum")
5147 (name ":SLOT-NUMERIC-MAXIMUM")
5148 (property_list [KB_938545_Instance_675])
5149 (width 0)
5150 (x 0)
5151 (y 0))
5152
5153 ([KB_938545_Instance_675] of Property_List
5154 )
5155
5156 ([KB_938545_Instance_676] of Widget
5157
5158 (height 0)
5159 (label "Minimum")
5160 (name ":SLOT-NUMERIC-MINIMUM")
5161 (property_list [KB_938545_Instance_677])
5162 (width 0)
5163 (x 0)
5164 (y 0))
5165
5166 ([KB_938545_Instance_677] of Property_List
5167 )
5168
5169 ([KB_938545_Instance_678] of Widget
5170
5171 (name ":ASSOCIATED-FACET"))
5172
5173 ([KB_938545_Instance_679] of Widget
5174
5175 (height 173)
5176 (label "Name")
5177 (name ":NAME")
5178 (property_list [KB_938545_Instance_680])
5179 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.RDFPropertyMetadataWidget")
5180 (width 300)
5181 (x 0)
5182 (y 0))
5183
5184 ([KB_938545_Instance_68] of Widget
5185
5186 (height 0)
5187 (label "Minimum")
5188 (name ":SLOT-NUMERIC-MINIMUM")
5189 (property_list [KB_938545_Instance_69])
5190 (width 0)
5191 (x 0)
5192 (y 0))
5193
5194 ([KB_938545_Instance_680] of Property_List
5195
5196 (properties
5197 [KB_938545_Instance_681]
5198 [KB_938545_Instance_685]
5199 [KB_938545_Instance_689]
5200 [KB_938545_Instance_693]
5201 [KB_938545_Instance_697]))
5202
5203 ([KB_938545_Instance_681] of Widget
5204
5205 (height 137)
5206 (is_hidden FALSE)
5207 (label "Name")
5208 (name ":NAME")
5209 (property_list [KB_938545_Instance_682])
5210 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5211 (width 286)
5212 (x 7)
5213 (y 28))
5214
5215 ([KB_938545_Instance_682] of Property_List
5216
5217 (properties
5218 [KB_938545_Instance_683]
5219 [KB_938545_Instance_684]))
5220
5221 ([KB_938545_Instance_683] of Widget
5222
5223 (height 30)
5224 (is_hidden FALSE)
5225 (label "Name")
5226 (name ":NAME")
5227 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5228 (width 286)
5229 (x 0)
5230 (y 0))
5231
5232 ([KB_938545_Instance_684] of Widget
5233
5234 (height 107)
5235 (is_hidden FALSE)
5236 (label "Comment")
5237 (name "http://www.w3.org/2000/01/rdf-schema#comment")
5238 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5239 (width 286)
5240 (x 0)
5241 (y 30))
5242
5243 ([KB_938545_Instance_685] of Widget
5244
5245 (height 138)
5246 (is_hidden FALSE)
5247 (label "http://www.w3.org/2002/07/owl#equivalentProperty")
5248 (name ":OWL-EQUIVALENT-SLOTS")
5249 (property_list [KB_938545_Instance_686])
5250 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5251 (width 266)
5252 (x 7)
5253 (y 27))
5254
5255 ([KB_938545_Instance_686] of Property_List
5256
5257 (properties
5258 [KB_938545_Instance_687]
5259 [KB_938545_Instance_688]))
5260
5261 ([KB_938545_Instance_687] of Boolean
5262
5263 (boolean_value FALSE)
5264 (name "ButtonDisplayed-View References to Value "))
5265
5266 ([KB_938545_Instance_688] of Boolean
5267
5268 (boolean_value FALSE)
5269 (name "ButtonDisplayed-Delete Instance"))
5270
5271 ([KB_938545_Instance_689] of Widget
5272
5273 (height 137)
5274 (is_hidden FALSE)
5275 (label "http://www.w3.org/2002/07/owl#sameAs")
5276 (name "http://www.w3.org/2002/07/owl#sameAs")
5277 (property_list [KB_938545_Instance_690])
5278 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5279 (width 286)
5280 (x 7)
5281 (y 28))
5282
5283 ([KB_938545_Instance_69] of Property_List
5284 )
5285
5286 ([KB_938545_Instance_690] of Property_List
5287
5288 (properties
5289 [KB_938545_Instance_691]
5290 [KB_938545_Instance_692]))
5291
5292 ([KB_938545_Instance_691] of Boolean
5293
5294 (boolean_value FALSE)
5295 (name "ButtonDisplayed-View References to Value "))
5296
5297 ([KB_938545_Instance_692] of Boolean
5298
5299 (boolean_value FALSE)
5300 (name "ButtonDisplayed-Delete Instance"))
5301
5302 ([KB_938545_Instance_693] of Widget
5303
5304 (height 137)
5305 (is_hidden FALSE)
5306 (label "http://www.w3.org/2002/07/owl#differentFrom")
5307 (name "http://www.w3.org/2002/07/owl#differentFrom")
5308 (property_list [KB_938545_Instance_694])
5309 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5310 (width 286)
5311 (x 7)
5312 (y 28))
5313
5314 ([KB_938545_Instance_694] of Property_List
5315
5316 (properties
5317 [KB_938545_Instance_695]
5318 [KB_938545_Instance_696]))
5319
5320 ([KB_938545_Instance_695] of Boolean
5321
5322 (boolean_value FALSE)
5323 (name "ButtonDisplayed-View References to Value "))
5324
5325 ([KB_938545_Instance_696] of Boolean
5326
5327 (boolean_value FALSE)
5328 (name "ButtonDisplayed-Delete Instance"))
5329
5330 ([KB_938545_Instance_697] of Widget
5331
5332 (height 137)
5333 (is_hidden FALSE)
5334 (label "http://www.w3.org/2002/07/owl#equivalentProperty")
5335 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
5336 (property_list [KB_938545_Instance_698])
5337 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5338 (width 286)
5339 (x 7)
5340 (y 28))
5341
5342 ([KB_938545_Instance_698] of Property_List
5343
5344 (properties
5345 [KB_938545_Instance_699]
5346 [KB_938545_Instance_700]))
5347
5348 ([KB_938545_Instance_699] of Boolean
5349
5350 (boolean_value FALSE)
5351 (name "ButtonDisplayed-View References to Value "))
5352
5353 ([KB_938545_Instance_70] of Widget
5354
5355 (name ":ASSOCIATED-FACET"))
5356
5357 ([KB_938545_Instance_700] of Boolean
5358
5359 (boolean_value FALSE)
5360 (name "ButtonDisplayed-Delete Instance"))
5361
5362 ([KB_938545_Instance_703] of Widget
5363
5364 (height 0)
5365 (label "Range Type")
5366 (name ":SLOT-VALUE-TYPE")
5367 (property_list [KB_938545_Instance_704])
5368 (width 0)
5369 (x 0)
5370 (y 0))
5371
5372 ([KB_938545_Instance_704] of Property_List
5373 )
5374
5375 ([KB_938545_Instance_705] of Property_List
5376
5377 (name "layout properties")
5378 (properties
5379 [KB_938545_Instance_706]
5380 [KB_938545_Instance_707]))
5381
5382 ([KB_938545_Instance_706] of String
5383
5384 (name "horizontal_stretcher")
5385 (string_value "<<all>>"))
5386
5387 ([KB_938545_Instance_707] of String
5388
5389 (name "vertical_stretcher")
5390 (string_value "<<all>>"))
5391
5392 ([KB_938545_Instance_708] of Widget
5393
5394 (height 220)
5395 (is_hidden FALSE)
5396 (label "Domain")
5397 (name ":DIRECT-DOMAIN")
5398 (property_list [KB_938545_Instance_709])
5399 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget")
5400 (width 200)
5401 (x 0)
5402 (y 170))
5403
5404 ([KB_938545_Instance_709] of Property_List
5405
5406 (properties
5407 [KB_938545_Instance_710]
5408 [KB_938545_Instance_711]
5409 [KB_938545_Instance_712]
5410 [KB_938545_Instance_713]
5411 [KB_938545_Instance_714]
5412 [KB_938545_Instance_715]))
5413
5414 ([KB_938545_Instance_71] of Widget
5415
5416 (height 0)
5417 (label "Name")
5418 (name ":NAME")
5419 (property_list [KB_938545_Instance_72])
5420 (width 0)
5421 (x 0)
5422 (y 0))
5423
5424 ([KB_938545_Instance_710] of Boolean
5425
5426 (boolean_value TRUE)
5427 (name "ButtonDisplayed-View Selected Instances"))
5428
5429 ([KB_938545_Instance_711] of Boolean
5430
5431 (boolean_value TRUE)
5432 (name "ButtonDisplayed-Create Instance"))
5433
5434 ([KB_938545_Instance_712] of Boolean
5435
5436 (boolean_value FALSE)
5437 (name "ButtonDisplayed-References"))
5438
5439 ([KB_938545_Instance_713] of Boolean
5440
5441 (boolean_value TRUE)
5442 (name "ButtonDisplayed-Add"))
5443
5444 ([KB_938545_Instance_714] of Boolean
5445
5446 (boolean_value TRUE)
5447 (name "ButtonDisplayed-Remove"))
5448
5449 ([KB_938545_Instance_715] of Boolean
5450
5451 (boolean_value FALSE)
5452 (name "ButtonDisplayed-Delete Selected Instances"))
5453
5454 ([KB_938545_Instance_716] of Widget
5455
5456 (height 0)
5457 (is_hidden FALSE)
5458 (name ":SLOT-VALUES")
5459 (property_list [KB_938545_Instance_717])
5460 (width 0)
5461 (x 0)
5462 (y 0))
5463
5464 ([KB_938545_Instance_717] of Property_List
5465 )
5466
5467 ([KB_938545_Instance_72] of Property_List
5468
5469 (properties [KB_933314_Instance_65]))
5470
5471 ([KB_938545_Instance_720] of Widget
5472
5473 (height 0)
5474 (is_hidden FALSE)
5475 (name ":DOCUMENTATION")
5476 (property_list [KB_938545_Instance_721])
5477 (width 0)
5478 (x 0)
5479 (y 0))
5480
5481 ([KB_938545_Instance_721] of Property_List
5482 )
5483
5484 ([KB_938545_Instance_722] of Widget
5485
5486 (height 170)
5487 (is_hidden FALSE)
5488 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
5489 (property_list [KB_938545_Instance_723])
5490 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
5491 (width 300)
5492 (x 300)
5493 (y 0))
5494
5495 ([KB_938545_Instance_723] of Property_List
5496 )
5497
5498 ([KB_938545_Instance_724] of Widget
5499
5500 (height 0)
5501 (is_hidden FALSE)
5502 (name ":SLOT-MAXIMUM-CARDINALITY")
5503 (property_list [KB_938545_Instance_725])
5504 (width 0)
5505 (x 0)
5506 (y 0))
5507
5508 ([KB_938545_Instance_725] of Property_List
5509 )
5510
5511 ([KB_938545_Instance_726] of Widget
5512
5513 (is_hidden FALSE)
5514 (name "http://www.w3.org/2002/07/owl#versionInfo")
5515 (property_list [KB_938545_Instance_727]))
5516
5517 ([KB_938545_Instance_727] of Property_List
5518 )
5519
5520 ([KB_938545_Instance_728] of Widget
5521
5522 (is_hidden FALSE)
5523 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
5524 (property_list [KB_938545_Instance_729]))
5525
5526 ([KB_938545_Instance_729] of Property_List
5527 )
5528
5529 ([KB_938545_Instance_730] of Widget
5530
5531 (is_hidden FALSE)
5532 (name "http://www.w3.org/2000/01/rdf-schema#label")
5533 (property_list [KB_938545_Instance_731]))
5534
5535 ([KB_938545_Instance_731] of Property_List
5536 )
5537
5538 ([KB_938545_Instance_732] of Widget
5539
5540 (is_hidden FALSE)
5541 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
5542 (property_list [KB_938545_Instance_733]))
5543
5544 ([KB_938545_Instance_733] of Property_List
5545 )
5546
5547 ([KB_938545_Instance_734] of Widget
5548
5549 (is_hidden FALSE)
5550 (name "http://www.w3.org/2000/01/rdf-schema#comment")
5551 (property_list [KB_938545_Instance_735]))
5552
5553 ([KB_938545_Instance_735] of Property_List
5554 )
5555
5556 ([KB_938545_Instance_736] of Widget
5557
5558 (height 0)
5559 (is_hidden FALSE)
5560 (name "http://www.w3.org/2000/01/rdf-schema#domain")
5561 (property_list [KB_938545_Instance_737])
5562 (width 0)
5563 (x 0)
5564 (y 0))
5565
5566 ([KB_938545_Instance_737] of Property_List
5567 )
5568
5569 ([KB_938545_Instance_738] of Widget
5570
5571 (height 0)
5572 (is_hidden FALSE)
5573 (name "http://www.w3.org/2002/07/owl#equivalentProperty")
5574 (property_list [KB_938545_Instance_739])
5575 (width 0)
5576 (x 0)
5577 (y 0))
5578
5579 ([KB_938545_Instance_739] of Property_List
5580 )
5581
5582 ([KB_938545_Instance_740] of Widget
5583
5584 (height 220)
5585 (is_hidden FALSE)
5586 (name "http://www.w3.org/2000/01/rdf-schema#range")
5587 (property_list [KB_938545_Instance_741])
5588 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.range.OWLRangeWidget")
5589 (width 200)
5590 (x 200)
5591 (y 170))
5592
5593 ([KB_938545_Instance_741] of Property_List
5594 )
5595
5596 ([KB_938545_Instance_742] of Widget
5597
5598 (height 0)
5599 (is_hidden FALSE)
5600 (name ":DIRECT-TYPE")
5601 (property_list [KB_938545_Instance_743])
5602 (width 0)
5603 (x 0)
5604 (y 0))
5605
5606 ([KB_938545_Instance_743] of Property_List
5607 )
5608
5609 ([KB_938545_Instance_744] of Widget
5610
5611 (is_hidden FALSE)
5612 (name "http://www.w3.org/2000/01/rdf-schema#comment")
5613 (property_list [KB_938545_Instance_745]))
5614
5615 ([KB_938545_Instance_745] of Property_List
5616 )
5617
5618 ([KB_938545_Instance_8] of Widget
5619
5620 (height 230)
5621 (is_hidden FALSE)
5622 (name "http://www.w3.org/2002/07/owl#imports")
5623 (property_list [KB_938545_Instance_9])
5624 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadatatab.OWLNamespacesWidget")
5625 (width 620)
5626 (x 0)
5627 (y 290))
5628
5629 ([KB_938545_Instance_9] of Property_List
5630 )
5631
5632 ([KB_938545_Instance_95] of Widget
5633
5634 (height 0)
5635 (label "Range Type")
5636 (name ":SLOT-VALUE-TYPE")
5637 (property_list [KB_938545_Instance_96])
5638 (width 0)
5639 (x 0)
5640 (y 0))
5641
5642 ([KB_938545_Instance_96] of Property_List
5643 )
5644
5645 ([KB_938545_Instance_97] of Property_List
5646
5647 (name "layout properties")
5648 (properties
5649 [KB_938545_Instance_98]
5650 [KB_938545_Instance_99]))
5651
5652 ([KB_938545_Instance_98] of String
5653
5654 (name "horizontal_stretcher")
5655 (string_value "<<all>>"))
5656
5657 ([KB_938545_Instance_99] of String
5658
5659 (name "vertical_stretcher")
5660 (string_value "<<all>>"))
5661
5662 ([KB_941921_Instance_10] of Widget
5663
5664 (height 0)
5665 (is_hidden FALSE)
5666 (name "http://www.w3.org/2002/07/owl#equivalentClass")
5667 (property_list [KB_941921_Instance_11])
5668 (width 0)
5669 (x 0)
5670 (y 0))
5671
5672 ([KB_941921_Instance_11] of Property_List
5673 )
5674
5675 ([KB_941921_Instance_14] of Widget
5676
5677 (height 220)
5678 (is_hidden FALSE)
5679 (name "http://www.w3.org/2000/01/rdf-schema#subClassOf")
5680 (property_list [KB_941921_Instance_15])
5681 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.RDFSSubClassOfWidget")
5682 (width 210)
5683 (x 0)
5684 (y 160))
5685
5686 ([KB_941921_Instance_15] of Property_List
5687 )
5688
5689 ([KB_941921_Instance_2] of Widget
5690
5691 (height 0)
5692 (is_hidden FALSE)
5693 (name "http://www.w3.org/2002/07/owl#equivalentClass")
5694 (property_list [KB_941921_Instance_3])
5695 (width 0)
5696 (x 0)
5697 (y 0))
5698
5699 ([KB_941921_Instance_3] of Property_List
5700 )
5701
5702 ([KB_941921_Instance_6] of Widget
5703
5704 (height 0)
5705 (is_hidden FALSE)
5706 (name "http://www.w3.org/2000/01/rdf-schema#subClassOf")
5707 (property_list [KB_941921_Instance_7])
5708 (width 0)
5709 (x 0)
5710 (y 0))
5711
5712 ([KB_941921_Instance_7] of Property_List
5713 )
5714
5715 ([OWL_ProjectKB_Instance_3] of String
5716
5717 (name "owl_build")
5718 (string_value "629"))
5719
5720 ([PAL_FORM_WIDGET] of Widget
5721
5722 (height 476)
5723 (is_hidden FALSE)
5724 (name ":PAL-CONSTRAINT")
5725 (property_list [XY_Instance_922])
5726 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget")
5727 (width 603)
5728 (x 0)
5729 (y 0))
5730
5731 ([PROJECT] of Project
5732
5733 (browser_slot_names [BROWSER_SLOT_NAMES])
5734 (customized_instance_widgets
5735 [KB_713803_Instance_477]
5736 [PAL_FORM_WIDGET]
5737 [KB_691299_Instance_398]
5738 [KB_313796_Instance_852]
5739 [Instance_581]
5740 [KB_713803_Instance_693]
5741 [INSTANCE_ANNOTATION_FORM_WIDGET]
5742 [KB_938545_Instance_166]
5743 [STANDARD_SLOT_FORM_WIDGET]
5744 [KB_313796_Instance_943]
5745 [KB_938545_Instance_661]
5746 [KB_713803_Instance_648]
5747 [KB_301165_Instance_856]
5748 [KB_691299_Instance_537]
5749 [KB_303942_Instance_68]
5750 [KB_465546_Instance_567]
5751 [STANDARD_FACET_FORM_WIDGET]
5752 [KB_713803_Instance_780]
5753 [KB_868747_Instance_76]
5754 [STANDARD_CLASS_FORM_WIDGET]
5755 [KB_713803_Instance_303]
5756 [Instance_1005]
5757 [KB_938545_Instance_329]
5758 [KB_764103_Instance_545]
5759 [KB_301165_Instance_1013]
5760 [Instance_443]
5761 [KB_713803_Instance_390])
5762 (default_cls_metaclass "http://www.w3.org/2002/07/owl#Class")
5763 (default_facet_metaclass ":STANDARD-FACET")
5764 (default_instance_widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.OWLFormWidget")
5765 (default_slot_metaclass "http://www.w3.org/2002/07/owl#ObjectProperty")
5766 (hidden_classes
5767 ":DIRECT-DOMAIN"
5768 "http://www.w3.org/2003/11/swrl#Imp"
5769 "http://protege.stanford.edu/plugins/owl/protege#PAL-RANGE"
5770 "http://www.w3.org/2001/XMLSchema#anySimpleType"
5771 "http://www.w3.org/2001/XMLSchema#NOTATION"
5772 ":MODIFIER"
5773 "http://protege.stanford.edu/plugins/owl/protege#SLOT-CONSTRAINTS"
5774 "http://www.w3.org/2000/01/rdf-schema#Container"
5775 "http://www.w3.org/2001/XMLSchema#integer"
5776 ":SLOT-NUMERIC-MINIMUM"
5777 "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"
5778 "http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement"
5779 ":NUMERIC-MAXIMUM"
5780 "http://www.w3.org/2003/11/swrl#propertyPredicate"
5781 "http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag"
5782 ":ANNOTATION-TEXT"
5783 "http://www.w3.org/2003/11/swrl#arguments"
5784 "http://www.w3.org/2002/07/owl#InverseFunctionalProperty"
5785 ":ANNOTATED-INSTANCE"
5786 "http://www.w3.org/2003/11/swrl#BuiltinAtom"
5787 ":OWL-ONTOLOGY-POINTER-CLASS"
5788 "http://www.w3.org/2002/07/owl#Ontology"
5789 "http://www.w3.org/1999/02/22-rdf-syntax-ns#object"
5790 "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"
5791 ":VALUE-TYPE"
5792 "http://www.w3.org/2002/07/owl#incompatibleWith"
5793 "http://www.w3.org/2002/07/owl#CardinalityRestriction"
5794 "http://www.w3.org/2002/07/owl#inverseOf"
5795 "http://protege.stanford.edu/plugins/owl/protege#inferredType"
5796 "http://www.w3.org/2002/07/owl#cardinality"
5797 "http://www.w3.org/2001/XMLSchema#Name"
5798 ":ANNOTATION"
5799 "http://www.w3.org/2002/07/owl#valuesFrom"
5800 "http://www.w3.org/2003/11/swrl#body"
5801 ":STANDARD-SLOT"
5802 ":OWL-ANONYMOUS-ROOT"
5803 ":MAXIMUM-CARDINALITY"
5804 "http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt"
5805 "http://www.w3.org/2001/XMLSchema#NMTOKEN"
5806 "http://www.w3.org/2002/07/owl#UnionClass"
5807 "http://www.w3.org/2002/07/owl#sameAs"
5808 ":DIRECT-TYPE"
5809 ":NAME"
5810 "http://www.w3.org/2002/07/owl#equivalentClass"
5811 "http://www.w3.org/2002/07/owl#FunctionalProperty"
5812 "http://protege.stanford.edu/plugins/owl/protege#inferredSubclassOf"
5813 "http://www.w3.org/2003/11/swrl#SameIndividualAtom"
5814 ":PAL-DESCRIPTION"
5815 "http://www.w3.org/2002/07/owl#MinCardinalityRestriction"
5816 "http://www.w3.org/2002/07/owl#AnonymousClass"
5817 "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
5818 ":CLASS"
5819 "http://www.w3.org/2002/07/owl#complementOf"
5820 ":ROLE"
5821 "http://www.w3.org/2002/07/owl#TransitiveProperty"
5822 "http://www.w3.org/2002/07/owl#IntersectionClass"
5823 ":DOCUMENTATION-IN-FRAME"
5824 "http://www.w3.org/2000/01/rdf-schema#range"
5825 "http://www.w3.org/2001/XMLSchema#gYearMonth"
5826 "http://www.w3.org/2002/07/owl#ComplementClass"
5827 ":CREATOR"
5828 ":ASSOCIATED-FACET"
5829 ":DOCUMENTATION"
5830 ":DIRECT-SUPERCLASSES"
5831 ":CREATION-TIMESTAMP"
5832 ":META-CLASS"
5833 "http://www.w3.org/2000/01/rdf-schema#Class"
5834 "http://www.w3.org/2000/01/rdf-schema#domain"
5835 ":DIRECT-SUBSLOTS"
5836 ":MODIFICATION-TIMESTAMP"
5837 "http://www.w3.org/2001/XMLSchema#gYear"
5838 "http://www.w3.org/2001/XMLSchema#gMonthDay"
5839 "http://www.w3.org/2001/XMLSchema#normalizedString"
5840 "http://www.w3.org/1999/02/22-rdf-syntax-ns#value"
5841 "http://protege.stanford.edu/plugins/owl/protege#FROM"
5842 "http://www.w3.org/2001/XMLSchema#nonPositiveInteger"
5843 "http://www.w3.org/2002/07/owl#someValuesFrom"
5844 "http://protege.stanford.edu/plugins/owl/protege#classificationStatus"
5845 "http://protege.stanford.edu/plugins/owl/protege#inferredSuperclassOf"
5846 "http://www.w3.org/1999/02/22-rdf-syntax-ns#List"
5847 "http://www.w3.org/2000/01/rdf-schema#subPropertyOf"
5848 "http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom"
5849 "http://www.w3.org/2003/11/swrl#dataRange"
5850 "http://www.w3.org/2002/07/owl#AllDifferent"
5851 "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"
5852 "http://www.w3.org/2003/11/swrl#Variable"
5853 ":DIRECT-INSTANCES"
5854 "http://protege.stanford.edu/plugins/owl/protege#DIRECTED-BINARY-RELATION"
5855 "http://www.w3.org/2002/07/owl#unionOf"
5856 ":SLOT"
5857 "http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate"
5858 "http://www.w3.org/2002/07/owl#minCardinality"
5859 "http://www.w3.org/2002/07/owl#allValuesFrom"
5860 ":INVERSE"
5861 "http://www.w3.org/2002/07/owl#priorVersion"
5862 "http://www.w3.org/2003/11/swrl#DataRangeAtom"
5863 "http://www.w3.org/2001/XMLSchema#token"
5864 "http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"
5865 ":DIRECT-TEMPLATE-SLOTS"
5866 "http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral"
5867 "http://www.w3.org/2002/07/owl#DataRange"
5868 "http://www.w3.org/1999/02/22-rdf-syntax-ns#type"
5869 "http://www.w3.org/2002/07/owl#onProperty"
5870 "http://protege.stanford.edu/plugins/owl/protege#ExternalProperty"
5871 "http://protege.stanford.edu/plugins/owl/protege#PAL-STATEMENT"
5872 "http://protege.stanford.edu/plugins/owl/protege#PAL-CONSTRAINT"
5873 "http://www.w3.org/2003/11/swrl#ClassAtom"
5874 "http://www.w3.org/2001/XMLSchema#IDREF"
5875 "http://www.w3.org/2002/07/owl#SymmetricProperty"
5876 "http://www.w3.org/2002/07/owl#differentFrom"
5877 "http://protege.stanford.edu/plugins/owl/protege#PAL-NAME"
5878 "http://www.w3.org/2001/XMLSchema#gMonth"
5879 "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"
5880 ":OWL-CLASS"
5881 "http://www.w3.org/2001/XMLSchema#unsignedShort"
5882 "http://www.w3.org/2001/XMLSchema#unsignedInt"
5883 ":STANDARD-FACET"
5884 ":STANDARD-CLASS"
5885 "http://www.w3.org/2002/07/owl#Restriction"
5886 "http://www.w3.org/2002/07/owl#MaxCardinalityRestriction"
5887 "http://www.w3.org/2002/07/owl#Class"
5888 "http://www.w3.org/2001/XMLSchema#NCName"
5889 "http://www.w3.org/2001/XMLSchema#ID"
5890 "http://www.w3.org/2002/07/owl#imports"
5891 "http://www.w3.org/2000/01/rdf-schema#member"
5892 "http://www.w3.org/2002/07/owl#LogicalClass"
5893 "http://www.w3.org/2003/11/swrl#Builtin"
5894 "http://www.w3.org/2001/XMLSchema#negativeInteger"
5895 "http://www.w3.org/2003/11/swrl#head"
5896 "http://www.w3.org/2003/11/swrl#builtin"
5897 "http://www.w3.org/2001/XMLSchema#decimal"
5898 "http://www.w3.org/2003/11/swrl#AtomList"
5899 "http://www.w3.org/2002/07/owl#equivalentProperty"
5900 "http://www.w3.org/2003/11/swrl#classPredicate"
5901 "http://www.w3.org/2001/XMLSchema#long"
5902 "http://www.w3.org/2002/07/owl#SomeValuesFromRestriction"
5903 ":SLOT-VALUE-TYPE"
5904 "http://www.w3.org/2002/07/owl#HasValueRestriction"
5905 "http://www.w3.org/2001/XMLSchema#duration"
5906 "http://www.w3.org/2001/XMLSchema#positiveInteger"
5907 "http://www.w3.org/2002/07/owl#oneOf"
5908 ":VALUES"
5909 ":ASSOCIATED-SLOT"
5910 "http://www.w3.org/2001/XMLSchema#language"
5911 "http://www.w3.org/1999/02/22-rdf-syntax-ns#first"
5912 "http://www.w3.org/2002/07/owl#versionInfo"
5913 "http://www.w3.org/2001/XMLSchema#short"
5914 "http://www.w3.org/2002/07/owl#maxCardinality"
5915 "http://protege.stanford.edu/plugins/owl/protege#PAL-DESCRIPTION"
5916 "http://www.w3.org/2002/07/owl#AllValuesFromRestriction"
5917 "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject"
5918 "http://www.w3.org/2001/XMLSchema#hexBinary"
5919 "http://www.w3.org/2002/07/owl#DeprecatedClass"
5920 "http://www.w3.org/2002/07/owl#DatatypeProperty"
5921 "http://www.w3.org/2001/XMLSchema#double"
5922 "http://www.w3.org/2001/XMLSchema#unsignedByte"
5923 "http://www.w3.org/2002/07/owl#distinctMembers"
5924 ":SLOT-NUMERIC-MAXIMUM"
5925 ":INSTANCE-ANNOTATION"
5926 ":SLOT-MINIMUM-CARDINALITY"
5927 "http://www.w3.org/2002/07/owl#AnnotationProperty"
5928 ":DIRECT-SUBCLASSES"
5929 "http://www.w3.org/2002/07/owl#DeprecatedProperty"
5930 "http://www.w3.org/2002/07/owl#ObjectProperty"
5931 "http://www.w3.org/2001/XMLSchema#ENTITY"
5932 "http://www.w3.org/2001/XMLSchema#byte"
5933 "http://www.w3.org/2001/XMLSchema#float"
5934 ":NUMERIC-MINIMUM"
5935 "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest"
5936 "http://protege.stanford.edu/plugins/owl/protege#TO"
5937 "http://www.w3.org/2002/07/owl#backwardCompatibleWith"
5938 ":RELATION"
5939 "http://www.w3.org/2000/01/rdf-schema#Datatype"
5940 "http://www.w3.org/2001/XMLSchema#QName"
5941 "http://www.w3.org/2003/11/swrl#Atom"
5942 "http://www.w3.org/2002/07/owl#EnumeratedClass"
5943 "http://www.w3.org/2002/07/owl#disjointWith"
5944 "http://www.w3.org/2001/XMLSchema#unsignedLong"
5945 ":MINIMUM-CARDINALITY"
5946 ":TO"
5947 ":SLOT-DEFAULTS"
5948 ":SYSTEM-CLASS"
5949 ":SLOT-MAXIMUM-CARDINALITY"
5950 ":DEFAULTS"
5951 "http://www.w3.org/2001/XMLSchema#gDay"
5952 "http://www.w3.org/2003/11/swrl#argument2"
5953 "http://www.w3.org/2003/11/swrl#argument1"
5954 ":FACET"
5955 "http://www.w3.org/2002/07/owl#intersectionOf"
5956 ":SLOT-VALUES"
5957 "http://www.w3.org/2002/07/owl#Nothing"
5958 "http://www.w3.org/2002/07/owl#hasValue")
5959 (journaling_enabled FALSE)
5960 (next_frame_number 0)
5961 (options [Instance_48])
5962 (property_map [KB_325529_Class0])
5963 (sources [SOURCES])
5964 (tabs
5965 [Instance_2534]
5966 [Instance_86]
5967 [Instance_2600]
5968 [FORMS_TAB]
5969 [Instance_3234]
5970 [Instance_43]
5971 [CLSES_TAB]
5972 [KB_865583_Instance_6]
5973 [INSTANCES_TAB]
5974 [Instance_45]
5975 [KB_865583_Instance_12]
5976 [KB_865583_Instance_8]
5977 [KB_865583_Instance_4]
5978 [SLOTS_TAB]
5979 [KB_865583_Instance_10]))
5980
5981 ([SLOTS_TAB] of Widget
5982
5983 (is_hidden TRUE)
5984 (label "Slots")
5985 (property_list [Instance_65])
5986 (widget_class_name "edu.stanford.smi.protege.widget.SlotsTab"))
5987
5988 ([SOURCES] of Property_List
5989
5990 (properties
5991 [Instance_42]
5992 [Instance_2469]
5993 [Instance_2470]
5994 [KB_307200_Instance_22]
5995 [KB_307200_Instance_23]
5996 [OWL_ProjectKB_Instance_3]
5997 [KB_444675_Instance_0]
5998 [KB_632156_Instance_0]
5999 [KB_325529_Class4]
6000 [empty.owl_ProjectKB_Class5]
6001 [empty.owl_ProjectKB_Class6]))
6002
6003 ([STANDARD_CLASS_FORM_WIDGET] of Widget
6004
6005 (name ":STANDARD-CLASS")
6006 (property_list [XY_Instance_1063])
6007 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget"))
6008
6009 ([STANDARD_FACET_FORM_WIDGET] of Widget
6010
6011 (name ":STANDARD-FACET")
6012 (property_list [XY_Instance_587])
6013 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget"))
6014
6015 ([STANDARD_SLOT_FORM_WIDGET] of Widget
6016
6017 (name ":STANDARD-SLOT")
6018 (property_list [XY_Instance_725])
6019 (widget_class_name "edu.stanford.smi.protege.widget.FormWidget"))
6020
6021 ([XY_Instance_0] of Property_List
6022
6023 (properties
6024 [XY_Instance_1]
6025 [XY_Instance_2]
6026 [XY_Instance_3]
6027 [XY_Instance_4]))
6028
6029 ([XY_Instance_1] of Widget
6030
6031 (name ":ANNOTATED-INSTANCE"))
6032
6033 ([XY_Instance_1001] of Widget
6034
6035 (is_hidden FALSE)
6036 (name "http://www.w3.org/2002/07/owl#versionInfo")
6037 (property_list [XY_Instance_1002]))
6038
6039 ([XY_Instance_1002] of Property_List
6040 )
6041
6042 ([XY_Instance_1003] of Widget
6043
6044 (is_hidden FALSE)
6045 (name "http://www.w3.org/2000/01/rdf-schema#label")
6046 (property_list [XY_Instance_1004]))
6047
6048 ([XY_Instance_1004] of Property_List
6049 )
6050
6051 ([XY_Instance_1005] of Widget
6052
6053 (is_hidden FALSE)
6054 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
6055 (property_list [XY_Instance_1006]))
6056
6057 ([XY_Instance_1006] of Property_List
6058 )
6059
6060 ([XY_Instance_1015] of Widget
6061
6062 (height 0)
6063 (is_hidden FALSE)
6064 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
6065 (property_list [XY_Instance_1016])
6066 (width 0)
6067 (x 0)
6068 (y 0))
6069
6070 ([XY_Instance_1016] of Property_List
6071 )
6072
6073 ([XY_Instance_104] of Property_List
6074
6075 (name "layout properties")
6076 (properties
6077 [XY_Instance_105]
6078 [XY_Instance_106]))
6079
6080 ([XY_Instance_105] of String
6081
6082 (name "horizontal_stretcher")
6083 (string_value "<<all>>"))
6084
6085 ([XY_Instance_106] of String
6086
6087 (name "vertical_stretcher")
6088 (string_value "<<all>>"))
6089
6090 ([XY_Instance_1063] of Property_List
6091
6092 (name "class widget properties")
6093 (properties
6094 [XY_Instance_1064]
6095 [XY_Instance_1066]
6096 [XY_Instance_1067]
6097 [XY_Instance_1068]
6098 [XY_Instance_1069]
6099 [XY_Instance_1071]
6100 [XY_Instance_1072]
6101 [XY_Instance_1073]
6102 [XY_Instance_1074]
6103 [XY_Instance_1088]
6104 [XY_Instance_1092]
6105 [XY_Instance_1096]
6106 [XY_Instance_1098]
6107 [XY_Instance_1100]
6108 [KB_938545_Instance_1206]
6109 [KB_938545_Instance_1208]))
6110
6111 ([XY_Instance_1064] of Widget
6112
6113 (height 0)
6114 (label "Constraints")
6115 (name ":SLOT-CONSTRAINTS")
6116 (property_list [XY_Instance_1065])
6117 (width 0)
6118 (x 0)
6119 (y 0))
6120
6121 ([XY_Instance_1065] of Property_List
6122 )
6123
6124 ([XY_Instance_1066] of Widget
6125
6126 (name ":DIRECT-INSTANCES"))
6127
6128 ([XY_Instance_1067] of Widget
6129
6130 (name ":DIRECT-SUBCLASSES"))
6131
6132 ([XY_Instance_1068] of Widget
6133
6134 (name ":DIRECT-SUPERCLASSES"))
6135
6136 ([XY_Instance_1069] of Widget
6137
6138 (height 120)
6139 (label "Documentation")
6140 (name ":DOCUMENTATION")
6141 (property_list [XY_Instance_1070])
6142 (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")
6143 (width 400)
6144 (x 200)
6145 (y 0))
6146
6147 ([XY_Instance_1070] of Property_List
6148 )
6149
6150 ([XY_Instance_1071] of Widget
6151
6152 (height 60)
6153 (label "Name")
6154 (name ":NAME")
6155 (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")
6156 (width 200)
6157 (x 0)
6158 (y 0))
6159
6160 ([XY_Instance_1072] of Widget
6161
6162 (height 60)
6163 (label "Role")
6164 (name ":ROLE")
6165 (widget_class_name "edu.stanford.smi.protege.widget.RoleWidget")
6166 (width 200)
6167 (x 0)
6168 (y 60))
6169
6170 ([XY_Instance_1073] of Widget
6171
6172 (name ":DIRECT-TYPE"))
6173
6174 ([XY_Instance_1074] of Widget
6175
6176 (height 150)
6177 (label "Template Slots")
6178 (name ":DIRECT-TEMPLATE-SLOTS")
6179 (property_list [XY_Instance_1075])
6180 (widget_class_name "edu.stanford.smi.protege.widget.TemplateSlotsWidget")
6181 (width 600)
6182 (x 0)
6183 (y 120))
6184
6185 ([XY_Instance_1075] of Property_List
6186
6187 (properties
6188 [XY_Instance_1076]
6189 [XY_Instance_1077]
6190 [XY_Instance_1078]
6191 [XY_Instance_1079]
6192 [XY_Instance_1080]
6193 [XY_Instance_1081]
6194 [XY_Instance_1082]
6195 [XY_Instance_1083]
6196 [XY_Instance_1084]
6197 [XY_Instance_1085]
6198 [XY_Instance_1086]
6199 [XY_Instance_1087]))
6200
6201 ([XY_Instance_1076] of Boolean
6202
6203 (boolean_value TRUE)
6204 (name "ButtonDisplayed-View selected properties"))
6205
6206 ([XY_Instance_1077] of Boolean
6207
6208 (boolean_value TRUE)
6209 (name "ButtonDisplayed-View selected properties at class"))
6210
6211 ([XY_Instance_1078] of Boolean
6212
6213 (boolean_value TRUE)
6214 (name "ButtonDisplayed-Create property and attach to class"))
6215
6216 ([XY_Instance_1079] of Boolean
6217
6218 (boolean_value TRUE)
6219 (name "ButtonDisplayed-Remove overrides from selected properties"))
6220
6221 ([XY_Instance_1080] of Boolean
6222
6223 (boolean_value TRUE)
6224 (name "ButtonDisplayed-Add"))
6225
6226 ([XY_Instance_1081] of Boolean
6227
6228 (boolean_value TRUE)
6229 (name "ButtonDisplayed-Remove"))
6230
6231 ([XY_Instance_1082] of Boolean
6232
6233 (boolean_value FALSE)
6234 (name "ButtonDisplayed-Move up"))
6235
6236 ([XY_Instance_1083] of Boolean
6237
6238 (boolean_value FALSE)
6239 (name "ButtonDisplayed-Move down"))
6240
6241 ([XY_Instance_1084] of Boolean
6242
6243 (boolean_value TRUE)
6244 (name "ButtonDisplayed-View selected slots"))
6245
6246 ([XY_Instance_1085] of Boolean
6247
6248 (boolean_value TRUE)
6249 (name "ButtonDisplayed-View selected slots at class"))
6250
6251 ([XY_Instance_1086] of Boolean
6252
6253 (boolean_value TRUE)
6254 (name "ButtonDisplayed-Create slot and attach to class"))
6255
6256 ([XY_Instance_1087] of Boolean
6257
6258 (boolean_value TRUE)
6259 (name "ButtonDisplayed-Remove overrides from selected slots"))
6260
6261 ([XY_Instance_1088] of Property_List
6262
6263 (name "layout properties")
6264 (properties [XY_Instance_1089]))
6265
6266 ([XY_Instance_1089] of String
6267
6268 (name "vertical_stretcher")
6269 (string_value ":DIRECT-TEMPLATE-SLOTS"))
6270
6271 ([XY_Instance_1092] of Widget
6272
6273 (height 0)
6274 (is_hidden FALSE)
6275 (name "http://www.w3.org/2000/01/rdf-schema#label")
6276 (property_list [XY_Instance_1093])
6277 (width 0)
6278 (x 0)
6279 (y 0))
6280
6281 ([XY_Instance_1093] of Property_List
6282 )
6283
6284 ([XY_Instance_1096] of Widget
6285
6286 (height 0)
6287 (is_hidden FALSE)
6288 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
6289 (property_list [XY_Instance_1097])
6290 (width 0)
6291 (x 0)
6292 (y 0))
6293
6294 ([XY_Instance_1097] of Property_List
6295 )
6296
6297 ([XY_Instance_1098] of Widget
6298
6299 (height 0)
6300 (is_hidden FALSE)
6301 (name "http://www.w3.org/2002/07/owl#versionInfo")
6302 (property_list [XY_Instance_1099])
6303 (width 0)
6304 (x 0)
6305 (y 0))
6306
6307 ([XY_Instance_1099] of Property_List
6308 )
6309
6310 ([XY_Instance_1100] of Widget
6311
6312 (height 0)
6313 (is_hidden FALSE)
6314 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
6315 (property_list [XY_Instance_1101])
6316 (width 0)
6317 (x 0)
6318 (y 0))
6319
6320 ([XY_Instance_1101] of Property_List
6321 )
6322
6323 ([XY_Instance_117] of Widget
6324
6325 (height 0)
6326 (is_hidden FALSE)
6327 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
6328 (property_list [XY_Instance_118])
6329 (width 0)
6330 (x 0)
6331 (y 0))
6332
6333 ([XY_Instance_118] of Property_List
6334 )
6335
6336 ([XY_Instance_195] of Property_List
6337
6338 (properties
6339 [XY_Instance_200]
6340 [XY_Instance_210]
6341 [XY_Instance_235]
6342 [KB_635552_Instance_10]
6343 [KB_635552_Instance_12]
6344 [KB_635552_Instance_14]
6345 [KB_635552_Instance_16]
6346 [KB_635552_Instance_18]
6347 [KB_635552_Instance_20]
6348 [KB_635552_Instance_22]
6349 [KB_635552_Instance_24]
6350 [KB_938545_Instance_8]))
6351
6352 ([XY_Instance_2] of Widget
6353
6354 (name ":CREATOR"))
6355
6356 ([XY_Instance_200] of Widget
6357
6358 (height 57)
6359 (is_hidden FALSE)
6360 (label "Name")
6361 (name ":NAME")
6362 (property_list [XY_Instance_201])
6363 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadatatab.OntologyURIWidget")
6364 (width 620)
6365 (x 0)
6366 (y 0))
6367
6368 ([XY_Instance_201] of Property_List
6369 )
6370
6371 ([XY_Instance_210] of Property_List
6372
6373 (name "layout properties")
6374 (properties
6375 [XY_Instance_211]
6376 [XY_Instance_212]))
6377
6378 ([XY_Instance_211] of String
6379
6380 (name "horizontal_stretcher")
6381 (string_value "<<all>>"))
6382
6383 ([XY_Instance_212] of String
6384
6385 (name "vertical_stretcher")
6386 (string_value "http://www.w3.org/2002/07/owl#imports"))
6387
6388 ([XY_Instance_235] of Widget
6389
6390 (height 230)
6391 (is_hidden FALSE)
6392 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
6393 (property_list [XY_Instance_236])
6394 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget")
6395 (width 620)
6396 (x 0)
6397 (y 60))
6398
6399 ([XY_Instance_236] of Property_List
6400
6401 (properties [KB_632156_Instance_4]))
6402
6403 ([XY_Instance_3] of Widget
6404
6405 (name ":CREATION-TIMESTAMP"))
6406
6407 ([XY_Instance_4] of Widget
6408
6409 (height 100)
6410 (is_hidden FALSE)
6411 (name ":ANNOTATION-TEXT")
6412 (widget_class_name "edu.stanford.smi.protege.widget.YellowStickyWidget")
6413 (width 200)
6414 (x 0)
6415 (y 0))
6416
6417 ([XY_Instance_409] of Property_List
6418
6419 (name "class widget properties")
6420 (properties
6421 [XY_Instance_410]
6422 [XY_Instance_412]
6423 [XY_Instance_413]
6424 [XY_Instance_422]
6425 [XY_Instance_424]
6426 [XY_Instance_426]
6427 [XY_Instance_427]
6428 [XY_Instance_429]
6429 [XY_Instance_440]
6430 [XY_Instance_460]
6431 [KB_140180_Instance_283]
6432 [KB_140180_Instance_285]
6433 [KB_140180_Instance_287]
6434 [KB_140180_Instance_289]
6435 [KB_140180_Instance_291]
6436 [KB_941921_Instance_10]
6437 [KB_941921_Instance_14]
6438 [KB_024013_Instance_4]))
6439
6440 ([XY_Instance_410] of Widget
6441
6442 (height 0)
6443 (label "Constraints")
6444 (name ":SLOT-CONSTRAINTS")
6445 (property_list [XY_Instance_411])
6446 (width 0)
6447 (x 0)
6448 (y 0))
6449
6450 ([XY_Instance_411] of Property_List
6451 )
6452
6453 ([XY_Instance_412] of Widget
6454
6455 (name ":DIRECT-INSTANCES"))
6456
6457 ([XY_Instance_413] of Widget
6458
6459 (name ":DIRECT-SUBCLASSES"))
6460
6461 ([XY_Instance_422] of Widget
6462
6463 (height 0)
6464 (label "Name")
6465 (name ":NAME")
6466 (property_list [XY_Instance_423])
6467 (width 0)
6468 (x 0)
6469 (y 0))
6470
6471 ([XY_Instance_423] of Property_List
6472
6473 (properties [KB_933314_Instance_13]))
6474
6475 ([XY_Instance_424] of Widget
6476
6477 (height 0)
6478 (label "Role")
6479 (name ":ROLE")
6480 (property_list [XY_Instance_425])
6481 (width 0)
6482 (x 0)
6483 (y 0))
6484
6485 ([XY_Instance_425] of Property_List
6486 )
6487
6488 ([XY_Instance_426] of Widget
6489
6490 (height 0)
6491 (name ":DIRECT-TYPE")
6492 (property_list [KB_886778_Instance_12])
6493 (width 0)
6494 (x 0)
6495 (y 0))
6496
6497 ([XY_Instance_427] of Widget
6498
6499 (height 220)
6500 (label "OWL Properties")
6501 (name ":DIRECT-TEMPLATE-SLOTS")
6502 (property_list [XY_Instance_428])
6503 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.RDFPropertiesWidget")
6504 (width 350)
6505 (x 210)
6506 (y 160))
6507
6508 ([XY_Instance_428] of Property_List
6509 )
6510
6511 ([XY_Instance_429] of Property_List
6512
6513 (name "layout properties")
6514 (properties
6515 [XY_Instance_430]
6516 [XY_Instance_431]))
6517
6518 ([XY_Instance_430] of String
6519
6520 (name "vertical_stretcher")
6521 (string_value "<<all>>"))
6522
6523 ([XY_Instance_431] of String
6524
6525 (name "horizontal_stretcher")
6526 (string_value "<<all>>"))
6527
6528 ([XY_Instance_440] of Widget
6529
6530 (height 0)
6531 (is_hidden FALSE)
6532 (name ":DOCUMENTATION")
6533 (property_list [XY_Instance_441])
6534 (width 0)
6535 (x 0)
6536 (y 0))
6537
6538 ([XY_Instance_441] of Property_List
6539 )
6540
6541 ([XY_Instance_460] of Widget
6542
6543 (height 160)
6544 (is_hidden FALSE)
6545 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
6546 (property_list [XY_Instance_461])
6547 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget")
6548 (width 560)
6549 (x 0)
6550 (y 0))
6551
6552 ([XY_Instance_461] of Property_List
6553
6554 (properties [KB_933314_Instance_14]))
6555
6556 ([XY_Instance_462] of Property_List
6557
6558 (name "slot widget properties")
6559 (properties
6560 [XY_Instance_463]
6561 [XY_Instance_467]
6562 [XY_Instance_468]
6563 [XY_Instance_470]
6564 [XY_Instance_471]
6565 [XY_Instance_473]
6566 [XY_Instance_475]
6567 [XY_Instance_477]
6568 [XY_Instance_478]
6569 [XY_Instance_482]
6570 [XY_Instance_483]
6571 [XY_Instance_486]
6572 [XY_Instance_520]
6573 [XY_Instance_526]
6574 [XY_Instance_538]
6575 [KB_938545_Instance_140]
6576 [KB_938545_Instance_142]
6577 [KB_938545_Instance_144]
6578 [KB_938545_Instance_148]
6579 [KB_938545_Instance_152]
6580 [KB_938545_Instance_156]
6581 [KB_938545_Instance_158]
6582 [KB_938545_Instance_160]
6583 [KB_938545_Instance_162]
6584 [KB_221055_Instance_18]
6585 [KB_221055_Instance_22]))
6586
6587 ([XY_Instance_463] of Widget
6588
6589 (height 0)
6590 (label "Cardinality")
6591 (name ":SLOT-MINIMUM-CARDINALITY")
6592 (property_list [XY_Instance_464])
6593 (width 0)
6594 (x 0)
6595 (y 0))
6596
6597 ([XY_Instance_464] of Property_List
6598 )
6599
6600 ([XY_Instance_467] of Widget
6601
6602 (name ":SLOT-CONSTRAINTS")
6603 (property_list [KB_933314_Instance_62]))
6604
6605 ([XY_Instance_468] of Widget
6606
6607 (height 110)
6608 (name ":DIRECT-TYPE")
6609 (property_list [KB_938545_Instance_165])
6610 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.types.OWLObjectPropertyTypesWidget")
6611 (width 200)
6612 (x 400)
6613 (y 190))
6614
6615 ([XY_Instance_470] of Widget
6616
6617 (name ":DIRECT-SUBSLOTS"))
6618
6619 ([XY_Instance_471] of Widget
6620
6621 (height 0)
6622 (label "Default")
6623 (name ":SLOT-DEFAULTS")
6624 (property_list [XY_Instance_472])
6625 (width 0)
6626 (x 0)
6627 (y 0))
6628
6629 ([XY_Instance_472] of Property_List
6630 )
6631
6632 ([XY_Instance_473] of Widget
6633
6634 (height 0)
6635 (label "Maximum")
6636 (name ":SLOT-NUMERIC-MAXIMUM")
6637 (property_list [XY_Instance_474])
6638 (width 0)
6639 (x 0)
6640 (y 0))
6641
6642 ([XY_Instance_474] of Property_List
6643 )
6644
6645 ([XY_Instance_475] of Widget
6646
6647 (height 0)
6648 (label "Minimum")
6649 (name ":SLOT-NUMERIC-MINIMUM")
6650 (property_list [XY_Instance_476])
6651 (width 0)
6652 (x 0)
6653 (y 0))
6654
6655 ([XY_Instance_476] of Property_List
6656 )
6657
6658 ([XY_Instance_477] of Widget
6659
6660 (name ":ASSOCIATED-FACET"))
6661
6662 ([XY_Instance_478] of Widget
6663
6664 (height 0)
6665 (label "Name")
6666 (name ":NAME")
6667 (property_list [XY_Instance_479])
6668 (width 0)
6669 (x 0)
6670 (y 0))
6671
6672 ([XY_Instance_479] of Property_List
6673
6674 (properties [KB_933314_Instance_64]))
6675
6676 ([XY_Instance_482] of Widget
6677
6678 (height 0)
6679 (label "Range Type")
6680 (name ":SLOT-VALUE-TYPE")
6681 (property_list [KB_938545_Instance_164])
6682 (width 0)
6683 (x 0)
6684 (y 0))
6685
6686 ([XY_Instance_483] of Property_List
6687
6688 (name "layout properties")
6689 (properties
6690 [XY_Instance_484]
6691 [XY_Instance_485]))
6692
6693 ([XY_Instance_484] of String
6694
6695 (name "horizontal_stretcher")
6696 (string_value "<<all>>"))
6697
6698 ([XY_Instance_485] of String
6699
6700 (name "vertical_stretcher")
6701 (string_value "<<all>>"))
6702
6703 ([XY_Instance_486] of Widget
6704
6705 (height 220)
6706 (is_hidden FALSE)
6707 (label "Domain")
6708 (name ":DIRECT-DOMAIN")
6709 (property_list [XY_Instance_487])
6710 (widget_class_name "edu.stanford.smi.protegex.owl.ui.properties.domain.OWLDomainWidget")
6711 (width 200)
6712 (x 0)
6713 (y 170))
6714
6715 ([XY_Instance_487] of Property_List
6716
6717 (properties
6718 [XY_Instance_488]
6719 [XY_Instance_489]
6720 [XY_Instance_490]
6721 [XY_Instance_491]
6722 [XY_Instance_492]
6723 [XY_Instance_493]))
6724
6725 ([XY_Instance_488] of Boolean
6726
6727 (boolean_value TRUE)
6728 (name "ButtonDisplayed-View Selected Instances"))
6729
6730 ([XY_Instance_489] of Boolean
6731
6732 (boolean_value TRUE)
6733 (name "ButtonDisplayed-Create Instance"))
6734
6735 ([XY_Instance_490] of Boolean
6736
6737 (boolean_value FALSE)
6738 (name "ButtonDisplayed-References"))
6739
6740 ([XY_Instance_491] of Boolean
6741
6742 (boolean_value TRUE)
6743 (name "ButtonDisplayed-Add"))
6744
6745 ([XY_Instance_492] of Boolean
6746
6747 (boolean_value TRUE)
6748 (name "ButtonDisplayed-Remove"))
6749
6750 ([XY_Instance_493] of Boolean
6751
6752 (boolean_value FALSE)
6753 (name "ButtonDisplayed-Delete Selected Instances"))
6754
6755 ([XY_Instance_520] of Widget
6756
6757 (height 0)
6758 (is_hidden FALSE)
6759 (name ":SLOT-VALUES")
6760 (property_list [XY_Instance_521])
6761 (width 0)
6762 (x 0)
6763 (y 0))
6764
6765 ([XY_Instance_521] of Property_List
6766 )
6767
6768 ([XY_Instance_526] of Widget
6769
6770 (height 0)
6771 (is_hidden FALSE)
6772 (name ":DOCUMENTATION")
6773 (property_list [XY_Instance_527])
6774 (width 0)
6775 (x 0)
6776 (y 0))
6777
6778 ([XY_Instance_527] of Property_List
6779 )
6780
6781 ([XY_Instance_538] of Widget
6782
6783 (height 170)
6784 (is_hidden FALSE)
6785 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
6786 (property_list [XY_Instance_539])
6787 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget")
6788 (width 600)
6789 (x 0)
6790 (y 0))
6791
6792 ([XY_Instance_539] of Property_List
6793
6794 (properties [KB_933314_Instance_63]))
6795
6796 ([XY_Instance_540] of Property_List
6797
6798 (name "class widget properties")
6799 (properties
6800 [XY_Instance_541]
6801 [XY_Instance_543]
6802 [XY_Instance_544]
6803 [XY_Instance_545]
6804 [XY_Instance_547]
6805 [XY_Instance_549]
6806 [XY_Instance_551]
6807 [XY_Instance_552]
6808 [XY_Instance_554]
6809 [XY_Instance_575]
6810 [XY_Instance_585]
6811 [KB_635552_Instance_0]
6812 [KB_635552_Instance_2]
6813 [KB_635552_Instance_4]
6814 [KB_635552_Instance_6]
6815 [KB_635552_Instance_8]
6816 [KB_941921_Instance_2]
6817 [KB_941921_Instance_6]))
6818
6819 ([XY_Instance_541] of Widget
6820
6821 (height 0)
6822 (label "Constraints")
6823 (name ":SLOT-CONSTRAINTS")
6824 (property_list [XY_Instance_542])
6825 (width 0)
6826 (x 0)
6827 (y 0))
6828
6829 ([XY_Instance_542] of Property_List
6830 )
6831
6832 ([XY_Instance_543] of Widget
6833
6834 (name ":DIRECT-INSTANCES"))
6835
6836 ([XY_Instance_544] of Widget
6837
6838 (name ":DIRECT-SUBCLASSES"))
6839
6840 ([XY_Instance_545] of Widget
6841
6842 (height 500)
6843 (label "Definition")
6844 (name ":DIRECT-SUPERCLASSES")
6845 (property_list [XY_Instance_546])
6846 (widget_class_name "edu.stanford.smi.protegex.owl.ui.cls.ClassAnnotationsAndDescriptionWidget")
6847 (width 660)
6848 (x 0)
6849 (y 0))
6850
6851 ([XY_Instance_546] of Property_List
6852
6853 (properties [KB_100699_Instance_0]))
6854
6855 ([XY_Instance_547] of Widget
6856
6857 (height 0)
6858 (label "Name")
6859 (name ":NAME")
6860 (property_list [XY_Instance_548])
6861 (width 0)
6862 (x 0)
6863 (y 0))
6864
6865 ([XY_Instance_548] of Property_List
6866
6867 (properties [KB_933314_Instance_15]))
6868
6869 ([XY_Instance_549] of Widget
6870
6871 (height 0)
6872 (label "Role")
6873 (name ":ROLE")
6874 (property_list [XY_Instance_550])
6875 (width 0)
6876 (x 0)
6877 (y 0))
6878
6879 ([XY_Instance_550] of Property_List
6880 )
6881
6882 ([XY_Instance_551] of Widget
6883
6884 (name ":DIRECT-TYPE"))
6885
6886 ([XY_Instance_552] of Widget
6887
6888 (height 0)
6889 (label "OWL Properties")
6890 (name ":DIRECT-TEMPLATE-SLOTS")
6891 (property_list [XY_Instance_553])
6892 (width 0)
6893 (x 0)
6894 (y 0))
6895
6896 ([XY_Instance_553] of Property_List
6897 )
6898
6899 ([XY_Instance_554] of Property_List
6900
6901 (name "layout properties")
6902 (properties
6903 [XY_Instance_555]
6904 [XY_Instance_556]))
6905
6906 ([XY_Instance_555] of String
6907
6908 (name "vertical_stretcher")
6909 (string_value "<<all>>"))
6910
6911 ([XY_Instance_556] of String
6912
6913 (name "horizontal_stretcher")
6914 (string_value "<<all>>"))
6915
6916 ([XY_Instance_575] of Widget
6917
6918 (height 0)
6919 (is_hidden FALSE)
6920 (name ":DOCUMENTATION")
6921 (property_list [XY_Instance_576])
6922 (width 0)
6923 (x 0)
6924 (y 0))
6925
6926 ([XY_Instance_576] of Property_List
6927 )
6928
6929 ([XY_Instance_585] of Widget
6930
6931 (height 0)
6932 (is_hidden FALSE)
6933 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
6934 (property_list [XY_Instance_586])
6935 (width 0)
6936 (x 0)
6937 (y 0))
6938
6939 ([XY_Instance_586] of Property_List
6940 )
6941
6942 ([XY_Instance_587] of Property_List
6943
6944 (name "facet widget properties")
6945 (properties
6946 [XY_Instance_588]
6947 [XY_Instance_589]
6948 [XY_Instance_590]))
6949
6950 ([XY_Instance_588] of Widget
6951
6952 (height 60)
6953 (label "Name")
6954 (name ":NAME")
6955 (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")
6956 (width 200)
6957 (x 0)
6958 (y 0))
6959
6960 ([XY_Instance_589] of Widget
6961
6962 (height 120)
6963 (label "Documentation")
6964 (name ":DOCUMENTATION")
6965 (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")
6966 (width 200)
6967 (x 200)
6968 (y 0))
6969
6970 ([XY_Instance_590] of Widget
6971
6972 (height 60)
6973 (label "Associated Property")
6974 (name ":ASSOCIATED-SLOT")
6975 (widget_class_name "edu.stanford.smi.protege.widget.InstanceFieldWidget")
6976 (width 200)
6977 (x 0)
6978 (y 60))
6979
6980 ([XY_Instance_665] of Property_List
6981
6982 (properties
6983 [XY_Instance_666]
6984 [XY_Instance_668]
6985 [XY_Instance_670]
6986 [XY_Instance_672]
6987 [XY_Instance_674]
6988 [XY_Instance_676]
6989 [XY_Instance_678]
6990 [XY_Instance_680]
6991 [XY_Instance_683]
6992 [XY_Instance_685]
6993 [XY_Instance_687]
6994 [XY_Instance_689]
6995 [XY_Instance_691]
6996 [XY_Instance_693]))
6997
6998 ([XY_Instance_666] of Widget
6999
7000 (height 0)
7001 (is_hidden FALSE)
7002 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
7003 (property_list [XY_Instance_667])
7004 (width 0)
7005 (x 0)
7006 (y 0))
7007
7008 ([XY_Instance_667] of Property_List
7009 )
7010
7011 ([XY_Instance_668] of Widget
7012
7013 (height 0)
7014 (is_hidden FALSE)
7015 (name ":OWL-DIFFERENT-FROM")
7016 (property_list [XY_Instance_669])
7017 (width 0)
7018 (x 0)
7019 (y 0))
7020
7021 ([XY_Instance_669] of Property_List
7022 )
7023
7024 ([XY_Instance_670] of Widget
7025
7026 (height 0)
7027 (is_hidden FALSE)
7028 (label "Name")
7029 (name ":NAME")
7030 (property_list [XY_Instance_671])
7031 (width 0)
7032 (x 0)
7033 (y 0))
7034
7035 ([XY_Instance_671] of Property_List
7036 )
7037
7038 ([XY_Instance_672] of Widget
7039
7040 (height 0)
7041 (is_hidden FALSE)
7042 (name "http://www.w3.org/2000/01/rdf-schema#label")
7043 (property_list [XY_Instance_673])
7044 (width 0)
7045 (x 0)
7046 (y 0))
7047
7048 ([XY_Instance_673] of Property_List
7049 )
7050
7051 ([XY_Instance_674] of Widget
7052
7053 (height 0)
7054 (is_hidden FALSE)
7055 (name "http://www.w3.org/2002/07/owl#versionInfo")
7056 (property_list [XY_Instance_675])
7057 (width 0)
7058 (x 0)
7059 (y 0))
7060
7061 ([XY_Instance_675] of Property_List
7062 )
7063
7064 ([XY_Instance_676] of Widget
7065
7066 (height 0)
7067 (is_hidden FALSE)
7068 (name ":OWL-SAME-AS")
7069 (property_list [XY_Instance_677])
7070 (width 0)
7071 (x 0)
7072 (y 0))
7073
7074 ([XY_Instance_677] of Property_List
7075 )
7076
7077 ([XY_Instance_678] of Widget
7078
7079 (height 160)
7080 (is_hidden FALSE)
7081 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
7082 (property_list [XY_Instance_679])
7083 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.AnnotationsWidget")
7084 (width 300)
7085 (x 300)
7086 (y 0))
7087
7088 ([XY_Instance_679] of Property_List
7089 )
7090
7091 ([XY_Instance_680] of Property_List
7092
7093 (name "layout properties")
7094 (properties
7095 [XY_Instance_681]
7096 [XY_Instance_682]))
7097
7098 ([XY_Instance_681] of String
7099
7100 (name "horizontal_stretcher")
7101 (string_value "<<all>>"))
7102
7103 ([XY_Instance_682] of String
7104
7105 (name "vertical_stretcher")
7106 (string_value "<<all>>"))
7107
7108 ([XY_Instance_683] of Widget
7109
7110 (is_hidden FALSE)
7111 (name ":TO")
7112 (property_list [XY_Instance_684]))
7113
7114 ([XY_Instance_684] of Property_List
7115 )
7116
7117 ([XY_Instance_685] of Widget
7118
7119 (is_hidden FALSE)
7120 (name ":FROM")
7121 (property_list [XY_Instance_686]))
7122
7123 ([XY_Instance_686] of Property_List
7124 )
7125
7126 ([XY_Instance_687] of Widget
7127
7128 (height 160)
7129 (is_hidden FALSE)
7130 (name "http://www.w3.org/2000/01/rdf-schema#comment")
7131 (property_list [XY_Instance_688])
7132 (widget_class_name "edu.stanford.smi.protegex.owl.ui.metadata.OWLMetadataWidget")
7133 (width 300)
7134 (x 0)
7135 (y 0))
7136
7137 ([XY_Instance_688] of Property_List
7138 )
7139
7140 ([XY_Instance_689] of Widget
7141
7142 (height 0)
7143 (is_hidden FALSE)
7144 (name "http://www.w3.org/2000/01/rdf-schema#member")
7145 (property_list [XY_Instance_690])
7146 (width 0)
7147 (x 0)
7148 (y 0))
7149
7150 ([XY_Instance_690] of Property_List
7151 )
7152
7153 ([XY_Instance_691] of Widget
7154
7155 (height 0)
7156 (is_hidden FALSE)
7157 (name "http://www.w3.org/1999/02/22-rdf-syntax-ns#value")
7158 (property_list [XY_Instance_692])
7159 (width 0)
7160 (x 0)
7161 (y 0))
7162
7163 ([XY_Instance_692] of Property_List
7164 )
7165
7166 ([XY_Instance_693] of Widget
7167
7168 (height 0)
7169 (is_hidden FALSE)
7170 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
7171 (property_list [XY_Instance_694])
7172 (width 0)
7173 (x 0)
7174 (y 0))
7175
7176 ([XY_Instance_694] of Property_List
7177 )
7178
7179 ([XY_Instance_725] of Property_List
7180
7181 (name "slot widget properties")
7182 (properties
7183 [XY_Instance_728]
7184 [XY_Instance_729]
7185 [XY_Instance_730]
7186 [XY_Instance_731]
7187 [XY_Instance_732]
7188 [XY_Instance_738]
7189 [XY_Instance_739]
7190 [XY_Instance_740]
7191 [XY_Instance_741]
7192 [XY_Instance_742]
7193 [XY_Instance_743]
7194 [XY_Instance_744]
7195 [XY_Instance_745]
7196 [XY_Instance_746]
7197 [XY_Instance_754]
7198 [XY_Instance_762]
7199 [XY_Instance_770]
7200 [XY_Instance_772]
7201 [XY_Instance_774]
7202 [XY_Instance_776]
7203 [XY_Instance_778]
7204 [XY_Instance_780]
7205 [XY_Instance_782]))
7206
7207 ([XY_Instance_728] of Widget
7208
7209 (name ":SLOT-CONSTRAINTS"))
7210
7211 ([XY_Instance_729] of Widget
7212
7213 (name ":DIRECT-TYPE"))
7214
7215 ([XY_Instance_730] of Widget
7216
7217 (name ":DIRECT-SUPERSLOTS"))
7218
7219 ([XY_Instance_731] of Widget
7220
7221 (name ":DIRECT-SUBSLOTS"))
7222
7223 ([XY_Instance_732] of Widget
7224
7225 (height 150)
7226 (label "Default")
7227 (name ":SLOT-DEFAULTS")
7228 (property_list [XY_Instance_733])
7229 (widget_class_name "edu.stanford.smi.protege.widget.DefaultValuesWidget")
7230 (width 200)
7231 (x 400)
7232 (y 120))
7233
7234 ([XY_Instance_733] of Property_List
7235
7236 (properties
7237 [XY_Instance_734]
7238 [XY_Instance_735]
7239 [XY_Instance_736]
7240 [XY_Instance_737]))
7241
7242 ([XY_Instance_734] of Boolean
7243
7244 (boolean_value TRUE)
7245 (name "ButtonDisplayed-View the selected value"))
7246
7247 ([XY_Instance_735] of Boolean
7248
7249 (boolean_value TRUE)
7250 (name "ButtonDisplayed-Create a new value"))
7251
7252 ([XY_Instance_736] of Boolean
7253
7254 (boolean_value TRUE)
7255 (name "ButtonDisplayed-Add"))
7256
7257 ([XY_Instance_737] of Boolean
7258
7259 (boolean_value TRUE)
7260 (name "ButtonDisplayed-Remove"))
7261
7262 ([XY_Instance_738] of Widget
7263
7264 (height 120)
7265 (label "Documentation")
7266 (name ":DOCUMENTATION")
7267 (widget_class_name "edu.stanford.smi.protege.widget.DocumentationWidget")
7268 (width 200)
7269 (x 200)
7270 (y 0))
7271
7272 ([XY_Instance_739] of Widget
7273
7274 (height 60)
7275 (label "Maximum")
7276 (name ":SLOT-NUMERIC-MAXIMUM")
7277 (widget_class_name "edu.stanford.smi.protege.widget.NumericMaximumWidget")
7278 (width 100)
7279 (x 100)
7280 (y 210))
7281
7282 ([XY_Instance_740] of Widget
7283
7284 (height 60)
7285 (label "Minimum")
7286 (name ":SLOT-NUMERIC-MINIMUM")
7287 (widget_class_name "edu.stanford.smi.protege.widget.NumericMinimumWidget")
7288 (width 100)
7289 (x 0)
7290 (y 210))
7291
7292 ([XY_Instance_741] of Widget
7293
7294 (name ":ASSOCIATED-FACET"))
7295
7296 ([XY_Instance_742] of Widget
7297
7298 (height 60)
7299 (label "Name")
7300 (name ":NAME")
7301 (widget_class_name "edu.stanford.smi.protege.widget.InstanceNameWidget")
7302 (width 200)
7303 (x 0)
7304 (y 0))
7305
7306 ([XY_Instance_743] of Widget
7307
7308 (height 60)
7309 (label "Inverse")
7310 (name ":SLOT-INVERSE")
7311 (widget_class_name "edu.stanford.smi.protege.widget.InverseSlotWidget")
7312 (width 200)
7313 (x 200)
7314 (y 210))
7315
7316 ([XY_Instance_744] of Widget
7317
7318 (height 150)
7319 (label "Value Type")
7320 (name ":SLOT-VALUE-TYPE")
7321 (widget_class_name "edu.stanford.smi.protege.widget.ValueTypeWidget")
7322 (width 200)
7323 (x 0)
7324 (y 60))
7325
7326 ([XY_Instance_745] of Property_List
7327
7328 (name "layout properties"))
7329
7330 ([XY_Instance_746] of Widget
7331
7332 (height 120)
7333 (is_hidden FALSE)
7334 (name ":DIRECT-DOMAIN")
7335 (property_list [XY_Instance_747])
7336 (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")
7337 (width 250)
7338 (x 0)
7339 (y 270))
7340
7341 ([XY_Instance_747] of Property_List
7342
7343 (properties
7344 [XY_Instance_748]
7345 [XY_Instance_749]
7346 [XY_Instance_750]
7347 [XY_Instance_751]
7348 [XY_Instance_752]
7349 [XY_Instance_753]))
7350
7351 ([XY_Instance_748] of Boolean
7352
7353 (boolean_value TRUE)
7354 (name "ButtonDisplayed-View Selected Instances"))
7355
7356 ([XY_Instance_749] of Boolean
7357
7358 (boolean_value TRUE)
7359 (name "ButtonDisplayed-Create Instance"))
7360
7361 ([XY_Instance_750] of Boolean
7362
7363 (boolean_value FALSE)
7364 (name "ButtonDisplayed-References"))
7365
7366 ([XY_Instance_751] of Boolean
7367
7368 (boolean_value TRUE)
7369 (name "ButtonDisplayed-Add"))
7370
7371 ([XY_Instance_752] of Boolean
7372
7373 (boolean_value TRUE)
7374 (name "ButtonDisplayed-Remove"))
7375
7376 ([XY_Instance_753] of Boolean
7377
7378 (boolean_value FALSE)
7379 (name "ButtonDisplayed-Delete Selected Instances"))
7380
7381 ([XY_Instance_754] of Widget
7382
7383 (height 120)
7384 (is_hidden FALSE)
7385 (name ":OWL-DIFFERENT-FROM")
7386 (property_list [XY_Instance_755])
7387 (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")
7388 (width 250)
7389 (x 0)
7390 (y 630))
7391
7392 ([XY_Instance_755] of Property_List
7393
7394 (properties
7395 [XY_Instance_756]
7396 [XY_Instance_757]
7397 [XY_Instance_758]
7398 [XY_Instance_759]
7399 [XY_Instance_760]
7400 [XY_Instance_761]))
7401
7402 ([XY_Instance_756] of Boolean
7403
7404 (boolean_value TRUE)
7405 (name "ButtonDisplayed-View Selected Instances"))
7406
7407 ([XY_Instance_757] of Boolean
7408
7409 (boolean_value TRUE)
7410 (name "ButtonDisplayed-Create Instance"))
7411
7412 ([XY_Instance_758] of Boolean
7413
7414 (boolean_value FALSE)
7415 (name "ButtonDisplayed-References"))
7416
7417 ([XY_Instance_759] of Boolean
7418
7419 (boolean_value TRUE)
7420 (name "ButtonDisplayed-Add"))
7421
7422 ([XY_Instance_760] of Boolean
7423
7424 (boolean_value TRUE)
7425 (name "ButtonDisplayed-Remove"))
7426
7427 ([XY_Instance_761] of Boolean
7428
7429 (boolean_value FALSE)
7430 (name "ButtonDisplayed-Delete Selected Instances"))
7431
7432 ([XY_Instance_762] of Widget
7433
7434 (height 240)
7435 (is_hidden FALSE)
7436 (name ":OWL-SAME-AS")
7437 (property_list [XY_Instance_763])
7438 (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")
7439 (width 250)
7440 (x 250)
7441 (y 510))
7442
7443 ([XY_Instance_763] of Property_List
7444
7445 (properties
7446 [XY_Instance_764]
7447 [XY_Instance_765]
7448 [XY_Instance_766]
7449 [XY_Instance_767]
7450 [XY_Instance_768]
7451 [XY_Instance_769]))
7452
7453 ([XY_Instance_764] of Boolean
7454
7455 (boolean_value TRUE)
7456 (name "ButtonDisplayed-View Selected Instances"))
7457
7458 ([XY_Instance_765] of Boolean
7459
7460 (boolean_value TRUE)
7461 (name "ButtonDisplayed-Create Instance"))
7462
7463 ([XY_Instance_766] of Boolean
7464
7465 (boolean_value FALSE)
7466 (name "ButtonDisplayed-References"))
7467
7468 ([XY_Instance_767] of Boolean
7469
7470 (boolean_value TRUE)
7471 (name "ButtonDisplayed-Add"))
7472
7473 ([XY_Instance_768] of Boolean
7474
7475 (boolean_value TRUE)
7476 (name "ButtonDisplayed-Remove"))
7477
7478 ([XY_Instance_769] of Boolean
7479
7480 (boolean_value FALSE)
7481 (name "ButtonDisplayed-Delete Selected Instances"))
7482
7483 ([XY_Instance_770] of Widget
7484
7485 (is_hidden FALSE)
7486 (name "http://www.w3.org/2002/07/owl#versionInfo")
7487 (property_list [XY_Instance_771]))
7488
7489 ([XY_Instance_771] of Property_List
7490 )
7491
7492 ([XY_Instance_772] of Widget
7493
7494 (is_hidden FALSE)
7495 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
7496 (property_list [XY_Instance_773]))
7497
7498 ([XY_Instance_773] of Property_List
7499 )
7500
7501 ([XY_Instance_774] of Widget
7502
7503 (is_hidden FALSE)
7504 (name ":TO")
7505 (property_list [XY_Instance_775]))
7506
7507 ([XY_Instance_775] of Property_List
7508 )
7509
7510 ([XY_Instance_776] of Widget
7511
7512 (is_hidden FALSE)
7513 (name "http://www.w3.org/2000/01/rdf-schema#label")
7514 (property_list [XY_Instance_777]))
7515
7516 ([XY_Instance_777] of Property_List
7517 )
7518
7519 ([XY_Instance_778] of Widget
7520
7521 (is_hidden FALSE)
7522 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
7523 (property_list [XY_Instance_779]))
7524
7525 ([XY_Instance_779] of Property_List
7526 )
7527
7528 ([XY_Instance_780] of Widget
7529
7530 (is_hidden FALSE)
7531 (name ":FROM")
7532 (property_list [XY_Instance_781]))
7533
7534 ([XY_Instance_781] of Property_List
7535 )
7536
7537 ([XY_Instance_782] of Widget
7538
7539 (is_hidden FALSE)
7540 (name ":SLOT-VALUES")
7541 (property_list [XY_Instance_783]))
7542
7543 ([XY_Instance_783] of Property_List
7544 )
7545
7546 ([XY_Instance_784] of Property_List
7547
7548 (properties
7549 [XY_Instance_789]
7550 [XY_Instance_799]
7551 [XY_Instance_812]
7552 [KB_635552_Instance_26]
7553 [KB_635552_Instance_28]
7554 [KB_635552_Instance_30]
7555 [KB_635552_Instance_32]
7556 [KB_635552_Instance_34]))
7557
7558 ([XY_Instance_789] of Widget
7559
7560 (height 0)
7561 (is_hidden FALSE)
7562 (label "Name")
7563 (name ":NAME")
7564 (property_list [XY_Instance_790])
7565 (width 0)
7566 (x 0)
7567 (y 0))
7568
7569 ([XY_Instance_790] of Property_List
7570
7571 (properties [KB_933314_Instance_12]))
7572
7573 ([XY_Instance_799] of Property_List
7574
7575 (name "layout properties")
7576 (properties
7577 [XY_Instance_800]
7578 [XY_Instance_801]))
7579
7580 ([XY_Instance_800] of String
7581
7582 (name "horizontal_stretcher")
7583 (string_value "<<all>>"))
7584
7585 ([XY_Instance_801] of String
7586
7587 (name "vertical_stretcher")
7588 (string_value "<<none>>"))
7589
7590 ([XY_Instance_812] of Widget
7591
7592 (height 180)
7593 (is_hidden FALSE)
7594 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
7595 (property_list [XY_Instance_813])
7596 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.HeaderWidget")
7597 (width 550)
7598 (x 0)
7599 (y 0))
7600
7601 ([XY_Instance_813] of Property_List
7602
7603 (properties [KB_933314_Instance_11]))
7604
7605 ([XY_Instance_89] of Property_List
7606
7607 (properties
7608 [XY_Instance_90]
7609 [XY_Instance_94]
7610 [XY_Instance_96]
7611 [XY_Instance_98]
7612 [XY_Instance_104]
7613 [XY_Instance_117]
7614 [KB_938545_Instance_744]
7615 [KB_713803_Instance_980]))
7616
7617 ([XY_Instance_890] of Property_List
7618
7619 (properties
7620 [XY_Instance_893]
7621 [XY_Instance_897]
7622 [XY_Instance_900]
7623 [XY_Instance_906]
7624 [XY_Instance_910]
7625 [XY_Instance_912]
7626 [XY_Instance_914]
7627 [XY_Instance_916]
7628 [XY_Instance_920]))
7629
7630 ([XY_Instance_893] of Widget
7631
7632 (height 260)
7633 (is_hidden FALSE)
7634 (label "Name")
7635 (name ":NAME")
7636 (property_list [XY_Instance_894])
7637 (widget_class_name "edu.stanford.smi.protegex.owl.ui.widget.ExternalResourceURLWidget")
7638 (width 340)
7639 (x 0)
7640 (y 0))
7641
7642 ([XY_Instance_894] of Property_List
7643 )
7644
7645 ([XY_Instance_897] of Property_List
7646
7647 (name "layout properties")
7648 (properties
7649 [XY_Instance_898]
7650 [XY_Instance_899]))
7651
7652 ([XY_Instance_898] of String
7653
7654 (name "horizontal_stretcher")
7655 (string_value ":OWL-RESOURCE-URI"))
7656
7657 ([XY_Instance_899] of String
7658
7659 (name "vertical_stretcher")
7660 (string_value ":OWL-RESOURCE-URI"))
7661
7662 ([XY_Instance_90] of Widget
7663
7664 (height 0)
7665 (is_hidden FALSE)
7666 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
7667 (property_list [XY_Instance_91])
7668 (width 0)
7669 (x 0)
7670 (y 0))
7671
7672 ([XY_Instance_900] of Widget
7673
7674 (height 0)
7675 (is_hidden FALSE)
7676 (label "Resource URI")
7677 (name ":OWL-RESOURCE-URI")
7678 (property_list [XY_Instance_901])
7679 (width 0)
7680 (x 0)
7681 (y 0))
7682
7683 ([XY_Instance_901] of Property_List
7684 )
7685
7686 ([XY_Instance_906] of Widget
7687
7688 (is_hidden FALSE)
7689 (name "http://www.w3.org/2000/01/rdf-schema#seeAlso")
7690 (property_list [XY_Instance_907]))
7691
7692 ([XY_Instance_907] of Property_List
7693 )
7694
7695 ([XY_Instance_91] of Property_List
7696 )
7697
7698 ([XY_Instance_910] of Widget
7699
7700 (is_hidden FALSE)
7701 (name "http://www.w3.org/2002/07/owl#versionInfo")
7702 (property_list [XY_Instance_911]))
7703
7704 ([XY_Instance_911] of Property_List
7705 )
7706
7707 ([XY_Instance_912] of Widget
7708
7709 (is_hidden FALSE)
7710 (name "http://www.w3.org/2000/01/rdf-schema#label")
7711 (property_list [XY_Instance_913]))
7712
7713 ([XY_Instance_913] of Property_List
7714 )
7715
7716 ([XY_Instance_914] of Widget
7717
7718 (is_hidden FALSE)
7719 (name "http://www.w3.org/2000/01/rdf-schema#comment")
7720 (property_list [XY_Instance_915]))
7721
7722 ([XY_Instance_915] of Property_List
7723 )
7724
7725 ([XY_Instance_916] of Widget
7726
7727 (is_hidden FALSE)
7728 (name "http://www.w3.org/2000/01/rdf-schema#isDefinedBy")
7729 (property_list [XY_Instance_917]))
7730
7731 ([XY_Instance_917] of Property_List
7732 )
7733
7734 ([XY_Instance_920] of Widget
7735
7736 (height 0)
7737 (is_hidden FALSE)
7738 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
7739 (property_list [XY_Instance_921])
7740 (width 0)
7741 (x 0)
7742 (y 0))
7743
7744 ([XY_Instance_921] of Property_List
7745 )
7746
7747 ([XY_Instance_922] of Property_List
7748
7749 (properties
7750 [XY_Instance_923]
7751 [XY_Instance_924]
7752 [XY_Instance_925]
7753 [XY_Instance_926]))
7754
7755 ([XY_Instance_923] of Widget
7756
7757 (height 60)
7758 (is_hidden FALSE)
7759 (label "Name")
7760 (name ":PAL-NAME")
7761 (widget_class_name "edu.stanford.smi.protege.widget.TextFieldWidget")
7762 (width 275)
7763 (x 0)
7764 (y 0))
7765
7766 ([XY_Instance_924] of Widget
7767
7768 (height 180)
7769 (is_hidden FALSE)
7770 (label "Range")
7771 (name ":PAL-RANGE")
7772 (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalRangeWidget")
7773 (width 250)
7774 (x 275)
7775 (y 180))
7776
7777 ([XY_Instance_925] of Widget
7778
7779 (height 180)
7780 (is_hidden FALSE)
7781 (label "Description")
7782 (name ":PAL-DESCRIPTION")
7783 (widget_class_name "edu.stanford.smi.protege.widget.TextAreaWidget")
7784 (width 250)
7785 (x 275)
7786 (y 0))
7787
7788 ([XY_Instance_926] of Widget
7789
7790 (height 300)
7791 (is_hidden FALSE)
7792 (label "Statement")
7793 (name ":PAL-STATEMENT")
7794 (widget_class_name "edu.stanford.smi.protegex.widget.pal.constraint.PalConstraintWidget")
7795 (width 275)
7796 (x 0)
7797 (y 60))
7798
7799 ([XY_Instance_927] of Property_List
7800
7801 (properties
7802 [XY_Instance_930]
7803 [XY_Instance_936]
7804 [XY_Instance_967]))
7805
7806 ([XY_Instance_930] of Widget
7807
7808 (height 0)
7809 (is_hidden FALSE)
7810 (label "Name")
7811 (name ":NAME")
7812 (property_list [XY_Instance_931])
7813 (width 0)
7814 (x 0)
7815 (y 0))
7816
7817 ([XY_Instance_931] of Property_List
7818 )
7819
7820 ([XY_Instance_936] of Property_List
7821
7822 (name "layout properties")
7823 (properties
7824 [XY_Instance_937]
7825 [XY_Instance_938]))
7826
7827 ([XY_Instance_937] of String
7828
7829 (name "horizontal_stretcher")
7830 (string_value "<<all>>"))
7831
7832 ([XY_Instance_938] of String
7833
7834 (name "vertical_stretcher")
7835 (string_value "<<all>>"))
7836
7837 ([XY_Instance_94] of Widget
7838
7839 (height 0)
7840 (is_hidden FALSE)
7841 (label "Name")
7842 (name ":NAME")
7843 (property_list [XY_Instance_95])
7844 (width 0)
7845 (x 0)
7846 (y 0))
7847
7848 ([XY_Instance_95] of Property_List
7849 )
7850
7851 ([XY_Instance_96] of Widget
7852
7853 (height 0)
7854 (is_hidden FALSE)
7855 (name "http://www.w3.org/2000/01/rdf-schema#label")
7856 (property_list [XY_Instance_97])
7857 (width 0)
7858 (x 0)
7859 (y 0))
7860
7861 ([XY_Instance_967] of Widget
7862
7863 (height 120)
7864 (is_hidden FALSE)
7865 (name "http://protege.stanford.edu/plugins/owl/protege#inferredType")
7866 (property_list [XY_Instance_968])
7867 (widget_class_name "edu.stanford.smi.protege.widget.InstanceListWidget")
7868 (width 200)
7869 (x 0)
7870 (y 280))
7871
7872 ([XY_Instance_968] of Property_List
7873
7874 (properties
7875 [XY_Instance_969]
7876 [XY_Instance_970]
7877 [XY_Instance_971]
7878 [XY_Instance_972]
7879 [XY_Instance_973]
7880 [XY_Instance_974]
7881 [KB_886778_Instance_226]
7882 [KB_886778_Instance_227]))
7883
7884 ([XY_Instance_969] of Boolean
7885
7886 (boolean_value TRUE)
7887 (name "ButtonDisplayed-View Selected Instance"))
7888
7889 ([XY_Instance_97] of Property_List
7890 )
7891
7892 ([XY_Instance_970] of Boolean
7893
7894 (boolean_value TRUE)
7895 (name "ButtonDisplayed-Create Instance"))
7896
7897 ([XY_Instance_971] of Boolean
7898
7899 (boolean_value FALSE)
7900 (name "ButtonDisplayed-References"))
7901
7902 ([XY_Instance_972] of Boolean
7903
7904 (boolean_value TRUE)
7905 (name "ButtonDisplayed-Add"))
7906
7907 ([XY_Instance_973] of Boolean
7908
7909 (boolean_value TRUE)
7910 (name "ButtonDisplayed-Remove"))
7911
7912 ([XY_Instance_974] of Boolean
7913
7914 (boolean_value FALSE)
7915 (name "ButtonDisplayed-Delete Selected Instances"))
7916
7917 ([XY_Instance_975] of Property_List
7918
7919 (properties
7920 [XY_Instance_978]
7921 [XY_Instance_984]
7922 [XY_Instance_1001]
7923 [XY_Instance_1003]
7924 [XY_Instance_1005]
7925 [XY_Instance_1015]
7926 [KB_140180_Instance_279]
7927 [KB_140180_Instance_281]))
7928
7929 ([XY_Instance_978] of Widget
7930
7931 (height 0)
7932 (is_hidden FALSE)
7933 (label "Name")
7934 (name ":NAME")
7935 (property_list [XY_Instance_979])
7936 (width 0)
7937 (x 0)
7938 (y 0))
7939
7940 ([XY_Instance_979] of Property_List
7941 )
7942
7943 ([XY_Instance_98] of Widget
7944
7945 (height 0)
7946 (is_hidden FALSE)
7947 (name "http://www.w3.org/2002/07/owl#versionInfo")
7948 (property_list [XY_Instance_99])
7949 (width 0)
7950 (x 0)
7951 (y 0))
7952
7953 ([XY_Instance_984] of Property_List
7954
7955 (name "layout properties")
7956 (properties
7957 [XY_Instance_985]
7958 [XY_Instance_986]))
7959
7960 ([XY_Instance_985] of String
7961
7962 (name "horizontal_stretcher")
7963 (string_value "<<all>>"))
7964
7965 ([XY_Instance_986] of String
7966
7967 (name "vertical_stretcher")
7968 (string_value "<<all>>"))
7969
7970 ([XY_Instance_99] of Property_List
7971 )