-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathnpto_popularity-v2.xml
4148 lines (4148 loc) · 664 KB
/
npto_popularity-v2.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Clusters>
<Cluster size="118">
<Item iri="http://www.co-ode.org/roberts/atoms.owl#XenonAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CesiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#BerylliumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#UnunpentiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CaliforniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#FluorineAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RutheniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#NiobiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#HolmiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#NeodymiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#LutetiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PoloniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ScandiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ArsenicAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#IridiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ProtactiniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ZirconiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#BismuthAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#SiliconAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#UnunoctiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#NeonAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#HassiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#HeliumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#AntimonyAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#KryptonAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ChromiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ErbiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#FleroviumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#SulfurAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#NeptuniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#YtterbiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#NobeliumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#LawrenciumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#MolybdenumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#LeadAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#BariumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#EinsteiniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#YttriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#EuropiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PhosphorusAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#GadoliniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ActiniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#IronAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CalciumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#TelluriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PotassiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#TerbiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#UraniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ManganeseAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RheniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#SamariumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CopperAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#DubniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#SeleniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#FranciumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#GoldAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#FermiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RadonAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PalladiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#UnunseptiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PraseodymiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CarbonAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PromethiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RoentgeniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CeriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#HafniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RadiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#AmericiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#LithiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#LanthanumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ChlorineAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#SilverAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#AstatineAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#MercuryAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#TantalumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#GermaniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#SodiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#GalliumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#DarmstadtiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#IodineAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#DysprosiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#UnuntriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ThuliumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PlutoniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ArgonAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#AluminumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RubidiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ThalliumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#MagnesiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#OxygenAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#TinAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CuriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#BromineAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#LivermoriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#IndiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#HydrogenAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CobaltAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ZincAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CoperniciumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#CadmiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RutherfordiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#RhodiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#PlatinumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#NitrogenAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#StrontiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#MendeleviumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#TechnetiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#BoronAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#VanadiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#NickelAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#ThoriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#BerkeliumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#BohriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#MeitneriumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#TungstenAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#OsmiumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#TitaniumAtom"/>
<Item iri="http://www.co-ode.org/roberts/atoms.owl#SeaborgiumAtom"/>
<Generalisations>
<Generalisation axiom="MendeleviumThuliumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="MendeleviumThuliumFamily EquivalentTo MendeleviumAtom or ThuliumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="ZincAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
<Axiom axiom="CadmiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="24" instantiationStats="?DomainEntity count: 1; ?constant count: 7; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 24; ?cluster_5 count: 1">
<Axiom axiom="GalliumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 1 Electron) and (hasOrder value 4))"/>
<Axiom axiom="PlatinumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 6))"/>
<Axiom axiom="LithiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 2))"/>
<Axiom axiom="PotassiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 4))"/>
<Axiom axiom="CopperAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 4))"/>
<Axiom axiom="UnuntriumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 1 Electron) and (hasOrder value 7))"/>
<Axiom axiom="SodiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 3))"/>
<Axiom axiom="NiobiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 5))"/>
<Axiom axiom="HydrogenAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 1))"/>
<Axiom axiom="CesiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 6))"/>
<Axiom axiom="ScandiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 1 Electron) and (hasOrder value 3))"/>
<Axiom axiom="YttriumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 1 Electron) and (hasOrder value 4))"/>
<Axiom axiom="SilverAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 5))"/>
<Axiom axiom="RubidiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 5))"/>
<Axiom axiom="ThalliumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 1 Electron) and (hasOrder value 6))"/>
<Axiom axiom="ChromiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 4))"/>
<Axiom axiom="IndiumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 1 Electron) and (hasOrder value 5))"/>
<Axiom axiom="AluminumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 1 Electron) and (hasOrder value 3))"/>
<Axiom axiom="GoldAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 6))"/>
<Axiom axiom="RutheniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 5))"/>
<Axiom axiom="RhodiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 5))"/>
<Axiom axiom="BoronAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 1 Electron) and (hasOrder value 2))"/>
<Axiom axiom="FranciumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 7))"/>
<Axiom axiom="MolybdenumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 1 Electron) and (hasOrder value 5))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="32" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 1; ?Atom count: 32; ?cluster_5 count: 1">
<Axiom axiom="SeleniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="GermaniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="MercuryAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="IodineAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="CopperAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="BismuthAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="GoldAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="ZincAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="CadmiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="UnunseptiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 6))"/>
<Axiom axiom="TinAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="UnunoctiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 6))"/>
<Axiom axiom="UnunpentiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 6))"/>
<Axiom axiom="AntimonyAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="AstatineAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="CoperniciumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 6))"/>
<Axiom axiom="SilverAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="BromineAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="LeadAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="IndiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="RadonAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="ArsenicAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="PalladiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="LivermoriumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 6))"/>
<Axiom axiom="FleroviumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 6))"/>
<Axiom axiom="KryptonAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="UnuntriumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 6))"/>
<Axiom axiom="GalliumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 3))"/>
<Axiom axiom="TelluriumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
<Axiom axiom="PoloniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="ThalliumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 5))"/>
<Axiom axiom="XenonAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="7" instantiationStats="?DomainEntity count: 1; ?constant count: 7; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 1; ?Atom count: 7; ?cluster_5 count: 1">
<Axiom axiom="HeliumAtom SubClassOf hasValenceElectronShell only (SShell and (contains exactly 2 Electron) and (hasOrder value 1))"/>
<Axiom axiom="StrontiumAtom SubClassOf hasValenceElectronShell only (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="RadiumAtom SubClassOf hasValenceElectronShell only (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="CalciumAtom SubClassOf hasValenceElectronShell only (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="BerylliumAtom SubClassOf hasValenceElectronShell only (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="MagnesiumAtom SubClassOf hasValenceElectronShell only (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="BariumAtom SubClassOf hasValenceElectronShell only (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
</Generalisation>
<Generalisation axiom="NobeliumYtterbiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="NobeliumYtterbiumFamily EquivalentTo NobeliumAtom or YtterbiumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="81" instantiationStats="?DomainEntity count: 1; ?constant count: 7; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 71; ?cluster_5 count: 1">
<Axiom axiom="NickelAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="FleroviumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="DarmstadtiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="XenonAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="TinAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="UnunoctiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="PoloniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="ZirconiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="NitrogenAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="NeonAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="SiliconAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="MercuryAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="VanadiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="GermaniumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="GermaniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="TitaniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="HafniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="AntimonyAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="RheniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="StrontiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="RoentgeniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="RadonAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="SeleniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="OxygenAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="AluminumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="RutherfordiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="TinAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="BerylliumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="KryptonAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="TelluriumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="IronAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="ZincAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="BariumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="CarbonAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="RadiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="SulfurAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="LeadAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="LeadAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="TechnetiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="LivermoriumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="HeliumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 1))"/>
<Axiom axiom="IridiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="IndiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="CarbonAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="ChlorineAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="DubniumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="ZirconiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="TantalumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="ManganeseAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="FleroviumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="IodineAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="OsmiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="CobaltAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="YttriumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="GalliumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="ScandiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="BoronAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="PhosphorusAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="RutherfordiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="AstatineAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="TitaniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="UnunseptiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="HassiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="UnuntriumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="SeaborgiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="BohriumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="BromineAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="ArsenicAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="MeitneriumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="UnunpentiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="FluorineAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 2))"/>
<Axiom axiom="ThalliumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="ArgonAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="CadmiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="HafniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 2 Electron) and (hasOrder value 5))"/>
<Axiom axiom="CalciumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 4))"/>
<Axiom axiom="BismuthAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
<Axiom axiom="MagnesiumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="CoperniciumAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 7))"/>
<Axiom axiom="SiliconAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 2 Electron) and (hasOrder value 3))"/>
<Axiom axiom="TungstenAtom SubClassOf hasValenceElectronShell some (SShell and (contains exactly 2 Electron) and (hasOrder value 6))"/>
</Generalisation>
<Generalisation axiom="BerkeliumTerbiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="BerkeliumTerbiumFamily EquivalentTo BerkeliumAtom or TerbiumAtom"/>
</Generalisation>
<Generalisation axiom="ActiniumLanthanumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="ActiniumLanthanumFamily EquivalentTo ActiniumAtom or LanthanumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 5 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="BohriumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 5 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
<Axiom axiom="RheniumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 5 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some ?Metalness" count="111" instantiationStats="?cluster_2 count: 1; ?Atom count: 111; ?Metalness count: 3">
<Axiom axiom="GermaniumAtom SubClassOf hasMetalness some Metalloid"/>
<Axiom axiom="NiobiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="YtterbiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="StrontiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="BohriumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ScandiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="HeliumAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="BariumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="CopperAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="LutetiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="AstatineAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="ZirconiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="NobeliumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="CoperniciumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PromethiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="OsmiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ManganeseAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ChromiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="MendeleviumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="RhodiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="DubniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ActiniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PalladiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="FranciumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="RoentgeniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="HolmiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="VanadiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="EuropiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="AntimonyAtom SubClassOf hasMetalness some Metalloid"/>
<Axiom axiom="RutheniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="NeptuniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="LawrenciumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="MagnesiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="IndiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="EinsteiniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="HafniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="TinAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="SiliconAtom SubClassOf hasMetalness some Metalloid"/>
<Axiom axiom="SamariumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PotassiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ThuliumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="HydrogenAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="RubidiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="IridiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="TelluriumAtom SubClassOf hasMetalness some Metalloid"/>
<Axiom axiom="NickelAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="TungstenAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ThalliumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="BerylliumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="BerkeliumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ArgonAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="CobaltAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ProtactiniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="BismuthAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="DysprosiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="FluorineAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="GalliumAtom SubClassOf hasMetalness some Metalloid"/>
<Axiom axiom="DarmstadtiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="AluminumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="CuriumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ErbiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ZincAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="LithiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="NitrogenAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="ArsenicAtom SubClassOf hasMetalness some Metalloid"/>
<Axiom axiom="XenonAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="RheniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="LeadAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="SulfurAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="GadoliniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="CeriumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="CarbonAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="GoldAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="MercuryAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PlutoniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ThoriumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="RadiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="SodiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="IronAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="UraniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PhosphorusAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="NeodymiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="RadonAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="CesiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PlatinumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="YttriumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="BromineAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="FermiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="SeaborgiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PraseodymiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="MeitneriumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="ChlorineAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="LanthanumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="BoronAtom SubClassOf hasMetalness some Metalloid"/>
<Axiom axiom="TerbiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="IodineAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="RutherfordiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="SilverAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="SeleniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="KryptonAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="CaliforniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="HassiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="TechnetiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="CadmiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="CalciumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="MolybdenumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="OxygenAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="TitaniumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="NeonAtom SubClassOf hasMetalness some NonMetal"/>
<Axiom axiom="AmericiumAtom SubClassOf hasMetalness some Metal"/>
<Axiom axiom="PoloniumAtom SubClassOf hasMetalness some Metal"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="GoldAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 6)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 9 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="RoentgeniumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 9 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 3 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="AntimonyAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 3 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
<Axiom axiom="ArsenicAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (PShell and (contains exactly 3 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="Lanthanides EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 15">
<Axiom axiom="Lanthanides EquivalentTo CeriumAtom or DysprosiumAtom or ErbiumAtom or EuropiumAtom or GadoliniumAtom or HolmiumAtom or LanthanumAtom or LutetiumAtom or NeodymiumAtom or PraseodymiumAtom or PromethiumAtom or SamariumAtom or TerbiumAtom or ThuliumAtom or YtterbiumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 5 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="AstatineAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 5 Electron) and (hasOrder value 6)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
<Axiom axiom="UnunseptiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (PShell and (contains exactly 5 Electron) and (hasOrder value 7)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 6 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="XenonAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 6 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
<Axiom axiom="KryptonAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (PShell and (contains exactly 6 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 8 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="NickelAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 8 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 4 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="NiobiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 4 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 5)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 3 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="3" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 3; ?cluster_5 count: 1">
<Axiom axiom="VanadiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 3 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
<Axiom axiom="PhosphorusAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 3 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 3)))"/>
<Axiom axiom="NitrogenAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 3 Electron) and (hasOrder value 2)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 2)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 3 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="BismuthAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 3 Electron) and (hasOrder value 6)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
<Axiom axiom="UnunpentiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (PShell and (contains exactly 3 Electron) and (hasOrder value 7)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 4 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="SulfurAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 4 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 3)))"/>
<Axiom axiom="OxygenAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 4 Electron) and (hasOrder value 2)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 2)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 5 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="MolybdenumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 5 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 5)))"/>
<Axiom axiom="ChromiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 5 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="FermiumErbiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="FermiumErbiumFamily EquivalentTo ErbiumAtom or FermiumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 8 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="DarmstadtiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 8 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 4 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="PoloniumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 4 Electron) and (hasOrder value 6)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
<Axiom axiom="LivermoriumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (PShell and (contains exactly 4 Electron) and (hasOrder value 7)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 9 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="PlatinumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 9 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 6)))"/>
</Generalisation>
<Generalisation axiom="CaliforniumDysprosiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="CaliforniumDysprosiumFamily EquivalentTo CaliforniumAtom or DysprosiumAtom"/>
</Generalisation>
<Generalisation axiom="?DomainEntity EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?DomainEntity count: 1; ?Atom count: 118">
<Axiom axiom="Atom EquivalentTo ActiniumAtom or AluminumAtom or AmericiumAtom or AntimonyAtom or ArgonAtom or ArsenicAtom or AstatineAtom or BariumAtom or BerkeliumAtom or BerylliumAtom or BismuthAtom or BohriumAtom or BoronAtom or BromineAtom or CadmiumAtom or CalciumAtom or CaliforniumAtom or CarbonAtom or CeriumAtom or CesiumAtom or ChlorineAtom or ChromiumAtom or CobaltAtom or CoperniciumAtom or CopperAtom or CuriumAtom or DarmstadtiumAtom or DubniumAtom or DysprosiumAtom or EinsteiniumAtom or ErbiumAtom or EuropiumAtom or FermiumAtom or FleroviumAtom or FluorineAtom or FranciumAtom or GadoliniumAtom or GalliumAtom or GermaniumAtom or GoldAtom or HafniumAtom or HassiumAtom or HeliumAtom or HolmiumAtom or HydrogenAtom or IndiumAtom or IodineAtom or IridiumAtom or IronAtom or KryptonAtom or LanthanumAtom or LawrenciumAtom or LeadAtom or LithiumAtom or LivermoriumAtom or LutetiumAtom or MagnesiumAtom or ManganeseAtom or MeitneriumAtom or MendeleviumAtom or MercuryAtom or MolybdenumAtom or NeodymiumAtom or NeonAtom or NeptuniumAtom or NickelAtom or NiobiumAtom or NitrogenAtom or NobeliumAtom or OsmiumAtom or OxygenAtom or PalladiumAtom or PhosphorusAtom or PlatinumAtom or PlutoniumAtom or PoloniumAtom or PotassiumAtom or PraseodymiumAtom or PromethiumAtom or ProtactiniumAtom or RadiumAtom or RadonAtom or RheniumAtom or RhodiumAtom or RoentgeniumAtom or RubidiumAtom or RutheniumAtom or RutherfordiumAtom or SamariumAtom or ScandiumAtom or SeaborgiumAtom or SeleniumAtom or SiliconAtom or SilverAtom or SodiumAtom or StrontiumAtom or SulfurAtom or TantalumAtom or TechnetiumAtom or TelluriumAtom or TerbiumAtom or ThalliumAtom or ThoriumAtom or ThuliumAtom or TinAtom or TitaniumAtom or TungstenAtom or UnunoctiumAtom or UnunpentiumAtom or UnunseptiumAtom or UnuntriumAtom or UraniumAtom or VanadiumAtom or XenonAtom or YtterbiumAtom or YttriumAtom or ZincAtom or ZirconiumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only (?expression_disjunction or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="TinAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 2 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
<Axiom axiom="GermaniumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (PShell and (contains exactly 2 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some ?PhysicalState" count="96" instantiationStats="?cluster_2 count: 1; ?Atom count: 96; ?PhysicalState count: 3">
<Axiom axiom="SiliconAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="BerkeliumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="BerylliumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CesiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="GermaniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RutherfordiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ActiniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="VanadiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="SilverAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ErbiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ScandiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CopperAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ManganeseAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CeriumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="HeliumAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="MercuryAtom SubClassOf hasPhysicalState some LiquidState"/>
<Axiom axiom="DysprosiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="BismuthAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="TitaniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="BariumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="YttriumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="SeleniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RadonAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="NitrogenAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="CadmiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="LithiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="TinAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ThoriumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="MolybdenumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="FranciumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="DubniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ChromiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CalciumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="AstatineAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="FluorineAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="MagnesiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="GoldAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="GadoliniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="BromineAtom SubClassOf hasPhysicalState some LiquidState"/>
<Axiom axiom="CoperniciumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="AntimonyAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CarbonAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="HassiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="DarmstadtiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="PhosphorusAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RubidiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="PotassiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="IodineAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="TantalumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="MendeleviumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="StrontiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RheniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="OxygenAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="BohriumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="LeadAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RadiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="AmericiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RhodiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="XenonAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="IronAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="EuropiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="OsmiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CobaltAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="SamariumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="TechnetiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CuriumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ArsenicAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="SulfurAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RutheniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="HolmiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="RoentgeniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="MeitneriumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="GalliumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ZincAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ChlorineAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="SeaborgiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="HafniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="FermiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="NeonAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="IndiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="PlatinumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="IridiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="NickelAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="TelluriumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="AluminumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="KryptonAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="EinsteiniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="HydrogenAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="BoronAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="CaliforniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="PoloniumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="SodiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="PalladiumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ThalliumAtom SubClassOf hasPhysicalState some SolidState"/>
<Axiom axiom="ArgonAtom SubClassOf hasPhysicalState some GasState"/>
<Axiom axiom="NiobiumAtom SubClassOf hasPhysicalState some SolidState"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 6 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="RadonAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 6 Electron) and (hasOrder value 6)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
<Axiom axiom="UnunoctiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (PShell and (contains exactly 6 Electron) and (hasOrder value 7)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only (?expression_disjunction or (FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="LeadAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 2 Electron) and (hasOrder value 6)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
<Axiom axiom="FleroviumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (PShell and (contains exactly 2 Electron) and (hasOrder value 7)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?DomainEntity" count="118" instantiationStats="?DomainEntity count: 1; ?Atom count: 118">
<Axiom axiom="TechnetiumAtom SubClassOf Atom"/>
<Axiom axiom="IridiumAtom SubClassOf Atom"/>
<Axiom axiom="OsmiumAtom SubClassOf Atom"/>
<Axiom axiom="RoentgeniumAtom SubClassOf Atom"/>
<Axiom axiom="XenonAtom SubClassOf Atom"/>
<Axiom axiom="NeodymiumAtom SubClassOf Atom"/>
<Axiom axiom="CuriumAtom SubClassOf Atom"/>
<Axiom axiom="BoronAtom SubClassOf Atom"/>
<Axiom axiom="CoperniciumAtom SubClassOf Atom"/>
<Axiom axiom="YtterbiumAtom SubClassOf Atom"/>
<Axiom axiom="FranciumAtom SubClassOf Atom"/>
<Axiom axiom="CesiumAtom SubClassOf Atom"/>
<Axiom axiom="PraseodymiumAtom SubClassOf Atom"/>
<Axiom axiom="StrontiumAtom SubClassOf Atom"/>
<Axiom axiom="AmericiumAtom SubClassOf Atom"/>
<Axiom axiom="CeriumAtom SubClassOf Atom"/>
<Axiom axiom="GoldAtom SubClassOf Atom"/>
<Axiom axiom="MendeleviumAtom SubClassOf Atom"/>
<Axiom axiom="TungstenAtom SubClassOf Atom"/>
<Axiom axiom="FleroviumAtom SubClassOf Atom"/>
<Axiom axiom="SulfurAtom SubClassOf Atom"/>
<Axiom axiom="TerbiumAtom SubClassOf Atom"/>
<Axiom axiom="NiobiumAtom SubClassOf Atom"/>
<Axiom axiom="LithiumAtom SubClassOf Atom"/>
<Axiom axiom="BismuthAtom SubClassOf Atom"/>
<Axiom axiom="UraniumAtom SubClassOf Atom"/>
<Axiom axiom="ProtactiniumAtom SubClassOf Atom"/>
<Axiom axiom="SiliconAtom SubClassOf Atom"/>
<Axiom axiom="HafniumAtom SubClassOf Atom"/>
<Axiom axiom="DysprosiumAtom SubClassOf Atom"/>
<Axiom axiom="PromethiumAtom SubClassOf Atom"/>
<Axiom axiom="PlatinumAtom SubClassOf Atom"/>
<Axiom axiom="MeitneriumAtom SubClassOf Atom"/>
<Axiom axiom="LanthanumAtom SubClassOf Atom"/>
<Axiom axiom="AstatineAtom SubClassOf Atom"/>
<Axiom axiom="RheniumAtom SubClassOf Atom"/>
<Axiom axiom="MagnesiumAtom SubClassOf Atom"/>
<Axiom axiom="CadmiumAtom SubClassOf Atom"/>
<Axiom axiom="RutherfordiumAtom SubClassOf Atom"/>
<Axiom axiom="IronAtom SubClassOf Atom"/>
<Axiom axiom="LeadAtom SubClassOf Atom"/>
<Axiom axiom="ErbiumAtom SubClassOf Atom"/>
<Axiom axiom="VanadiumAtom SubClassOf Atom"/>
<Axiom axiom="BerylliumAtom SubClassOf Atom"/>
<Axiom axiom="SeaborgiumAtom SubClassOf Atom"/>
<Axiom axiom="EinsteiniumAtom SubClassOf Atom"/>
<Axiom axiom="CobaltAtom SubClassOf Atom"/>
<Axiom axiom="HeliumAtom SubClassOf Atom"/>
<Axiom axiom="BariumAtom SubClassOf Atom"/>
<Axiom axiom="CarbonAtom SubClassOf Atom"/>
<Axiom axiom="BohriumAtom SubClassOf Atom"/>
<Axiom axiom="DarmstadtiumAtom SubClassOf Atom"/>
<Axiom axiom="PalladiumAtom SubClassOf Atom"/>
<Axiom axiom="ChlorineAtom SubClassOf Atom"/>
<Axiom axiom="PhosphorusAtom SubClassOf Atom"/>
<Axiom axiom="SodiumAtom SubClassOf Atom"/>
<Axiom axiom="EuropiumAtom SubClassOf Atom"/>
<Axiom axiom="HolmiumAtom SubClassOf Atom"/>
<Axiom axiom="PlutoniumAtom SubClassOf Atom"/>
<Axiom axiom="ManganeseAtom SubClassOf Atom"/>
<Axiom axiom="ArgonAtom SubClassOf Atom"/>
<Axiom axiom="TitaniumAtom SubClassOf Atom"/>
<Axiom axiom="ThalliumAtom SubClassOf Atom"/>
<Axiom axiom="SeleniumAtom SubClassOf Atom"/>
<Axiom axiom="NeptuniumAtom SubClassOf Atom"/>
<Axiom axiom="LutetiumAtom SubClassOf Atom"/>
<Axiom axiom="FluorineAtom SubClassOf Atom"/>
<Axiom axiom="UnunoctiumAtom SubClassOf Atom"/>
<Axiom axiom="ArsenicAtom SubClassOf Atom"/>
<Axiom axiom="BerkeliumAtom SubClassOf Atom"/>
<Axiom axiom="CaliforniumAtom SubClassOf Atom"/>
<Axiom axiom="ZincAtom SubClassOf Atom"/>
<Axiom axiom="LawrenciumAtom SubClassOf Atom"/>
<Axiom axiom="NitrogenAtom SubClassOf Atom"/>
<Axiom axiom="TinAtom SubClassOf Atom"/>
<Axiom axiom="PoloniumAtom SubClassOf Atom"/>
<Axiom axiom="RhodiumAtom SubClassOf Atom"/>
<Axiom axiom="TelluriumAtom SubClassOf Atom"/>
<Axiom axiom="TantalumAtom SubClassOf Atom"/>
<Axiom axiom="HassiumAtom SubClassOf Atom"/>
<Axiom axiom="GalliumAtom SubClassOf Atom"/>
<Axiom axiom="ActiniumAtom SubClassOf Atom"/>
<Axiom axiom="UnunpentiumAtom SubClassOf Atom"/>
<Axiom axiom="MolybdenumAtom SubClassOf Atom"/>
<Axiom axiom="AntimonyAtom SubClassOf Atom"/>
<Axiom axiom="ChromiumAtom SubClassOf Atom"/>
<Axiom axiom="ThuliumAtom SubClassOf Atom"/>
<Axiom axiom="SilverAtom SubClassOf Atom"/>
<Axiom axiom="PotassiumAtom SubClassOf Atom"/>
<Axiom axiom="IndiumAtom SubClassOf Atom"/>
<Axiom axiom="CopperAtom SubClassOf Atom"/>
<Axiom axiom="NobeliumAtom SubClassOf Atom"/>
<Axiom axiom="ThoriumAtom SubClassOf Atom"/>
<Axiom axiom="UnuntriumAtom SubClassOf Atom"/>
<Axiom axiom="RadiumAtom SubClassOf Atom"/>
<Axiom axiom="SamariumAtom SubClassOf Atom"/>
<Axiom axiom="MercuryAtom SubClassOf Atom"/>
<Axiom axiom="IodineAtom SubClassOf Atom"/>
<Axiom axiom="GermaniumAtom SubClassOf Atom"/>
<Axiom axiom="ScandiumAtom SubClassOf Atom"/>
<Axiom axiom="AluminumAtom SubClassOf Atom"/>
<Axiom axiom="GadoliniumAtom SubClassOf Atom"/>
<Axiom axiom="RubidiumAtom SubClassOf Atom"/>
<Axiom axiom="OxygenAtom SubClassOf Atom"/>
<Axiom axiom="DubniumAtom SubClassOf Atom"/>
<Axiom axiom="NeonAtom SubClassOf Atom"/>
<Axiom axiom="CalciumAtom SubClassOf Atom"/>
<Axiom axiom="RutheniumAtom SubClassOf Atom"/>
<Axiom axiom="BromineAtom SubClassOf Atom"/>
<Axiom axiom="ZirconiumAtom SubClassOf Atom"/>
<Axiom axiom="NickelAtom SubClassOf Atom"/>
<Axiom axiom="KryptonAtom SubClassOf Atom"/>
<Axiom axiom="YttriumAtom SubClassOf Atom"/>
<Axiom axiom="LivermoriumAtom SubClassOf Atom"/>
<Axiom axiom="FermiumAtom SubClassOf Atom"/>
<Axiom axiom="RadonAtom SubClassOf Atom"/>
<Axiom axiom="HydrogenAtom SubClassOf Atom"/>
<Axiom axiom="UnunseptiumAtom SubClassOf Atom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf (?cluster_2 some ?Metalness) and (?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 3 ?DomainEntity) and (?cluster_3 value "?constant"^^string))))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 2; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1; ?Metalness count: 1">
<Axiom axiom="TantalumAtom SubClassOf (hasMetalness some Metal) and (hasValenceElectronShell only ((DShell and (contains exactly 3 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6))))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="4" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 4; ?cluster_5 count: 1">
<Axiom axiom="YttriumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 1 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
<Axiom axiom="BoronAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 1 Electron) and (hasOrder value 2)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 2)))"/>
<Axiom axiom="ScandiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 1 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
<Axiom axiom="AluminumAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 1 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 3)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 9 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 1; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="RoentgeniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 9 Electron) and (hasOrder value 6))"/>
<Axiom axiom="PlatinumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 9 Electron) and (hasOrder value 5))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="30" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?Atom count: 30; ?cluster_5 count: 1">
<Axiom axiom="RadonAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="SeaborgiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="RoentgeniumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="TantalumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="GoldAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="AstatineAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="OsmiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="ThalliumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="HafniumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="HassiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="UnunpentiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="DarmstadtiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="PoloniumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="TungstenAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="RutherfordiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="BohriumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="BismuthAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="LeadAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="MeitneriumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="DubniumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="FleroviumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="PlatinumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="UnunseptiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="UnunoctiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="RheniumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="IridiumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="MercuryAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 4))"/>
<Axiom axiom="CoperniciumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="UnuntriumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
<Axiom axiom="LivermoriumAtom SubClassOf hasValenceElectronShell some (FShell and (contains exactly 14 Electron) and (hasOrder value 5))"/>
</Generalisation>
<Generalisation axiom="AmericiumEuropiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="AmericiumEuropiumFamily EquivalentTo AmericiumAtom or EuropiumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 8 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="3" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 1; ?Atom count: 3; ?cluster_5 count: 1">
<Axiom axiom="DarmstadtiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 8 Electron) and (hasOrder value 6))"/>
<Axiom axiom="RhodiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 8 Electron) and (hasOrder value 4))"/>
<Axiom axiom="NickelAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 8 Electron) and (hasOrder value 3))"/>
</Generalisation>
<Generalisation axiom="ProtactiniumPraseodymiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="ProtactiniumPraseodymiumFamily EquivalentTo PraseodymiumAtom or ProtactiniumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 8 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="RhodiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 8 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 5)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 7 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="CobaltAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 7 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="PlutoniumSamariumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="PlutoniumSamariumFamily EquivalentTo PlutoniumAtom or SamariumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 1; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 1; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="PalladiumAtom SubClassOf hasValenceElectronShell only (DShell and (contains exactly 10 Electron) and (hasOrder value 4))"/>
</Generalisation>
<Generalisation axiom="ThoriumCeriumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="ThoriumCeriumFamily EquivalentTo CeriumAtom or ThoriumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 7 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="MeitneriumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 7 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
<Axiom axiom="IridiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 7 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 6 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="HassiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 6 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
<Axiom axiom="OsmiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 6 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="CopperAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 4)))"/>
<Axiom axiom="SilverAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 5)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="ThalliumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 1 Electron) and (hasOrder value 6)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
<Axiom axiom="UnuntriumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (PShell and (contains exactly 1 Electron) and (hasOrder value 7)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 5 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="4" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 4; ?cluster_5 count: 1">
<Axiom axiom="ManganeseAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 5 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
<Axiom axiom="FluorineAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 5 Electron) and (hasOrder value 2)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 2)))"/>
<Axiom axiom="ChlorineAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 5 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 3)))"/>
<Axiom axiom="TechnetiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 5 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 4; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="CoperniciumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
<Axiom axiom="MercuryAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 5)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 6)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 6 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="9" instantiationStats="?DomainEntity count: 1; ?constant count: 6; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 9; ?cluster_5 count: 1">
<Axiom axiom="XenonAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 6 Electron) and (hasOrder value 5))"/>
<Axiom axiom="IronAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 6 Electron) and (hasOrder value 3))"/>
<Axiom axiom="RadonAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 6 Electron) and (hasOrder value 6))"/>
<Axiom axiom="OsmiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 6 Electron) and (hasOrder value 5))"/>
<Axiom axiom="UnunoctiumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 6 Electron) and (hasOrder value 7))"/>
<Axiom axiom="HassiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 6 Electron) and (hasOrder value 6))"/>
<Axiom axiom="NeonAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 6 Electron) and (hasOrder value 2))"/>
<Axiom axiom="ArgonAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 6 Electron) and (hasOrder value 3))"/>
<Axiom axiom="KryptonAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 6 Electron) and (hasOrder value 4))"/>
</Generalisation>
<Generalisation axiom="EinsteiniumHolmiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="EinsteiniumHolmiumFamily EquivalentTo EinsteiniumAtom or HolmiumAtom"/>
</Generalisation>
<Generalisation axiom="NeptuniumPromethiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="NeptuniumPromethiumFamily EquivalentTo NeptuniumAtom or PromethiumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_3 value "?constant"^^string" count="118" instantiationStats="?constant count: 117; ?cluster_3 count: 1; ?Atom count: 118">
<Axiom axiom="CopperAtom SubClassOf hasAtomicNumber value 29"/>
<Axiom axiom="GoldAtom SubClassOf hasAtomicNumber value 79"/>
<Axiom axiom="PraseodymiumAtom SubClassOf hasAtomicNumber value 59"/>
<Axiom axiom="SodiumAtom SubClassOf hasAtomicNumber value 11"/>
<Axiom axiom="BariumAtom SubClassOf hasAtomicNumber value 56"/>
<Axiom axiom="NobeliumAtom SubClassOf hasAtomicNumber value 102"/>
<Axiom axiom="ManganeseAtom SubClassOf hasAtomicNumber value 25"/>
<Axiom axiom="ErbiumAtom SubClassOf hasAtomicNumber value 68"/>
<Axiom axiom="VanadiumAtom SubClassOf hasAtomicNumber value 23"/>
<Axiom axiom="RheniumAtom SubClassOf hasAtomicNumber value 75"/>
<Axiom axiom="MolybdenumAtom SubClassOf hasAtomicNumber value 42"/>
<Axiom axiom="UnunpentiumAtom SubClassOf hasAtomicNumber value 115"/>
<Axiom axiom="YtterbiumAtom SubClassOf hasAtomicNumber value 70"/>
<Axiom axiom="RoentgeniumAtom SubClassOf hasAtomicNumber value 111"/>
<Axiom axiom="TitaniumAtom SubClassOf hasAtomicNumber value 22"/>
<Axiom axiom="ChlorineAtom SubClassOf hasAtomicNumber value 17"/>
<Axiom axiom="PromethiumAtom SubClassOf hasAtomicNumber value 61"/>
<Axiom axiom="BoronAtom SubClassOf hasAtomicNumber value 5"/>
<Axiom axiom="GadoliniumAtom SubClassOf hasAtomicNumber value 64"/>
<Axiom axiom="PhosphorusAtom SubClassOf hasAtomicNumber value 15"/>
<Axiom axiom="ProtactiniumAtom SubClassOf hasAtomicNumber value 91"/>
<Axiom axiom="TerbiumAtom SubClassOf hasAtomicNumber value 65"/>
<Axiom axiom="BromineAtom SubClassOf hasAtomicNumber value 35"/>
<Axiom axiom="CeriumAtom SubClassOf hasAtomicNumber value 58"/>
<Axiom axiom="NiobiumAtom SubClassOf hasAtomicNumber value 41"/>
<Axiom axiom="HydrogenAtom SubClassOf hasAtomicNumber value 1"/>
<Axiom axiom="IodineAtom SubClassOf hasAtomicNumber value 53"/>
<Axiom axiom="CaliforniumAtom SubClassOf hasAtomicNumber value 98"/>
<Axiom axiom="ArgonAtom SubClassOf hasAtomicNumber value 18"/>
<Axiom axiom="RutherfordiumAtom SubClassOf hasAtomicNumber value 104"/>
<Axiom axiom="IronAtom SubClassOf hasAtomicNumber value 26"/>
<Axiom axiom="SilverAtom SubClassOf hasAtomicNumber value 47"/>
<Axiom axiom="LutetiumAtom SubClassOf hasAtomicNumber value 71"/>
<Axiom axiom="FranciumAtom SubClassOf hasAtomicNumber value 87"/>
<Axiom axiom="BerylliumAtom SubClassOf hasAtomicNumber value 4"/>
<Axiom axiom="ScandiumAtom SubClassOf hasAtomicNumber value 21"/>
<Axiom axiom="KryptonAtom SubClassOf hasAtomicNumber value 36"/>
<Axiom axiom="LeadAtom SubClassOf hasAtomicNumber value 82"/>
<Axiom axiom="PlutoniumAtom SubClassOf hasAtomicNumber value 94"/>
<Axiom axiom="SeaborgiumAtom SubClassOf hasAtomicNumber value 106"/>
<Axiom axiom="DarmstadtiumAtom SubClassOf hasAtomicNumber value 110"/>
<Axiom axiom="HafniumAtom SubClassOf hasAtomicNumber value 72"/>
<Axiom axiom="NickelAtom SubClassOf hasAtomicNumber value 28"/>
<Axiom axiom="ThuliumAtom SubClassOf hasAtomicNumber value 69"/>
<Axiom axiom="RadiumAtom SubClassOf hasAtomicNumber value 88"/>
<Axiom axiom="HassiumAtom SubClassOf hasAtomicNumber value 108"/>
<Axiom axiom="LithiumAtom SubClassOf hasAtomicNumber value 3"/>
<Axiom axiom="AmericiumAtom SubClassOf hasAtomicNumber value 95"/>
<Axiom axiom="TechnetiumAtom SubClassOf hasAtomicNumber value 43"/>
<Axiom axiom="ChromiumAtom SubClassOf hasAtomicNumber value 24"/>
<Axiom axiom="CarbonAtom SubClassOf hasAtomicNumber value 6"/>
<Axiom axiom="EinsteiniumAtom SubClassOf hasAtomicNumber value 99"/>
<Axiom axiom="CalciumAtom SubClassOf hasAtomicNumber value 20"/>
<Axiom axiom="TungstenAtom SubClassOf hasAtomicNumber value 74"/>
<Axiom axiom="UraniumAtom SubClassOf hasAtomicNumber value 92"/>
<Axiom axiom="SulfurAtom SubClassOf hasAtomicNumber value 16"/>
<Axiom axiom="CesiumAtom SubClassOf hasAtomicNumber value 55"/>
<Axiom axiom="UnunoctiumAtom SubClassOf hasAtomicNumber value 118"/>
<Axiom axiom="ThoriumAtom SubClassOf hasAtomicNumber value 90"/>
<Axiom axiom="GalliumAtom SubClassOf hasAtomicNumber value 31"/>
<Axiom axiom="SeleniumAtom SubClassOf hasAtomicNumber value 34"/>
<Axiom axiom="ArsenicAtom SubClassOf hasAtomicNumber value 33"/>
<Axiom axiom="CobaltAtom SubClassOf hasAtomicNumber value 27"/>
<Axiom axiom="RhodiumAtom SubClassOf hasAtomicNumber value 45"/>
<Axiom axiom="BohriumAtom SubClassOf hasAtomicNumber value 107"/>
<Axiom axiom="EuropiumAtom SubClassOf hasAtomicNumber value 63"/>
<Axiom axiom="NeptuniumAtom SubClassOf hasAtomicNumber value 93"/>
<Axiom axiom="LivermoriumAtom SubClassOf hasAtomicNumber value 116"/>
<Axiom axiom="PalladiumAtom SubClassOf hasAtomicNumber value 46"/>
<Axiom axiom="CadmiumAtom SubClassOf hasAtomicNumber value 48"/>
<Axiom axiom="OxygenAtom SubClassOf hasAtomicNumber value 8"/>
<Axiom axiom="ZincAtom SubClassOf hasAtomicNumber value 30"/>
<Axiom axiom="XenonAtom SubClassOf hasAtomicNumber value 54"/>
<Axiom axiom="IridiumAtom SubClassOf hasAtomicNumber value 77"/>
<Axiom axiom="NitrogenAtom SubClassOf hasAtomicNumber value 7"/>
<Axiom axiom="TelluriumAtom SubClassOf hasAtomicNumber value 52"/>
<Axiom axiom="UnuntriumAtom SubClassOf hasAtomicNumber value 111"/>
<Axiom axiom="IndiumAtom SubClassOf hasAtomicNumber value 49"/>
<Axiom axiom="CuriumAtom SubClassOf hasAtomicNumber value 96"/>
<Axiom axiom="YttriumAtom SubClassOf hasAtomicNumber value 39"/>
<Axiom axiom="BerkeliumAtom SubClassOf hasAtomicNumber value 97"/>
<Axiom axiom="RutheniumAtom SubClassOf hasAtomicNumber value 44"/>
<Axiom axiom="AluminumAtom SubClassOf hasAtomicNumber value 13"/>
<Axiom axiom="LanthanumAtom SubClassOf hasAtomicNumber value 57"/>
<Axiom axiom="DubniumAtom SubClassOf hasAtomicNumber value 105"/>
<Axiom axiom="TantalumAtom SubClassOf hasAtomicNumber value 73"/>
<Axiom axiom="AstatineAtom SubClassOf hasAtomicNumber value 85"/>
<Axiom axiom="MercuryAtom SubClassOf hasAtomicNumber value 80"/>
<Axiom axiom="LawrenciumAtom SubClassOf hasAtomicNumber value 103"/>
<Axiom axiom="SamariumAtom SubClassOf hasAtomicNumber value 62"/>
<Axiom axiom="TinAtom SubClassOf hasAtomicNumber value 50"/>
<Axiom axiom="FermiumAtom SubClassOf hasAtomicNumber value 100"/>
<Axiom axiom="OsmiumAtom SubClassOf hasAtomicNumber value 76"/>
<Axiom axiom="ActiniumAtom SubClassOf hasAtomicNumber value 89"/>
<Axiom axiom="StrontiumAtom SubClassOf hasAtomicNumber value 38"/>
<Axiom axiom="PlatinumAtom SubClassOf hasAtomicNumber value 78"/>
<Axiom axiom="MeitneriumAtom SubClassOf hasAtomicNumber value 109"/>
<Axiom axiom="RubidiumAtom SubClassOf hasAtomicNumber value 37"/>
<Axiom axiom="ThalliumAtom SubClassOf hasAtomicNumber value 81"/>
<Axiom axiom="DysprosiumAtom SubClassOf hasAtomicNumber value 66"/>
<Axiom axiom="FluorineAtom SubClassOf hasAtomicNumber value 9"/>
<Axiom axiom="HolmiumAtom SubClassOf hasAtomicNumber value 67"/>
<Axiom axiom="PotassiumAtom SubClassOf hasAtomicNumber value 19"/>
<Axiom axiom="MagnesiumAtom SubClassOf hasAtomicNumber value 12"/>
<Axiom axiom="AntimonyAtom SubClassOf hasAtomicNumber value 51"/>
<Axiom axiom="FleroviumAtom SubClassOf hasAtomicNumber value 114"/>
<Axiom axiom="BismuthAtom SubClassOf hasAtomicNumber value 83"/>
<Axiom axiom="PoloniumAtom SubClassOf hasAtomicNumber value 84"/>
<Axiom axiom="SiliconAtom SubClassOf hasAtomicNumber value 14"/>
<Axiom axiom="MendeleviumAtom SubClassOf hasAtomicNumber value 101"/>
<Axiom axiom="GermaniumAtom SubClassOf hasAtomicNumber value 32"/>
<Axiom axiom="HeliumAtom SubClassOf hasAtomicNumber value 2"/>
<Axiom axiom="ZirconiumAtom SubClassOf hasAtomicNumber value 40"/>
<Axiom axiom="NeodymiumAtom SubClassOf hasAtomicNumber value 60"/>
<Axiom axiom="UnunseptiumAtom SubClassOf hasAtomicNumber value 117"/>
<Axiom axiom="NeonAtom SubClassOf hasAtomicNumber value 10"/>
<Axiom axiom="CoperniciumAtom SubClassOf hasAtomicNumber value 112"/>
<Axiom axiom="RadonAtom SubClassOf hasAtomicNumber value 86"/>
</Generalisation>
<Generalisation axiom="Actinides EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 15">
<Axiom axiom="Actinides EquivalentTo ActiniumAtom or AmericiumAtom or BerkeliumAtom or CaliforniumAtom or CuriumAtom or EinsteiniumAtom or FermiumAtom or LawrenciumAtom or MendeleviumAtom or NeptuniumAtom or NobeliumAtom or PlutoniumAtom or ProtactiniumAtom or ThoriumAtom or UraniumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 4 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="9" instantiationStats="?DomainEntity count: 1; ?constant count: 6; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 9; ?cluster_5 count: 1">
<Axiom axiom="SeaborgiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 4 Electron) and (hasOrder value 6))"/>
<Axiom axiom="LivermoriumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 4 Electron) and (hasOrder value 7))"/>
<Axiom axiom="TelluriumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 4 Electron) and (hasOrder value 5))"/>
<Axiom axiom="NiobiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 4 Electron) and (hasOrder value 4))"/>
<Axiom axiom="TungstenAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 4 Electron) and (hasOrder value 5))"/>
<Axiom axiom="PoloniumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 4 Electron) and (hasOrder value 6))"/>
<Axiom axiom="SeleniumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 4 Electron) and (hasOrder value 4))"/>
<Axiom axiom="OxygenAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 4 Electron) and (hasOrder value 2))"/>
<Axiom axiom="SulfurAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 4 Electron) and (hasOrder value 3))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 4 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="TelluriumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 4 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
<Axiom axiom="SeleniumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (PShell and (contains exactly 4 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 7 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 2; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="RutheniumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 7 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 1 Electron) and (hasOrder value 5)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 6 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="3" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 3; ?cluster_5 count: 1">
<Axiom axiom="ArgonAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 6 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 3)))"/>
<Axiom axiom="NeonAtom SubClassOf hasValenceElectronShell only ((PShell and (contains exactly 6 Electron) and (hasOrder value 2)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 2)))"/>
<Axiom axiom="IronAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 6 Electron) and (hasOrder value 3)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 5 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="12" instantiationStats="?DomainEntity count: 1; ?constant count: 6; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 12; ?cluster_5 count: 1">
<Axiom axiom="BromineAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 5 Electron) and (hasOrder value 4))"/>
<Axiom axiom="MolybdenumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 5 Electron) and (hasOrder value 4))"/>
<Axiom axiom="RheniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 5 Electron) and (hasOrder value 5))"/>
<Axiom axiom="TechnetiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 5 Electron) and (hasOrder value 4))"/>
<Axiom axiom="ManganeseAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 5 Electron) and (hasOrder value 3))"/>
<Axiom axiom="FluorineAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 5 Electron) and (hasOrder value 2))"/>
<Axiom axiom="AstatineAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 5 Electron) and (hasOrder value 6))"/>
<Axiom axiom="BohriumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 5 Electron) and (hasOrder value 6))"/>
<Axiom axiom="ChromiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 5 Electron) and (hasOrder value 3))"/>
<Axiom axiom="UnunseptiumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 5 Electron) and (hasOrder value 7))"/>
<Axiom axiom="IodineAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 5 Electron) and (hasOrder value 5))"/>
<Axiom axiom="ChlorineAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 5 Electron) and (hasOrder value 3))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 5 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="IodineAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 5 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
<Axiom axiom="BromineAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (PShell and (contains exactly 5 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((FShell and (?cluster_5 exactly 14 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 3 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="1" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 1; ?cluster_5 count: 1">
<Axiom axiom="DubniumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 3 Electron) and (hasOrder value 6)) or (FShell and (contains exactly 14 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 7)))"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 only ((?cluster_1 and (?cluster_5 exactly 1 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 2 ?DomainEntity) and (?cluster_3 value "?constant"^^string)) or (?cluster_1 and (?cluster_5 exactly 10 ?DomainEntity) and (?cluster_3 value "?constant"^^string)))" count="2" instantiationStats="?DomainEntity count: 1; ?constant count: 3; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 3; ?Atom count: 2; ?cluster_5 count: 1">
<Axiom axiom="GalliumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 3)) or (PShell and (contains exactly 1 Electron) and (hasOrder value 4)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 4)))"/>
<Axiom axiom="IndiumAtom SubClassOf hasValenceElectronShell only ((DShell and (contains exactly 10 Electron) and (hasOrder value 4)) or (PShell and (contains exactly 1 Electron) and (hasOrder value 5)) or (SShell and (contains exactly 2 Electron) and (hasOrder value 5)))"/>
</Generalisation>
<Generalisation axiom="UraniumNeodymiumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">
<Axiom axiom="UraniumNeodymiumFamily EquivalentTo NeodymiumAtom or UraniumAtom"/>
</Generalisation>
<Generalisation axiom="?Atom SubClassOf ?cluster_2 some (?cluster_1 and (?cluster_5 exactly 3 ?DomainEntity) and (?cluster_3 value "?constant"^^string))" count="9" instantiationStats="?DomainEntity count: 1; ?constant count: 6; ?cluster_3 count: 1; ?cluster_2 count: 1; ?cluster_1 count: 2; ?Atom count: 9; ?cluster_5 count: 1">
<Axiom axiom="VanadiumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 3 Electron) and (hasOrder value 3))"/>
<Axiom axiom="DubniumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 3 Electron) and (hasOrder value 6))"/>
<Axiom axiom="PhosphorusAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 3 Electron) and (hasOrder value 3))"/>
<Axiom axiom="BismuthAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 3 Electron) and (hasOrder value 6))"/>
<Axiom axiom="ArsenicAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 3 Electron) and (hasOrder value 4))"/>
<Axiom axiom="UnunpentiumAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 3 Electron) and (hasOrder value 7))"/>
<Axiom axiom="TantalumAtom SubClassOf hasValenceElectronShell some (DShell and (contains exactly 3 Electron) and (hasOrder value 5))"/>
<Axiom axiom="NitrogenAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 3 Electron) and (hasOrder value 2))"/>
<Axiom axiom="AntimonyAtom SubClassOf hasValenceElectronShell some (PShell and (contains exactly 3 Electron) and (hasOrder value 5))"/>
</Generalisation>
<Generalisation axiom="CuriumGadoliniumFamily EquivalentTo ?Atom_disjunction" count="1" instantiationStats="?Atom count: 2">