# Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:53 GMT { ( ). => . } { @prefix e: . @prefix iw: . @prefix rdfs: . @prefix log: . @prefix rdf: . # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:54 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 61. owl:differentFrom rdf:type owl:SymmetricProperty. {# line 73. _:25078_2 rdf:first first:Fred. _:25078_2 rdf:rest _:25092_2. {# line 228. _:25092_2 rdf:rest _:25103_2. {# line 227. _:25103_2 rdf:first first:Barney} => {_:25103_2 ns1:item first:Barney}} => {_:25092_2 ns1:item first:Barney}. _:25062_2 owl:distinctMembers _:25078_2} => {first:Fred owl:differentFrom first:Barney}} => {first:Barney owl:differentFrom first:Fred}. # Proof found for http://www.w3.org/2002/03owlt/AllDifferent/conclusions001.rdf in 1734 steps (173226 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:55 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . first:A first:ap first:B. first:A a owl:Class. first:B a owl:Thing. first:ap a owl:AnnotationProperty. # Proof found for http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002.rdf in 13 steps (1300000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:55 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 58. rdfs:Class rdfs:subClassOf owl:Class. a rdfs:Class} => { a owl:Class}. # Proof found for http://www.w3.org/2002/03owlt/Class/conclusions002.rdf in 43349 steps (288974 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:55 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 45. rdfs:subClassOf rdfs:domain rdfs:Class. {# line 131. {# line 166. rdf:type rdfs:domain rdfs:Resource. rdfs:Resource rdfs:subClassOf owl:Thing} => {rdf:type rdfs:domain owl:Thing}. {# line 58. owl:Class rdfs:subClassOf rdfs:Class. a owl:Class} => { a rdfs:Class}} => { rdfs:subClassOf owl:Thing}} => { a rdfs:Class}. # Proof found for http://www.w3.org/2002/03owlt/Class/conclusions003.rdf in 24635 steps (304098 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:56 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . _:227597_26 owl:unionOf _:227611_26. _:227611_26 rdf:first . _:227611_26 rdf:rest _:227622_26. _:227622_26 rdf:first _:227630_26. {# line 61. owl:complementOf rdf:type owl:SymmetricProperty. {# line 61. owl:complementOf rdf:type owl:SymmetricProperty. _:227630_26 owl:complementOf } => { owl:complementOf _:227630_26}} => {_:227630_26 owl:complementOf }. _:227622_26 rdf:rest rdf:nil. {# line 146. _:227597_26 owl:unionOf _:227611_26. {# line 227. _:227611_26 rdf:first } => {_:227611_26 ns1:item }. {# line 228. _:227611_26 rdf:rest _:227622_26. {# line 227. _:227622_26 rdf:first _:227630_26} => {_:227622_26 ns1:item _:227630_26}} => {_:227611_26 ns1:item _:227630_26}. {# line 61. owl:complementOf rdf:type owl:SymmetricProperty. _:227630_26 owl:complementOf } => { owl:complementOf _:227630_26}} => { a _:227597_26}. _:227597_26 a owl:Class. {# line 45. rdfs:subClassOf rdfs:domain rdfs:Class. {# line 131. {# line 166. rdf:type rdfs:domain rdfs:Resource. rdfs:Resource rdfs:subClassOf owl:Thing} => {rdf:type rdfs:domain owl:Thing}. {# line 58. owl:Class rdfs:subClassOf rdfs:Class. {# line 45. owl:complementOf rdfs:domain owl:Class. _:227630_26 owl:complementOf } => {_:227630_26 a owl:Class}} => {_:227630_26 a rdfs:Class}} => {_:227630_26 rdfs:subClassOf owl:Thing}} => {_:227630_26 a rdfs:Class}. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/Class/conclusions006.rdf in 76062 steps (245353 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:56 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . = . # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001.rdf in 1 step (100000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:56 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix eg: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . eg:prop2 "value". # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002.rdf in 1 step (100000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:56 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 134. {# line 61. owl:inverseOf rdf:type owl:SymmetricProperty. owl:inverseOf } => { owl:inverseOf }. a owl:FunctionalProperty} => { a owl:InverseFunctionalProperty}. # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003.rdf in 153 steps (15300000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:56 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 135. owl:oneOf _:396940_43. _:396940_43 rdf:first _:396941_43. _:396940_43 rdf:rest rdf:nil. rdfs:range } => { a owl:FunctionalProperty}. # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004.rdf in 334 steps (33366 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:57 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix eg: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . _:411266_52 owl:maxCardinality "1"^^. _:411266_52 owl:onProperty eg:foo. eg:foo a owl:Thing. {# line 154. _:411266_52 owl:onProperty eg:foo. _:411266_52 owl:maxCardinality "1"^^. "1"^^ math:equalTo 1. eg:foo a owl:FunctionalProperty} => {eg:foo a _:411266_52}. _:411266_52 a owl:Restriction. eg:foo a owl:FunctionalProperty. # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005.rdf in 2367 steps (236463 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:57 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . first:EuroMP a owl:Class. {# line 141. first:EuroMP owl:equivalentClass _:416211_54. _:416211_54 owl:onProperty first:isEuroMPFrom. _:416211_54 owl:someValuesFrom owl:Thing. {# line 192. _:416211_54 owl:onProperty first:isEuroMPFrom. _:416211_54 owl:someValuesFrom owl:Thing. first:EuroMP rdfs:subClassOf _:416211_54. {# line 58. _:416211_54 rdfs:subClassOf first:EuroMP. {# line 152. _:416211_54 owl:onProperty first:isEuroMPFrom. _:416211_54 owl:someValuesFrom owl:Thing. first:isEuroMPFrom owl:inverseOf first:hasEuroMP. {# line 171. {# line 61. owl:inverseOf rdf:type owl:SymmetricProperty. first:isEuroMPFrom owl:inverseOf first:hasEuroMP} => {first:hasEuroMP owl:inverseOf first:isEuroMPFrom}. first:hasEuroMP rdfs:domain first:EUCountry} => {first:isEuroMPFrom rdfs:range first:EUCountry}. first:UK first:hasEuroMP first:Kinnock. {# line 142. first:EUCountry owl:oneOf _:416103_54. {# line 227. _:416103_54 rdf:first first:UK} => {_:416103_54 ns1:item first:UK}} => {first:UK a first:EUCountry}} => {first:Kinnock a _:416211_54}} => {first:Kinnock a first:EuroMP}} => {first:Kinnock first:isEuroMPFrom _:O_56}. _:O_56 a owl:Thing} => {first:Kinnock a first:EuroMP}. # Proof found for http://www.w3.org/2002/03owlt/I4.5/conclusions001.rdf in 4238 steps (423376 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:57 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . owl:equivalentClass . a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/I4.6/conclusions003.rdf in 9 steps (900000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:57 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix NS0: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . _:545612_65 NS0:population "2688418". _:545612_65 NS0:stateBird NS0:WesternMeadowlark. # Proof found for http://www.w3.org/2002/03owlt/I5.1/conclusions001.rdf in 2 steps (200000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:57 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 112. _:552587_70 owl:onProperty . _:552587_70 owl:maxCardinality "0"^^. _:552578_70 owl:onProperty . _:552578_70 owl:minCardinality "1"^^. "0"^^ math:lessThan "1"^^. rdfs:subClassOf _:552587_70. rdfs:subClassOf _:552578_70} => { owl:equivalentClass owl:Nothing}. a owl:Class. {# line 58. rdfs:Class rdfs:subClassOf owl:Class. {# line 45. owl:oneOf rdfs:domain rdfs:Class. owl:Nothing owl:oneOf rdf:nil} => {owl:Nothing a rdfs:Class}} => {owl:Nothing a owl:Class}. # Proof found for http://www.w3.org/2002/03owlt/I5.2/conclusions002.rdf in 54271 steps (284126 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:58 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 61. owl:complementOf rdf:type owl:SymmetricProperty. {# line 175. owl:equivalentClass _:675762_75. _:675762_75 owl:onProperty first:q. _:675762_75 owl:someValuesFrom owl:Thing. owl:Thing owl:equivalentClass owl:Thing. owl:equivalentClass _:675779_75. _:675779_75 owl:onProperty first:q. _:675779_75 owl:allValuesFrom first:Nothing. {# line 112. _:675734_75 owl:onProperty first:p. _:675734_75 owl:maxCardinality "0"^^. _:675725_75 owl:onProperty first:p. _:675725_75 owl:minCardinality "1"^^. "0"^^ math:lessThan "1"^^. first:Nothing rdfs:subClassOf _:675734_75. first:Nothing rdfs:subClassOf _:675725_75} => {first:Nothing owl:equivalentClass owl:Nothing}} => { owl:complementOf }} => { owl:complementOf }. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/I5.2/conclusions004.rdf in 7142 steps (237987 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:58 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 178. {# line 175. owl:equivalentClass _:698763_81. _:698763_81 owl:onProperty . _:698763_81 owl:someValuesFrom owl:Thing. owl:Thing owl:equivalentClass owl:Thing. owl:equivalentClass _:698699_81. _:698699_81 owl:onProperty . _:698699_81 owl:allValuesFrom . {# line 112. _:698849_81 owl:onProperty . _:698849_81 owl:maxCardinality "0"^^. _:698840_81 owl:onProperty . _:698840_81 owl:minCardinality "1"^^. "0"^^ math:lessThan "1"^^. rdfs:subClassOf _:698849_81. rdfs:subClassOf _:698840_81} => { owl:equivalentClass owl:Nothing}} => { owl:complementOf }. owl:intersectionOf _:698706_81. _:698706_81 rdf:first . _:698706_81 rdf:rest _:698714_81. _:698714_81 rdf:first . _:698714_81 rdf:rest rdf:nil. {# line 175. owl:equivalentClass _:698809_81. _:698809_81 owl:onProperty . _:698809_81 owl:someValuesFrom owl:Thing. owl:Thing owl:equivalentClass owl:Thing. owl:equivalentClass _:698746_81. _:698746_81 owl:onProperty . _:698746_81 owl:allValuesFrom . {# line 112. _:698849_81 owl:onProperty . _:698849_81 owl:maxCardinality "0"^^. _:698840_81 owl:onProperty . _:698840_81 owl:minCardinality "1"^^. "0"^^ math:lessThan "1"^^. rdfs:subClassOf _:698849_81. rdfs:subClassOf _:698840_81} => { owl:equivalentClass owl:Nothing}} => { owl:complementOf }. _:738533_86 rdf:first . _:738533_86 rdf:rest _:738541_86. _:738541_86 rdf:first . _:738541_86 rdf:rest rdf:nil. {# line 61. owl:complementOf rdf:type owl:SymmetricProperty. {# line 61. owl:complementOf rdf:type owl:SymmetricProperty. {# line 175. owl:equivalentClass _:698789_81. _:698789_81 owl:onProperty . _:698789_81 owl:someValuesFrom owl:Thing. owl:Thing owl:equivalentClass owl:Thing. owl:equivalentClass _:698729_81. _:698729_81 owl:onProperty . _:698729_81 owl:allValuesFrom . {# line 112. _:698849_81 owl:onProperty . _:698849_81 owl:maxCardinality "0"^^. _:698840_81 owl:onProperty . _:698840_81 owl:minCardinality "1"^^. "0"^^ math:lessThan "1"^^. rdfs:subClassOf _:698849_81. rdfs:subClassOf _:698840_81} => { owl:equivalentClass owl:Nothing}} => { owl:complementOf }} => { owl:complementOf }} => { owl:complementOf }} => { owl:unionOf _:738533_86}. _:738533_86 rdf:first . _:738533_86 rdf:rest _:738541_86. _:738541_86 rdf:first . _:738541_86 rdf:rest rdf:nil. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/I5.2/conclusions006.rdf in 95315 steps (351702 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:58 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898685_88. _:898685_88 owl:onProperty first:family-name. _:898685_88 owl:hasValue "Agamidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898723_88. _:898723_88 owl:onProperty first:family-name. _:898723_88 owl:hasValue "Amphisbaenidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898761_88. _:898761_88 owl:onProperty first:family-name. _:898761_88 owl:hasValue "Emydidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898666_88. _:898666_88 owl:onProperty first:family-name. _:898666_88 owl:hasValue "Crocodylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898821_88. _:898821_88 owl:onProperty first:family-name. _:898821_88 owl:hasValue "Anomalepidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898607_88. _:898607_88 owl:onProperty first:family-name. _:898607_88 owl:hasValue "Cordylidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898588_88. _:898588_88 owl:onProperty first:family-name. _:898588_88 owl:hasValue "Gekkonidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898783_88. _:898783_88 owl:onProperty first:family-name. _:898783_88 owl:hasValue "Sphenodontidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898626_88. _:898626_88 owl:onProperty first:family-name. _:898626_88 owl:hasValue "Loxocemidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898742_88. _:898742_88 owl:onProperty first:family-name. _:898742_88 owl:hasValue "Xantusiidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 61. owl:disjointWith rdf:type owl:SymmetricProperty. {# line 163. _:898645_88 owl:onProperty first:family-name. _:898645_88 owl:cardinality "1"^^. "1"^^ math:equalTo 1. first:Reptile rdfs:subClassOf _:898645_88. rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898704_88. _:898704_88 owl:onProperty first:family-name. _:898704_88 owl:hasValue "Bipedidae". rdfs:subClassOf first:Reptile. rdfs:subClassOf _:898802_88. _:898802_88 owl:onProperty first:family-name. _:898802_88 owl:hasValue "Leptotyphlopidae"} => { owl:disjointWith }} => { owl:disjointWith }} => { owl:disjointWith }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/I5.21/conclusions002.rdf in 193746 steps (364863 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:59 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 170. rdfs:range . rdfs:subClassOf } => { rdfs:range }. a rdf:Property. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions001.rdf in 156 steps (15600000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:59 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 173. rdfs:range . rdfs:range . _:1217840_102 owl:intersectionOf _:1217851_102. {# line 228. _:1217851_102 rdf:rest _:1217859_102. {# line 227. _:1217859_102 rdf:first } => {_:1217859_102 ns1:item }} => {_:1217851_102 ns1:item }. {# line 228. _:1217851_102 rdf:rest _:1217859_102. {# line 227. _:1217859_102 rdf:first } => {_:1217859_102 ns1:item }} => {_:1217851_102 ns1:item }} => { rdfs:range _:1217840_102}. _:1217840_102 owl:intersectionOf _:1217851_102. _:1217851_102 rdf:first . _:1217851_102 rdf:rest _:1217859_102. _:1217859_102 rdf:first . _:1217859_102 rdf:rest rdf:nil. a rdf:Property. _:1217840_102 a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions002.rdf in 10881 steps (362579 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:16:59 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 130. _:1245098_108 owl:onProperty . _:1245098_108 owl:allValuesFrom . rdfs:range } => {owl:Thing rdfs:subClassOf _:1245098_108}. _:1245098_108 owl:allValuesFrom . _:1245098_108 owl:onProperty . a owl:Class. a owl:ObjectProperty. {# line 58. rdfs:Class rdfs:subClassOf owl:Class. {# line 45. rdfs:subClassOf rdfs:domain rdfs:Class. owl:Thing rdfs:subClassOf rdfs:Resource} => {owl:Thing a rdfs:Class}} => {owl:Thing a owl:Class}. _:1245098_108 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions003.rdf in 49815 steps (291298 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:00 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 172. _:1354711_110 owl:onProperty . _:1354711_110 owl:allValuesFrom . owl:Thing rdfs:subClassOf _:1354711_110} => { rdfs:range }. a owl:Class. a owl:ObjectProperty. # Proof found for http://www.w3.org/2002/03owlt/I5.24/conclusions004.rdf in 405 steps (40500000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:00 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . _:b1_119 owl:equivalentClass _:b1_119. _:b1_119 owl:minCardinality "1"^^. _:b1_119 owl:onProperty . a owl:ObjectProperty. _:b1_119 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/I5.26/conclusions009.rdf in 460 steps (46000000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:00 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . _:1374757_125 owl:minCardinality "1"^^. _:1374757_125 owl:onProperty . a owl:ObjectProperty. _:1374757_125 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/I5.26/conclusions010.rdf in 459 steps (45854 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:00 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 131. rdf:type rdfs:domain . a rdfs:Class} => { rdfs:subClassOf }. # Proof found for http://www.w3.org/2002/03owlt/I5.3/conclusions014.rdf in 1252 steps (125074 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:00 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 68. rdfs:range xsd:integer. rdfs:range xsd:string} => { rdfs:subPropertyOf }. a rdf:Property. # Proof found for http://www.w3.org/2002/03owlt/I5.3/conclusions015.rdf in 600 steps (59940 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:00 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . _:1397936_141 owl:unionOf _:1397943_141. _:1397943_141 rdf:first . _:1397943_141 rdf:rest rdf:nil. a owl:Class. _:1397936_141 a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/I5.5/conclusions005.rdf in 1130 steps (112887 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 70. _:1400383_143 owl:onProperty first:p. _:1400383_143 owl:cardinality "128"^^. first:p rdfs:range xsd:byte. first:p rdfs:range xsd:unsignedInt. "128"^^ math:notLessThan 128. "5"^^ math:lessThan "128"^^. first:john a _:1400383_143} => {first:john first:p "5"^^}. first:p a owl:DatatypeProperty. first:john a owl:Thing. # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions004.rdf in 542 steps (54145 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 170. first:p rdfs:range . rdfs:subClassOf } => {first:p rdfs:range }. first:p a owl:DatatypeProperty. # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions006.rdf in 172 steps (17200000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 61. rdfs:range xsd:short. rdfs:range xsd:unsignedInt} => { rdfs:range }. a owl:DatatypeProperty. # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions008.rdf in 750 steps (75000000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 64. rdfs:range xsd:nonNegativeInteger. rdfs:range xsd:nonPositiveInteger} => { rdfs:range }. a owl:DatatypeProperty. # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions009.rdf in 752 steps (68301 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 71. _:1428705_163 owl:onProperty first:p. _:1428705_163 owl:someValuesFrom xsd:nonPositiveInteger. first:p rdfs:range xsd:nonNegativeInteger. "0"^^ math:equalTo 0. first:john a _:1428705_163} => {first:john first:p "0"^^}. first:john a owl:Thing. first:p a owl:DatatypeProperty. # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions010.rdf in 671 steps (6709 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . first:xx first:yy "1"^^. # Proof found for http://www.w3.org/2002/03owlt/I5.8/conclusions017.rdf in 1 step (100000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . = . # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001.rdf in 1 step (100000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:01 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix eg: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . eg:prop2 "value". # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002.rdf in 1 step (100000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:02 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 136. {# line 61. owl:inverseOf rdf:type owl:SymmetricProperty. owl:inverseOf } => { owl:inverseOf }. a owl:InverseFunctionalProperty} => { a owl:FunctionalProperty}. # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003.rdf in 469 steps (46900000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:02 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 137. owl:oneOf _:1463448_188. _:1463448_188 rdf:first _:1463449_188. _:1463448_188 rdf:rest rdf:nil. rdfs:domain } => { a owl:InverseFunctionalProperty}. # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004.rdf in 348 steps (34765 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:02 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . a owl:Ontology. first:Car a owl:Class. first:Automobile a owl:Class. first:car a owl:Thing. {# line 58. first:Car rdfs:subClassOf first:Automobile. first:car a first:Car} => {first:car a first:Automobile}. {# line 58. first:Automobile rdfs:subClassOf first:Car. first:auto a first:Automobile} => {first:auto a first:Car}. first:auto a owl:Thing. # Proof found for http://www.w3.org/2002/03owlt/Ontology/conclusions001.rdf in 2766 steps (276323 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:02 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . first:car a owl:Thing. {# line 58. first:Car rdfs:subClassOf first:Automobile. first:car a first:Car} => {first:car a first:Automobile}. first:auto a owl:Thing. {# line 58. first:Automobile rdfs:subClassOf first:Car. first:auto a first:Automobile} => {first:auto a first:Car}. first:Automobile a owl:Class. first:Car a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/Ontology/conclusions004.rdf in 2804 steps (280400000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:02 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . _:1502452_209 owl:unionOf _:1502475_209. _:1502475_209 rdf:first _:1502495_209. _:1502495_209 owl:onProperty . _:1502495_209 owl:someValuesFrom owl:Thing. _:1502475_209 rdf:rest _:1502502_209. _:1502502_209 rdf:first _:1502514_209. _:1502514_209 owl:maxCardinality "0"^^. _:1502514_209 owl:onProperty . _:1502502_209 rdf:rest rdf:nil. a owl:ObjectProperty. {# line 147. _:1502452_209 owl:unionOf _:1502475_209. {# line 227. _:1502475_209 rdf:first _:1502495_209} => {_:1502475_209 ns1:item _:1502495_209}. {# line 228. _:1502475_209 rdf:rest _:1502502_209. {# line 227. _:1502502_209 rdf:first _:1502514_209} => {_:1502502_209 ns1:item _:1502514_209}} => {_:1502475_209 ns1:item _:1502514_209}. _:1502495_209 owl:onProperty . _:1502495_209 owl:someValuesFrom owl:Thing. _:1502514_209 owl:onProperty . _:1502514_209 owl:maxCardinality "0"^^. "0"^^ math:equalTo 0} => { a _:1502452_209}. _:1502452_209 a owl:Class. _:1502495_209 a owl:Restriction. _:1502514_209 a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/Restriction/conclusions006.rdf in 55904 steps (328827 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:02 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 61. first:path rdf:type owl:SymmetricProperty. first:Ghent first:path first:Antwerp} => {first:Antwerp first:path first:Ghent}. # Proof found for http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001.rdf in 7 steps (700000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:03 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 168. first:equalityOnA rdfs:range first:A. first:A owl:oneOf _:1616923_216. {# line 252. _:1616923_216 rdf:first first:a. first:a first:equalityOnA first:a. _:1616923_216 rdf:rest _:1616931_216. {# line 252. _:1616931_216 rdf:first first:b. first:b first:equalityOnA first:b. _:1616931_216 rdf:rest rdf:nil. first:equalityOnA ns1:reflexive rdf:nil} => {first:equalityOnA ns1:reflexive _:1616931_216}} => {first:equalityOnA ns1:reflexive _:1616923_216}. _:1631250_220 owl:oneOf _:1631264_220. {# line 234. _:1616923_216 rdf:first first:a. {# line 227. _:1631264_220 rdf:first first:a} => {_:1631264_220 ns1:item first:a}. _:1616923_216 rdf:rest _:1616931_216. {# line 234. _:1616931_216 rdf:first first:b. {# line 228. _:1631264_220 rdf:rest _:1631275_220. {# line 227. _:1631275_220 rdf:first first:b} => {_:1631275_220 ns1:item first:b}} => {_:1631264_220 ns1:item first:b}. _:1616931_216 rdf:rest rdf:nil. _:1631264_220 ns1:includes rdf:nil} => {_:1631264_220 ns1:includes _:1616931_216}} => {_:1631264_220 ns1:includes _:1616923_216}. first:equalityOnA rdf:type owl:InverseFunctionalProperty} => {first:equalityOnA rdfs:domain _:1631250_220}. _:1631250_220 owl:oneOf _:1631264_220. _:1631264_220 rdf:first first:a. _:1631264_220 rdf:rest _:1631275_220. _:1631275_220 rdf:first first:b. _:1631275_220 rdf:rest _:1631283_220. _:1631283_220 rdf:first first:c. _:1631283_220 rdf:rest rdf:nil. first:a first:equalityOnA first:a. {# line 138. first:equalityOnA rdfs:range first:A. first:A owl:oneOf _:1616923_216. {# line 252. _:1616923_216 rdf:first first:a. first:a first:equalityOnA first:a. _:1616923_216 rdf:rest _:1616931_216. {# line 252. _:1616931_216 rdf:first first:b. first:b first:equalityOnA first:b. _:1616931_216 rdf:rest rdf:nil. first:equalityOnA ns1:reflexive rdf:nil} => {first:equalityOnA ns1:reflexive _:1616931_216}} => {first:equalityOnA ns1:reflexive _:1616923_216}. first:A owl:oneOf _:1616923_216. {# line 234. _:1616923_216 rdf:first first:a. {# line 227. _:1616923_216 rdf:first first:a} => {_:1616923_216 ns1:item first:a}. _:1616923_216 rdf:rest _:1616931_216. {# line 234. _:1616931_216 rdf:first first:b. {# line 228. _:1616923_216 rdf:rest _:1616931_216. {# line 227. _:1616931_216 rdf:first first:b} => {_:1616931_216 ns1:item first:b}} => {_:1616923_216 ns1:item first:b}. _:1616931_216 rdf:rest rdf:nil. _:1616923_216 ns1:includes rdf:nil} => {_:1616923_216 ns1:includes _:1616931_216}} => {_:1616923_216 ns1:includes _:1616923_216}. first:equalityOnA rdf:type owl:InverseFunctionalProperty} => {first:equalityOnA a owl:SymmetricProperty}. _:1631250_220 a owl:Class. first:c a owl:Thing. first:b a owl:Thing. first:a a owl:Thing. # Proof found for http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002.rdf in 10208 steps (145807 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:03 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 61. first:path rdf:type owl:SymmetricProperty. first:Ghent first:path first:Antwerp} => {first:Antwerp first:path first:Ghent}. first:Ghent a owl:Thing. {# line 58. owl:SymmetricProperty rdfs:subClassOf owl:ObjectProperty. first:path a owl:SymmetricProperty} => {first:path a owl:ObjectProperty}. first:Antwerp a owl:Thing. # Proof found for http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003.rdf in 7430 steps (247584 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:03 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 63. first:path rdf:type owl:TransitiveProperty. first:Antwerp first:path first:Amsterdam. first:Ghent first:path first:Antwerp} => {first:Ghent first:path first:Amsterdam}. # Proof found for http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001.rdf in 69 steps (6900000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:03 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . _:1688812_236 owl:onProperty first:symProp. _:1688812_236 owl:someValuesFrom owl:Thing. {# line 153. _:1688812_236 owl:onProperty first:symProp. _:1688812_236 owl:someValuesFrom owl:Thing. first:a first:symProp first:a. first:a a owl:Thing} => {first:a a _:1688812_236}. _:1688812_236 a owl:Restriction. _:1688812_236 a owl:Class. {# line 139. first:symProp rdfs:range _:1676425_232. _:1676425_232 owl:oneOf _:1676436_232. {# line 252. _:1676436_232 rdf:first first:a. first:a first:symProp first:a. _:1676436_232 rdf:rest _:1676444_232. {# line 252. _:1676444_232 rdf:first first:b. first:b first:symProp first:b. _:1676444_232 rdf:rest rdf:nil. first:symProp ns1:reflexive rdf:nil} => {first:symProp ns1:reflexive _:1676444_232}} => {first:symProp ns1:reflexive _:1676436_232}. first:symProp rdf:type owl:SymmetricProperty} => {first:symProp a owl:TransitiveProperty}. # Proof found for http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002.rdf in 2756 steps (275324 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:03 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . first:o a owl:Thing. {# line 150. _:1693930_238 owl:onProperty first:p. _:1693930_238 owl:allValuesFrom first:c. first:i first:p first:o. {# line 58. first:r rdfs:subClassOf _:1693930_238. first:i a first:r} => {first:i a _:1693930_238}} => {first:o a first:c}. first:c a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001.rdf in 3529 steps (176361 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:03 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . rdfs:subClassOf _:1707047_243. {# line 54. owl:cardinality rdfs:subPropertyOf owl:maxCardinality. _:1707047_243 owl:cardinality "1"^^} => {_:1707047_243 owl:maxCardinality "1"^^}. _:1707047_243 owl:onProperty . rdfs:subClassOf _:1707047_243. {# line 54. owl:cardinality rdfs:subPropertyOf owl:minCardinality. _:1707047_243 owl:cardinality "1"^^} => {_:1707047_243 owl:minCardinality "1"^^}. _:1707047_243 owl:onProperty . a owl:ObjectProperty. a owl:Class. _:1707047_243 a owl:Restriction. _:1707047_243 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/cardinality/conclusions001.rdf in 312 steps (31200000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:04 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 128. _:1713920_249 owl:onProperty . _:1713920_249 owl:minCardinality "1"^^. _:1713911_249 owl:onProperty . _:1713911_249 owl:maxCardinality "1"^^. _:1720124_253 owl:onProperty . _:1720124_253 owl:cardinality "1"^^. rdfs:subClassOf _:1713920_249. rdfs:subClassOf _:1713911_249} => { rdfs:subClassOf _:1720124_253}. _:1720124_253 owl:cardinality "1"^^. _:1720124_253 owl:onProperty . a owl:ObjectProperty. a owl:Class. _:1720124_253 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/cardinality/conclusions002.rdf in 2813 steps (281018 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:04 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . rdfs:subClassOf _:1725497_255. {# line 54. owl:cardinality rdfs:subPropertyOf owl:maxCardinality. _:1725497_255 owl:cardinality "2"^^} => {_:1725497_255 owl:maxCardinality "2"^^}. _:1725497_255 owl:onProperty . rdfs:subClassOf _:1725497_255. {# line 54. owl:cardinality rdfs:subPropertyOf owl:minCardinality. _:1725497_255 owl:cardinality "2"^^} => {_:1725497_255 owl:minCardinality "2"^^}. _:1725497_255 owl:onProperty . a owl:ObjectProperty. a owl:Class. _:1725497_255 a owl:Restriction. _:1725497_255 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/cardinality/conclusions003.rdf in 312 steps (31200000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:04 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . rdfs:subClassOf _:1732365_261. {# line 183. _:1732365_261 owl:intersectionOf _:1732390_261. {# line 227. _:1732390_261 rdf:first _:1732412_261} => {_:1732390_261 ns1:item _:1732412_261}. _:1732412_261 owl:onProperty . _:1732412_261 owl:maxCardinality "2"^^. {# line 228. _:1732390_261 rdf:rest _:1732421_261. {# line 227. _:1732421_261 rdf:first _:1732433_261} => {_:1732421_261 ns1:item _:1732433_261}} => {_:1732390_261 ns1:item _:1732433_261}. _:1732433_261 owl:onProperty . _:1732433_261 owl:minCardinality "2"^^. "2"^^ math:equalTo "2"^^. _:1745262_265 rdf:first _:1745274_265. _:1745262_265 rdf:rest rdf:nil. _:1745274_265 owl:onProperty . _:1745274_265 owl:cardinality "2"^^. "2"^^ math:equalTo "2"^^} => {_:1732365_261 owl:intersectionOf _:1745262_265}. _:1745262_265 rdf:first _:1745274_265. _:1745274_265 owl:cardinality "2"^^. _:1745274_265 owl:onProperty . _:1745262_265 rdf:rest rdf:nil. a owl:Class. _:1732365_261 a owl:Class. _:1745274_265 a owl:Restriction. a owl:ObjectProperty. # Proof found for http://www.w3.org/2002/03owlt/cardinality/conclusions004.rdf in 3619 steps (361538 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:04 GMT { ( . . . . . ). => . } { @prefix ns3: . @prefix str: . @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns4: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 183. owl:intersectionOf _:1751852_267. {# line 227. _:1751852_267 rdf:first _:1751874_267} => {_:1751852_267 ns1:item _:1751874_267}. _:1751874_267 owl:onProperty . _:1751874_267 owl:maxCardinality "1"^^. {# line 228. _:1751852_267 rdf:rest _:1751883_267. {# line 227. _:1751883_267 rdf:first _:1751895_267} => {_:1751883_267 ns1:item _:1751895_267}} => {_:1751852_267 ns1:item _:1751895_267}. _:1751895_267 owl:onProperty . _:1751895_267 owl:minCardinality "1"^^. "1"^^ math:equalTo "1"^^. _:1764527_271 rdf:first _:1764539_271. _:1764527_271 rdf:rest rdf:nil. _:1764539_271 owl:onProperty . _:1764539_271 owl:cardinality "1"^^. "1"^^ math:equalTo "1"^^} => { owl:intersectionOf _:1764527_271}. _:1764527_271 rdf:first _:1764539_271. _:1764539_271 owl:cardinality "1"^^. _:1764539_271 owl:onProperty . _:1764527_271 rdf:rest rdf:nil. _:1764539_271 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/cardinality/conclusions006.rdf in 3409 steps (340559 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:04 GMT { ( . . . . . ). => . } { @prefix math: . @prefix otest: . @prefix first: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 61. owl:complementOf rdf:type owl:SymmetricProperty. first:A owl:complementOf first:B} => {first:B owl:complementOf first:A}. # Proof found for http://www.w3.org/2002/03owlt/complementOf/conclusions001.rdf in 7 steps (700000 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:04 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Class. a owl:Class. {# line 15. owl:equivalentClass _:1780030_278. _:1780030_278 owl:intersectionOf _:1780047_278. _:1780047_278 rdf:first _:1780061_278. _:1780047_278 rdf:rest _:1780066_278. _:1780066_278 rdf:first _:1780074_278. _:1780066_278 rdf:rest rdf:nil. {# line 16. _:1778482_278 owl:complementOf . _:1780061_278 owl:complementOf . rdf:type _:1778482_278} => { a _:1780061_278}. {# line 16. _:1778477_278 owl:complementOf . _:1780074_278 owl:complementOf . rdf:type _:1778477_278} => { a _:1780074_278}} => { a }. {# line 15. owl:equivalentClass _:1779159_278. _:1779159_278 owl:intersectionOf _:1779173_278. _:1779173_278 rdf:first . _:1779173_278 rdf:rest _:1779184_278. _:1779184_278 rdf:first _:1779192_278. _:1779184_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1779865_278. _:1779865_278 owl:intersectionOf _:1779876_278. _:1779876_278 rdf:first . _:1779876_278 rdf:rest _:1779884_278. _:1779884_278 rdf:first . _:1779884_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1777592_278. _:1777592_278 owl:intersectionOf _:1777609_278. _:1777609_278 rdf:first _:1777623_278. _:1777609_278 rdf:rest _:1777628_278. _:1777628_278 rdf:first _:1777636_278. _:1777628_278 rdf:rest rdf:nil. {# line 16. _:1778557_278 owl:complementOf . _:1777623_278 owl:complementOf . rdf:type _:1778557_278} => { a _:1777623_278}. {# line 16. _:1778517_278 owl:complementOf . _:1777636_278 owl:complementOf . rdf:type _:1778517_278} => { a _:1777636_278}} => { a }. {# line 15. owl:equivalentClass _:1779909_278. _:1779909_278 owl:intersectionOf _:1779926_278. _:1779926_278 rdf:first _:1779940_278. _:1779926_278 rdf:rest _:1779945_278. _:1779945_278 rdf:first _:1779953_278. _:1779945_278 rdf:rest rdf:nil. {# line 16. _:1778522_278 owl:complementOf . _:1779940_278 owl:complementOf . rdf:type _:1778522_278} => { a _:1779940_278}. {# line 16. _:1778572_278 owl:complementOf . _:1779953_278 owl:complementOf . rdf:type _:1778572_278} => { a _:1779953_278}} => { a }} => { a }. {# line 16. _:1778562_278 owl:complementOf . _:1779192_278 owl:complementOf . rdf:type _:1778562_278} => { a _:1779192_278}} => { a }. {# line 15. owl:equivalentClass _:1777300_278. _:1777300_278 owl:intersectionOf _:1777317_278. _:1777317_278 rdf:first _:1777331_278. _:1777317_278 rdf:rest _:1777336_278. _:1777336_278 rdf:first _:1777344_278. _:1777336_278 rdf:rest rdf:nil. {# line 16. _:1778502_278 owl:complementOf . _:1777331_278 owl:complementOf . rdf:type _:1778502_278} => { a _:1777331_278}. {# line 16. _:1778497_278 owl:complementOf . _:1777344_278 owl:complementOf . rdf:type _:1778497_278} => { a _:1777344_278}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:1778103_278. _:1778103_278 owl:intersectionOf _:1778114_278. _:1778114_278 rdf:first . _:1778114_278 rdf:rest _:1778122_278. _:1778122_278 rdf:first . _:1778122_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1778144_278. _:1778144_278 owl:intersectionOf _:1778158_278. _:1778158_278 rdf:first . _:1778158_278 rdf:rest _:1778169_278. _:1778169_278 rdf:first _:1778177_278. _:1778169_278 rdf:rest rdf:nil. a . {# line 16. _:1778567_278 owl:complementOf . _:1778177_278 owl:complementOf . rdf:type _:1778567_278} => { a _:1778177_278}} => { a }. a } => { a }. {# line 12. owl:equivalentClass _:1778103_278. _:1778103_278 owl:intersectionOf _:1778114_278. _:1778114_278 rdf:first . {# line 15. owl:equivalentClass _:1778103_278. _:1778103_278 owl:intersectionOf _:1778114_278. _:1778114_278 rdf:first . _:1778114_278 rdf:rest _:1778122_278. _:1778122_278 rdf:first . _:1778122_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1778144_278. _:1778144_278 owl:intersectionOf _:1778158_278. _:1778158_278 rdf:first . _:1778158_278 rdf:rest _:1778169_278. _:1778169_278 rdf:first _:1778177_278. _:1778169_278 rdf:rest rdf:nil. a . {# line 16. _:1778567_278 owl:complementOf . _:1778177_278 owl:complementOf . rdf:type _:1778567_278} => { a _:1778177_278}} => { a }. a } => { a }} => { a }. {# line 12. owl:equivalentClass _:1779865_278. _:1779865_278 owl:intersectionOf _:1779876_278. _:1779876_278 rdf:first . {# line 12. owl:equivalentClass _:1779159_278. _:1779159_278 owl:intersectionOf _:1779173_278. _:1779173_278 rdf:first . {# line 15. owl:equivalentClass _:1779159_278. _:1779159_278 owl:intersectionOf _:1779173_278. _:1779173_278 rdf:first . _:1779173_278 rdf:rest _:1779184_278. _:1779184_278 rdf:first _:1779192_278. _:1779184_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1779865_278. _:1779865_278 owl:intersectionOf _:1779876_278. _:1779876_278 rdf:first . _:1779876_278 rdf:rest _:1779884_278. _:1779884_278 rdf:first . _:1779884_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1777592_278. _:1777592_278 owl:intersectionOf _:1777609_278. _:1777609_278 rdf:first _:1777623_278. _:1777609_278 rdf:rest _:1777628_278. _:1777628_278 rdf:first _:1777636_278. _:1777628_278 rdf:rest rdf:nil. {# line 16. _:1778557_278 owl:complementOf . _:1777623_278 owl:complementOf . rdf:type _:1778557_278} => { a _:1777623_278}. {# line 16. _:1778517_278 owl:complementOf . _:1777636_278 owl:complementOf . rdf:type _:1778517_278} => { a _:1777636_278}} => { a }. {# line 15. owl:equivalentClass _:1779909_278. _:1779909_278 owl:intersectionOf _:1779926_278. _:1779926_278 rdf:first _:1779940_278. _:1779926_278 rdf:rest _:1779945_278. _:1779945_278 rdf:first _:1779953_278. _:1779945_278 rdf:rest rdf:nil. {# line 16. _:1778522_278 owl:complementOf . _:1779940_278 owl:complementOf . rdf:type _:1778522_278} => { a _:1779940_278}. {# line 16. _:1778572_278 owl:complementOf . _:1779953_278 owl:complementOf . rdf:type _:1778572_278} => { a _:1779953_278}} => { a }} => { a }. {# line 16. _:1778562_278 owl:complementOf . _:1779192_278 owl:complementOf . rdf:type _:1778562_278} => { a _:1779192_278}} => { a }} => { a }} => { a }. {# line 12. owl:equivalentClass _:1779159_278. _:1779159_278 owl:intersectionOf _:1779173_278. _:1779173_278 rdf:first . {# line 15. owl:equivalentClass _:1779159_278. _:1779159_278 owl:intersectionOf _:1779173_278. _:1779173_278 rdf:first . _:1779173_278 rdf:rest _:1779184_278. _:1779184_278 rdf:first _:1779192_278. _:1779184_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1779865_278. _:1779865_278 owl:intersectionOf _:1779876_278. _:1779876_278 rdf:first . _:1779876_278 rdf:rest _:1779884_278. _:1779884_278 rdf:first . _:1779884_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1777592_278. _:1777592_278 owl:intersectionOf _:1777609_278. _:1777609_278 rdf:first _:1777623_278. _:1777609_278 rdf:rest _:1777628_278. _:1777628_278 rdf:first _:1777636_278. _:1777628_278 rdf:rest rdf:nil. {# line 16. _:1778557_278 owl:complementOf . _:1777623_278 owl:complementOf . rdf:type _:1778557_278} => { a _:1777623_278}. {# line 16. _:1778517_278 owl:complementOf . _:1777636_278 owl:complementOf . rdf:type _:1778517_278} => { a _:1777636_278}} => { a }. {# line 15. owl:equivalentClass _:1779909_278. _:1779909_278 owl:intersectionOf _:1779926_278. _:1779926_278 rdf:first _:1779940_278. _:1779926_278 rdf:rest _:1779945_278. _:1779945_278 rdf:first _:1779953_278. _:1779945_278 rdf:rest rdf:nil. {# line 16. _:1778522_278 owl:complementOf . _:1779940_278 owl:complementOf . rdf:type _:1778522_278} => { a _:1779940_278}. {# line 16. _:1778572_278 owl:complementOf . _:1779953_278 owl:complementOf . rdf:type _:1778572_278} => { a _:1779953_278}} => { a }} => { a }. {# line 16. _:1778562_278 owl:complementOf . _:1779192_278 owl:complementOf . rdf:type _:1778562_278} => { a _:1779192_278}} => { a }} => { a }. {# line 13. owl:equivalentClass _:1779865_278. _:1779865_278 owl:intersectionOf _:1779876_278. _:1779876_278 rdf:rest _:1779884_278. _:1779884_278 rdf:first . {# line 12. owl:equivalentClass _:1779159_278. _:1779159_278 owl:intersectionOf _:1779173_278. _:1779173_278 rdf:first . {# line 15. owl:equivalentClass _:1779159_278. _:1779159_278 owl:intersectionOf _:1779173_278. _:1779173_278 rdf:first . _:1779173_278 rdf:rest _:1779184_278. _:1779184_278 rdf:first _:1779192_278. _:1779184_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1779865_278. _:1779865_278 owl:intersectionOf _:1779876_278. _:1779876_278 rdf:first . _:1779876_278 rdf:rest _:1779884_278. _:1779884_278 rdf:first . _:1779884_278 rdf:rest rdf:nil. {# line 15. owl:equivalentClass _:1777592_278. _:1777592_278 owl:intersectionOf _:1777609_278. _:1777609_278 rdf:first _:1777623_278. _:1777609_278 rdf:rest _:1777628_278. _:1777628_278 rdf:first _:1777636_278. _:1777628_278 rdf:rest rdf:nil. {# line 16. _:1778557_278 owl:complementOf . _:1777623_278 owl:complementOf . rdf:type _:1778557_278} => { a _:1777623_278}. {# line 16. _:1778517_278 owl:complementOf . _:1777636_278 owl:complementOf . rdf:type _:1778517_278} => { a _:1777636_278}} => { a }. {# line 15. owl:equivalentClass _:1779909_278. _:1779909_278 owl:intersectionOf _:1779926_278. _:1779926_278 rdf:first _:1779940_278. _:1779926_278 rdf:rest _:1779945_278. _:1779945_278 rdf:first _:1779953_278. _:1779945_278 rdf:rest rdf:nil. {# line 16. _:1778522_278 owl:complementOf . _:1779940_278 owl:complementOf . rdf:type _:1778522_278} => { a _:1779940_278}. {# line 16. _:1778572_278 owl:complementOf . _:1779953_278 owl:complementOf . rdf:type _:1778572_278} => { a _:1779953_278}} => { a }} => { a }. {# line 16. _:1778562_278 owl:complementOf . _:1779192_278 owl:complementOf . rdf:type _:1778562_278} => { a _:1779192_278}} => { a }} => { a }} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions201.rdf in 3942291 steps (770278 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:09 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix oiled: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. {# line 15. owl:equivalentClass _:5730469_282. _:5730469_282 owl:intersectionOf _:5730483_282. _:5730483_282 rdf:first oiled:C58. _:5730483_282 rdf:rest _:5730494_282. _:5730494_282 rdf:first _:5730502_282. _:5730494_282 rdf:rest rdf:nil. {# line 14. oiled:C58 owl:equivalentClass _:5730643_282. _:5730643_282 owl:onProperty oiled:R1. _:5730643_282 owl:someValuesFrom oiled:C2. oiled:R1 oiled:V8476. oiled:V8476 a oiled:C2} => { a oiled:C58}. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5730502_282 owl:complementOf oiled:C2. rdf:type _:5730586_282} => { a _:5730502_282}} => { a }. {# line 12. oiled:C60 owl:equivalentClass _:5730469_282. _:5730469_282 owl:intersectionOf _:5730483_282. _:5730483_282 rdf:first . {# line 15. oiled:C60 owl:equivalentClass _:5730469_282. _:5730469_282 owl:intersectionOf _:5730483_282. _:5730483_282 rdf:first oiled:C58. _:5730483_282 rdf:rest _:5730494_282. _:5730494_282 rdf:first _:5730502_282. _:5730494_282 rdf:rest rdf:nil. {# line 14. oiled:C58 owl:equivalentClass _:5730643_282. _:5730643_282 owl:onProperty oiled:R1. _:5730643_282 owl:someValuesFrom oiled:C2. oiled:R1 oiled:V8476. oiled:V8476 a oiled:C2} => { a oiled:C58}. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5730502_282 owl:complementOf oiled:C2. rdf:type _:5730586_282} => { a _:5730502_282}} => { a oiled:C60}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:5730128_282. _:5730128_282 owl:intersectionOf _:5730145_282. _:5730145_282 rdf:first _:5730159_282. _:5730145_282 rdf:rest _:5730164_282. _:5730164_282 rdf:first _:5730172_282. _:5730164_282 rdf:rest rdf:nil. {# line 16. _:5730623_282 owl:complementOf oiled:C78. _:5730159_282 owl:complementOf oiled:C78. rdf:type _:5730623_282} => { a _:5730159_282}. {# line 16. _:5730618_282 owl:complementOf oiled:C2. _:5730172_282 owl:complementOf oiled:C2. rdf:type _:5730618_282} => { a _:5730172_282}} => { a }. a owl:Thing. {# line 12. oiled:C10 owl:equivalentClass _:5731596_282. _:5731596_282 owl:intersectionOf _:5731607_282. _:5731607_282 rdf:first . {# line 15. oiled:C10 owl:equivalentClass _:5731596_282. _:5731596_282 owl:intersectionOf _:5731607_282. _:5731607_282 rdf:first oiled:C4. _:5731607_282 rdf:rest _:5731615_282. _:5731615_282 rdf:first oiled:C8. _:5731615_282 rdf:rest rdf:nil. {# line 14. oiled:C4 owl:equivalentClass _:5731661_282. _:5731661_282 owl:onProperty oiled:R1. _:5731661_282 owl:someValuesFrom _:5731671_282. oiled:R1 oiled:V8472. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5731671_282 owl:complementOf oiled:C2. oiled:V8472 rdf:type _:5730586_282} => {oiled:V8472 a _:5731671_282}} => { a oiled:C4}. {# line 14. oiled:C8 owl:equivalentClass _:5731567_282. _:5731567_282 owl:onProperty oiled:R1. _:5731567_282 owl:someValuesFrom _:5731577_282. oiled:R1 oiled:V8469. {# line 16. _:5730878_282 owl:complementOf oiled:C6. _:5731577_282 owl:complementOf oiled:C6. oiled:V8469 rdf:type _:5730878_282} => {oiled:V8469 a _:5731577_282}} => { a oiled:C8}} => { a oiled:C10}} => { a }. {# line 15. owl:equivalentClass _:5731596_282. _:5731596_282 owl:intersectionOf _:5731607_282. _:5731607_282 rdf:first oiled:C4. _:5731607_282 rdf:rest _:5731615_282. _:5731615_282 rdf:first oiled:C8. _:5731615_282 rdf:rest rdf:nil. {# line 14. oiled:C4 owl:equivalentClass _:5731661_282. _:5731661_282 owl:onProperty oiled:R1. _:5731661_282 owl:someValuesFrom _:5731671_282. oiled:R1 oiled:V8472. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5731671_282 owl:complementOf oiled:C2. oiled:V8472 rdf:type _:5730586_282} => {oiled:V8472 a _:5731671_282}} => { a oiled:C4}. {# line 14. oiled:C8 owl:equivalentClass _:5731567_282. _:5731567_282 owl:onProperty oiled:R1. _:5731567_282 owl:someValuesFrom _:5731577_282. oiled:R1 oiled:V8469. {# line 16. _:5730878_282 owl:complementOf oiled:C6. _:5731577_282 owl:complementOf oiled:C6. oiled:V8469 rdf:type _:5730878_282} => {oiled:V8469 a _:5731577_282}} => { a oiled:C8}} => { a }. {# line 14. owl:equivalentClass _:5731205_282. _:5731205_282 owl:onProperty oiled:R1. _:5731205_282 owl:someValuesFrom _:5731215_282. oiled:R1 oiled:V8474. {# line 16. _:5730543_282 owl:complementOf oiled:C32. _:5731215_282 owl:complementOf oiled:C32. oiled:V8474 rdf:type _:5730543_282} => {oiled:V8474 a _:5731215_282}} => { a }. a owl:Thing. {# line 14. owl:equivalentClass _:5730445_282. _:5730445_282 owl:onProperty oiled:R1. _:5730445_282 owl:someValuesFrom oiled:C60. oiled:R1 oiled:V8472. {# line 15. oiled:C60 owl:equivalentClass _:5730469_282. _:5730469_282 owl:intersectionOf _:5730483_282. _:5730483_282 rdf:first oiled:C58. _:5730483_282 rdf:rest _:5730494_282. _:5730494_282 rdf:first _:5730502_282. _:5730494_282 rdf:rest rdf:nil. {# line 14. oiled:C58 owl:equivalentClass _:5730643_282. _:5730643_282 owl:onProperty oiled:R1. _:5730643_282 owl:someValuesFrom oiled:C2. oiled:V8472 oiled:R1 oiled:V8476. oiled:V8476 a oiled:C2} => {oiled:V8472 a oiled:C58}. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5730502_282 owl:complementOf oiled:C2. oiled:V8472 rdf:type _:5730586_282} => {oiled:V8472 a _:5730502_282}} => {oiled:V8472 a oiled:C60}} => { a }. {# line 14. owl:equivalentClass _:5730101_282. _:5730101_282 owl:onProperty oiled:R1. _:5730101_282 owl:someValuesFrom oiled:C80. oiled:R1 oiled:V8471. {# line 15. oiled:C80 owl:equivalentClass _:5730128_282. _:5730128_282 owl:intersectionOf _:5730145_282. _:5730145_282 rdf:first _:5730159_282. _:5730145_282 rdf:rest _:5730164_282. _:5730164_282 rdf:first _:5730172_282. _:5730164_282 rdf:rest rdf:nil. {# line 16. _:5730623_282 owl:complementOf oiled:C78. _:5730159_282 owl:complementOf oiled:C78. oiled:V8471 rdf:type _:5730623_282} => {oiled:V8471 a _:5730159_282}. {# line 16. _:5730618_282 owl:complementOf oiled:C2. _:5730172_282 owl:complementOf oiled:C2. oiled:V8471 rdf:type _:5730618_282} => {oiled:V8471 a _:5730172_282}} => {oiled:V8471 a oiled:C80}} => { a }. {# line 14. owl:equivalentClass _:5730985_282. _:5730985_282 owl:onProperty oiled:R1. _:5730985_282 owl:someValuesFrom _:5730995_282. oiled:R1 oiled:V8472. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5730995_282 owl:complementOf oiled:C2. oiled:V8472 rdf:type _:5730586_282} => {oiled:V8472 a _:5730995_282}} => { a }. {# line 14. owl:equivalentClass _:5731422_282. _:5731422_282 owl:onProperty oiled:R1. _:5731422_282 owl:someValuesFrom _:5731432_282. oiled:R1 oiled:V8472. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5731432_282 owl:complementOf oiled:C2. oiled:V8472 rdf:type _:5730586_282} => {oiled:V8472 a _:5731432_282}} => { a }. {# line 13. oiled:C10 owl:equivalentClass _:5731596_282. _:5731596_282 owl:intersectionOf _:5731607_282. _:5731607_282 rdf:rest _:5731615_282. _:5731615_282 rdf:first . {# line 15. oiled:C10 owl:equivalentClass _:5731596_282. _:5731596_282 owl:intersectionOf _:5731607_282. _:5731607_282 rdf:first oiled:C4. _:5731607_282 rdf:rest _:5731615_282. _:5731615_282 rdf:first oiled:C8. _:5731615_282 rdf:rest rdf:nil. {# line 14. oiled:C4 owl:equivalentClass _:5731661_282. _:5731661_282 owl:onProperty oiled:R1. _:5731661_282 owl:someValuesFrom _:5731671_282. oiled:R1 oiled:V8472. {# line 16. _:5730586_282 owl:complementOf oiled:C2. _:5731671_282 owl:complementOf oiled:C2. oiled:V8472 rdf:type _:5730586_282} => {oiled:V8472 a _:5731671_282}} => { a oiled:C4}. {# line 14. oiled:C8 owl:equivalentClass _:5731567_282. _:5731567_282 owl:onProperty oiled:R1. _:5731567_282 owl:someValuesFrom _:5731577_282. oiled:R1 oiled:V8469. {# line 16. _:5730878_282 owl:complementOf oiled:C6. _:5731577_282 owl:complementOf oiled:C6. oiled:V8469 rdf:type _:5730878_282} => {oiled:V8469 a _:5731577_282}} => { a oiled:C8}} => { a oiled:C10}} => { a }. {# line 14. owl:equivalentClass _:5731530_282. _:5731530_282 owl:onProperty oiled:R1. _:5731530_282 owl:someValuesFrom oiled:TOP. oiled:R1 oiled:V8470. oiled:V8470 a oiled:TOP} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions202.rdf in 436041 steps (537651 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:11 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix oiled: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. {# line 13. oiled:TEST owl:equivalentClass _:6173912_286. _:6173912_286 owl:intersectionOf _:6173923_286. _:6173923_286 rdf:rest _:6173931_286. _:6173931_286 rdf:first . a oiled:TEST} => { a }. {# line 13. oiled:C140 owl:equivalentClass _:6174127_286. _:6174127_286 owl:intersectionOf _:6174138_286. _:6174138_286 rdf:rest _:6174146_286. _:6174146_286 rdf:first . {# line 13. oiled:TEST owl:equivalentClass _:6173912_286. _:6173912_286 owl:intersectionOf _:6173923_286. _:6173923_286 rdf:rest _:6173931_286. _:6173931_286 rdf:first oiled:C140. a oiled:TEST} => { a oiled:C140}} => { a }. a owl:Thing. {# line 12. oiled:TEST owl:equivalentClass _:6173912_286. _:6173912_286 owl:intersectionOf _:6173923_286. _:6173923_286 rdf:first . a oiled:TEST} => { a }. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions203.rdf in 22671 steps (566633 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:11 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 12. owl:equivalentClass _:6199206_290. _:6199206_290 owl:intersectionOf _:6199217_290. _:6199217_290 rdf:first . a } => { a }. {# line 13. owl:equivalentClass _:6201677_290. _:6201677_290 owl:intersectionOf _:6201688_290. _:6201688_290 rdf:rest _:6201696_290. _:6201696_290 rdf:first . {# line 12. owl:equivalentClass _:6199206_290. _:6199206_290 owl:intersectionOf _:6199217_290. _:6199217_290 rdf:first . a } => { a }} => { a }. a owl:Thing. {# line 13. owl:equivalentClass _:6199206_290. _:6199206_290 owl:intersectionOf _:6199217_290. _:6199217_290 rdf:rest _:6199225_290. _:6199225_290 rdf:first . a } => { a }. {# line 12. owl:equivalentClass _:6201677_290. _:6201677_290 owl:intersectionOf _:6201688_290. _:6201688_290 rdf:first . {# line 12. owl:equivalentClass _:6199206_290. _:6199206_290 owl:intersectionOf _:6199217_290. _:6199217_290 rdf:first . a } => { a }} => { a }. {# line 13. owl:equivalentClass _:6202239_290. _:6202239_290 owl:intersectionOf _:6202250_290. _:6202250_290 rdf:rest _:6202258_290. _:6202258_290 rdf:first . {# line 12. owl:equivalentClass _:6201677_290. _:6201677_290 owl:intersectionOf _:6201688_290. _:6201688_290 rdf:first . {# line 12. owl:equivalentClass _:6199206_290. _:6199206_290 owl:intersectionOf _:6199217_290. _:6199217_290 rdf:first . a } => { a }} => { a }} => { a }. {# line 12. owl:equivalentClass _:6200456_290. _:6200456_290 owl:intersectionOf _:6200470_290. _:6200470_290 rdf:first . {# line 13. owl:equivalentClass _:6199206_290. _:6199206_290 owl:intersectionOf _:6199217_290. _:6199217_290 rdf:rest _:6199225_290. _:6199225_290 rdf:first . a } => { a }} => { a }. {# line 12. owl:equivalentClass _:6202239_290. _:6202239_290 owl:intersectionOf _:6202250_290. _:6202250_290 rdf:first . {# line 12. owl:equivalentClass _:6201677_290. _:6201677_290 owl:intersectionOf _:6201688_290. _:6201688_290 rdf:first . {# line 12. owl:equivalentClass _:6199206_290. _:6199206_290 owl:intersectionOf _:6199217_290. _:6199217_290 rdf:first . a } => { a }} => { a }} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions204.rdf in 102293 steps (681907 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:11 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix oiled: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Class. {# line 15. owl:equivalentClass _:6307048_294. _:6307048_294 owl:intersectionOf _:6307065_294. _:6307065_294 rdf:first _:6307079_294. _:6307065_294 rdf:rest _:6307084_294. _:6307084_294 rdf:first _:6307092_294. _:6307084_294 rdf:rest rdf:nil. {# line 16. _:6307160_294 owl:complementOf oiled:C2. _:6307079_294 owl:complementOf oiled:C2. rdf:type _:6307160_294} => { a _:6307079_294}. {# line 16. _:6307148_294 owl:complementOf oiled:C10. _:6307092_294 owl:complementOf oiled:C10. rdf:type _:6307148_294} => { a _:6307092_294}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:6306814_294. _:6306814_294 owl:intersectionOf _:6306831_294. _:6306831_294 rdf:first _:6306845_294. _:6306831_294 rdf:rest _:6306850_294. _:6306850_294 rdf:first _:6306858_294. _:6306850_294 rdf:rest rdf:nil. {# line 16. _:6307190_294 owl:complementOf oiled:C2. _:6306845_294 owl:complementOf oiled:C2. rdf:type _:6307190_294} => { a _:6306845_294}. {# line 16. _:6307185_294 owl:complementOf oiled:C4. _:6306858_294 owl:complementOf oiled:C4. rdf:type _:6307185_294} => { a _:6306858_294}} => { a }. a owl:Thing. a owl:Class. {# line 12. oiled:C16 owl:equivalentClass _:6306987_294. _:6306987_294 owl:intersectionOf _:6306998_294. _:6306998_294 rdf:first . {# line 13. oiled:C18 owl:equivalentClass _:6306949_294. _:6306949_294 owl:intersectionOf _:6306960_294. _:6306960_294 rdf:rest _:6306968_294. _:6306968_294 rdf:first oiled:C16. {# line 12. oiled:TEST owl:equivalentClass _:6306905_294. _:6306905_294 owl:intersectionOf _:6306916_294. _:6306916_294 rdf:first oiled:C18. a oiled:TEST} => { a oiled:C18}} => { a oiled:C16}} => { a }. {# line 12. oiled:TEST owl:equivalentClass _:6306905_294. _:6306905_294 owl:intersectionOf _:6306916_294. _:6306916_294 rdf:first . a oiled:TEST} => { a }. a owl:Thing. {# line 13. oiled:C18 owl:equivalentClass _:6306949_294. _:6306949_294 owl:intersectionOf _:6306960_294. _:6306960_294 rdf:rest _:6306968_294. _:6306968_294 rdf:first . {# line 12. oiled:TEST owl:equivalentClass _:6306905_294. _:6306905_294 owl:intersectionOf _:6306916_294. _:6306916_294 rdf:first oiled:C18. a oiled:TEST} => { a oiled:C18}} => { a }. {# line 13. oiled:C16 owl:equivalentClass _:6306987_294. _:6306987_294 owl:intersectionOf _:6306998_294. _:6306998_294 rdf:rest _:6307006_294. _:6307006_294 rdf:first . {# line 13. oiled:C18 owl:equivalentClass _:6306949_294. _:6306949_294 owl:intersectionOf _:6306960_294. _:6306960_294 rdf:rest _:6306968_294. _:6306968_294 rdf:first oiled:C16. {# line 12. oiled:TEST owl:equivalentClass _:6306905_294. _:6306905_294 owl:intersectionOf _:6306916_294. _:6306916_294 rdf:first oiled:C18. a oiled:TEST} => { a oiled:C18}} => { a oiled:C16}} => { a }. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions205.rdf in 6904 steps (345027 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:11 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix oiled: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. {# line 17. _:6318885_298 owl:complementOf oiled:C74. oiled:C74 owl:equivalentClass _:6315804_298. _:6315804_298 owl:intersectionOf _:6315821_298. _:6315821_298 rdf:first _:6315835_298. _:6315821_298 rdf:rest _:6315840_298. _:6315840_298 rdf:first _:6315848_298. _:6315840_298 rdf:rest rdf:nil. _:6315848_298 owl:complementOf . a _:6318885_298. {# line 16. _:6318915_298 owl:complementOf oiled:C18. _:6315835_298 owl:complementOf oiled:C18. rdf:type _:6318915_298} => { a _:6315835_298}} => { a }. a owl:Thing. {# line 14. owl:equivalentClass _:6316052_298. _:6316052_298 owl:onProperty oiled:R1. _:6316052_298 owl:someValuesFrom _:6316062_298. oiled:R1 oiled:V21032. {# line 16. _:6318688_298 owl:complementOf oiled:C2. _:6316062_298 owl:complementOf oiled:C2. oiled:V21032 rdf:type _:6318688_298} => {oiled:V21032 a _:6316062_298}} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. {# line 14. owl:equivalentClass _:6316646_298. _:6316646_298 owl:onProperty oiled:R1. _:6316646_298 owl:someValuesFrom _:6316656_298. oiled:R1 oiled:V21033. {# line 16. _:6318667_298 owl:complementOf oiled:C12. _:6316656_298 owl:complementOf oiled:C12. oiled:V21033 rdf:type _:6318667_298} => {oiled:V21033 a _:6316656_298}} => { a }. {# line 14. owl:equivalentClass _:6316864_298. _:6316864_298 owl:onProperty oiled:R1. _:6316864_298 owl:someValuesFrom _:6316874_298. oiled:R1 oiled:V21034. {# line 16. _:6318646_298 owl:complementOf oiled:C2. _:6316874_298 owl:complementOf oiled:C2. oiled:V21034 rdf:type _:6318646_298} => {oiled:V21034 a _:6316874_298}} => { a }. a owl:Thing. a owl:Class. {# line 14. owl:equivalentClass _:6317686_298. _:6317686_298 owl:onProperty oiled:R1. _:6317686_298 owl:someValuesFrom _:6317696_298. oiled:R1 oiled:V21036. {# line 16. _:6318604_298 owl:complementOf oiled:C2. _:6317696_298 owl:complementOf oiled:C2. oiled:V21036 rdf:type _:6318604_298} => {oiled:V21036 a _:6317696_298}} => { a }. a owl:Thing. {# line 14. owl:equivalentClass _:6317468_298. _:6317468_298 owl:onProperty oiled:R1. _:6317468_298 owl:someValuesFrom _:6317478_298. oiled:R1 oiled:V21035. {# line 16. _:6318625_298 owl:complementOf oiled:C12. _:6317478_298 owl:complementOf oiled:C12. oiled:V21035 rdf:type _:6318625_298} => {oiled:V21035 a _:6317478_298}} => { a }. a owl:Class. {# line 13. oiled:C60 owl:equivalentClass _:6316257_298. _:6316257_298 owl:intersectionOf _:6316268_298. _:6316268_298 rdf:rest _:6316276_298. _:6316276_298 rdf:first . {# line 12. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:first oiled:C60. {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a oiled:C60}} => { a }. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first . {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a }. {# line 12. oiled:C58 owl:equivalentClass _:6316323_298. _:6316323_298 owl:intersectionOf _:6316334_298. _:6316334_298 rdf:first . {# line 13. oiled:C60 owl:equivalentClass _:6316257_298. _:6316257_298 owl:intersectionOf _:6316268_298. _:6316268_298 rdf:rest _:6316276_298. _:6316276_298 rdf:first oiled:C58. {# line 12. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:first oiled:C60. {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a oiled:C60}} => { a oiled:C58}} => { a }. {# line 13. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:rest _:6315497_298. _:6315497_298 rdf:first . {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a }. {# line 13. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:rest _:6318283_298. _:6318283_298 rdf:first . {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a }. {# line 12. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:first . {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a }. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first . {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a }. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first . {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a }. {# line 13. oiled:C22 owl:equivalentClass _:6317753_298. _:6317753_298 owl:intersectionOf _:6317764_298. _:6317764_298 rdf:rest _:6317772_298. _:6317772_298 rdf:first . {# line 12. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:first oiled:C22. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C22}} => { a }. {# line 13. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:rest _:6315579_298. _:6315579_298 rdf:first . {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a }. a owl:Thing. {# line 13. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:rest _:6318359_298. _:6318359_298 rdf:first . {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a }. {# line 12. oiled:C180 owl:equivalentClass _:6315915_298. _:6315915_298 owl:intersectionOf _:6315929_298. _:6315929_298 rdf:first . {# line 13. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:rest _:6315277_298. _:6315277_298 rdf:first oiled:C180. a oiled:TEST} => { a oiled:C180}} => { a }. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first . {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a }. {# line 13. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:rest _:6315655_298. _:6315655_298 rdf:first . {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a }. {# line 13. oiled:C10 owl:equivalentClass _:6318129_298. _:6318129_298 owl:intersectionOf _:6318140_298. _:6318140_298 rdf:rest _:6318148_298. _:6318148_298 rdf:first . {# line 12. oiled:C16 owl:equivalentClass _:6317946_298. _:6317946_298 owl:intersectionOf _:6317957_298. _:6317957_298 rdf:first oiled:C10. {# line 12. oiled:C22 owl:equivalentClass _:6317753_298. _:6317753_298 owl:intersectionOf _:6317764_298. _:6317764_298 rdf:first oiled:C16. {# line 12. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:first oiled:C22. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C22}} => { a oiled:C16}} => { a oiled:C10}} => { a }. {# line 12. oiled:C10 owl:equivalentClass _:6318129_298. _:6318129_298 owl:intersectionOf _:6318140_298. _:6318140_298 rdf:first . {# line 12. oiled:C16 owl:equivalentClass _:6317946_298. _:6317946_298 owl:intersectionOf _:6317957_298. _:6317957_298 rdf:first oiled:C10. {# line 12. oiled:C22 owl:equivalentClass _:6317753_298. _:6317753_298 owl:intersectionOf _:6317764_298. _:6317764_298 rdf:first oiled:C16. {# line 12. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:first oiled:C22. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C22}} => { a oiled:C16}} => { a oiled:C10}} => { a }. {# line 13. oiled:C110 owl:equivalentClass _:6318378_298. _:6318378_298 owl:intersectionOf _:6318389_298. _:6318389_298 rdf:rest _:6318397_298. _:6318397_298 rdf:first . {# line 13. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:rest _:6318359_298. _:6318359_298 rdf:first oiled:C110. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C110}} => { a }. {# line 12. oiled:C22 owl:equivalentClass _:6317753_298. _:6317753_298 owl:intersectionOf _:6317764_298. _:6317764_298 rdf:first . {# line 12. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:first oiled:C22. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C22}} => { a }. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first . {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a }. {# line 12. oiled:C80 owl:equivalentClass _:6315674_298. _:6315674_298 owl:intersectionOf _:6315685_298. _:6315685_298 rdf:first . {# line 13. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:rest _:6315655_298. _:6315655_298 rdf:first oiled:C80. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C80}} => { a }. {# line 13. oiled:C16 owl:equivalentClass _:6317946_298. _:6317946_298 owl:intersectionOf _:6317957_298. _:6317957_298 rdf:rest _:6317965_298. _:6317965_298 rdf:first . {# line 12. oiled:C22 owl:equivalentClass _:6317753_298. _:6317753_298 owl:intersectionOf _:6317764_298. _:6317764_298 rdf:first oiled:C16. {# line 12. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:first oiled:C22. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C22}} => { a oiled:C16}} => { a }. {# line 13. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:rest _:6317561_298. _:6317561_298 rdf:first . {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a }. {# line 12. oiled:C174 owl:equivalentClass _:6316150_298. _:6316150_298 owl:intersectionOf _:6316164_298. _:6316164_298 rdf:first . {# line 12. oiled:C180 owl:equivalentClass _:6315915_298. _:6315915_298 owl:intersectionOf _:6315929_298. _:6315929_298 rdf:first oiled:C174. {# line 13. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:rest _:6315277_298. _:6315277_298 rdf:first oiled:C180. a oiled:TEST} => { a oiled:C180}} => { a oiled:C174}} => { a }. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first . {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a }. {# line 12. oiled:C16 owl:equivalentClass _:6317946_298. _:6317946_298 owl:intersectionOf _:6317957_298. _:6317957_298 rdf:first . {# line 12. oiled:C22 owl:equivalentClass _:6317753_298. _:6317753_298 owl:intersectionOf _:6317764_298. _:6317764_298 rdf:first oiled:C16. {# line 12. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:first oiled:C22. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C22}} => { a oiled:C16}} => { a }. {# line 12. oiled:C60 owl:equivalentClass _:6316257_298. _:6316257_298 owl:intersectionOf _:6316268_298. _:6316268_298 rdf:first . {# line 12. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:first oiled:C60. {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a oiled:C60}} => { a }. {# line 13. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:rest _:6317734_298. _:6317734_298 rdf:first . {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a }. {# line 13. oiled:C42 owl:equivalentClass _:6316931_298. _:6316931_298 owl:intersectionOf _:6316942_298. _:6316942_298 rdf:rest _:6316950_298. _:6316950_298 rdf:first . {# line 12. oiled:C60 owl:equivalentClass _:6316257_298. _:6316257_298 owl:intersectionOf _:6316268_298. _:6316268_298 rdf:first oiled:C42. {# line 12. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:first oiled:C60. {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a oiled:C60}} => { a oiled:C42}} => { a }. {# line 13. oiled:C132 owl:equivalentClass _:6317791_298. _:6317791_298 owl:intersectionOf _:6317802_298. _:6317802_298 rdf:rest _:6317810_298. _:6317810_298 rdf:first . {# line 13. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:rest _:6317734_298. _:6317734_298 rdf:first oiled:C132. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C132}} => { a }. {# line 12. oiled:C42 owl:equivalentClass _:6316931_298. _:6316931_298 owl:intersectionOf _:6316942_298. _:6316942_298 rdf:first . {# line 12. oiled:C60 owl:equivalentClass _:6316257_298. _:6316257_298 owl:intersectionOf _:6316268_298. _:6316268_298 rdf:first oiled:C42. {# line 12. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:first oiled:C60. {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a oiled:C60}} => { a oiled:C42}} => { a }. {# line 12. oiled:C38 owl:equivalentClass _:6317093_298. _:6317093_298 owl:intersectionOf _:6317104_298. _:6317104_298 rdf:first . {# line 12. oiled:C42 owl:equivalentClass _:6316931_298. _:6316931_298 owl:intersectionOf _:6316942_298. _:6316942_298 rdf:first oiled:C38. {# line 12. oiled:C60 owl:equivalentClass _:6316257_298. _:6316257_298 owl:intersectionOf _:6316268_298. _:6316268_298 rdf:first oiled:C42. {# line 12. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:first oiled:C60. {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a oiled:C60}} => { a oiled:C42}} => { a oiled:C38}} => { a }. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first . a oiled:TEST} => { a }. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first . {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a }. {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first . {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a }. {# line 13. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:rest _:6316846_298. _:6316846_298 rdf:first . {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a }. {# line 13. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:rest _:6316128_298. _:6316128_298 rdf:first . {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a }. {# line 13. oiled:C154 owl:equivalentClass _:6316893_298. _:6316893_298 owl:intersectionOf _:6316904_298. _:6316904_298 rdf:rest _:6316912_298. _:6316912_298 rdf:first . {# line 13. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:rest _:6316846_298. _:6316846_298 rdf:first oiled:C154. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C154}} => { a }. {# line 12. oiled:C64 owl:equivalentClass _:6316109_298. _:6316109_298 owl:intersectionOf _:6316120_298. _:6316120_298 rdf:first . {# line 12. oiled:C82 owl:equivalentClass _:6315636_298. _:6315636_298 owl:intersectionOf _:6315647_298. _:6315647_298 rdf:first oiled:C64. {# line 12. oiled:C86 owl:equivalentClass _:6315560_298. _:6315560_298 owl:intersectionOf _:6315571_298. _:6315571_298 rdf:first oiled:C82. {# line 12. oiled:C90 owl:equivalentClass _:6315478_298. _:6315478_298 owl:intersectionOf _:6315489_298. _:6315489_298 rdf:first oiled:C86. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first oiled:C90. {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a oiled:C90}} => { a oiled:C86}} => { a oiled:C82}} => { a oiled:C64}} => { a }. {# line 12. oiled:C112 owl:equivalentClass _:6318340_298. _:6318340_298 owl:intersectionOf _:6318351_298. _:6318351_298 rdf:first . {# line 12. oiled:C116 owl:equivalentClass _:6318264_298. _:6318264_298 owl:intersectionOf _:6318275_298. _:6318275_298 rdf:first oiled:C112. {# line 12. oiled:C134 owl:equivalentClass _:6317715_298. _:6317715_298 owl:intersectionOf _:6317726_298. _:6317726_298 rdf:first oiled:C116. {# line 12. oiled:C138 owl:equivalentClass _:6317542_298. _:6317542_298 owl:intersectionOf _:6317553_298. _:6317553_298 rdf:first oiled:C134. {# line 12. oiled:C156 owl:equivalentClass _:6316827_298. _:6316827_298 owl:intersectionOf _:6316838_298. _:6316838_298 rdf:first oiled:C138. {# line 13. oiled:C158 owl:equivalentClass _:6316720_298. _:6316720_298 owl:intersectionOf _:6316731_298. _:6316731_298 rdf:rest _:6316739_298. _:6316739_298 rdf:first oiled:C156. {# line 12. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:first oiled:C158. a oiled:TEST} => { a oiled:C158}} => { a oiled:C156}} => { a oiled:C138}} => { a oiled:C134}} => { a oiled:C116}} => { a oiled:C112}} => { a }. {# line 13. oiled:TEST owl:equivalentClass _:6315258_298. _:6315258_298 owl:intersectionOf _:6315269_298. _:6315269_298 rdf:rest _:6315277_298. _:6315277_298 rdf:first . a oiled:TEST} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions206.rdf in 2976874 steps (683394 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:15 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix oiled: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. {# line 15. owl:equivalentClass _:9303359_302. _:9303359_302 owl:intersectionOf _:9303370_302. _:9303370_302 rdf:first oiled:C2. _:9303370_302 rdf:rest _:9303378_302. _:9303378_302 rdf:first oiled:C4. _:9303378_302 rdf:rest rdf:nil. a oiled:C2. a oiled:C4} => { a }. a owl:Thing. a owl:Class. {# line 13. oiled:TEST owl:equivalentClass _:9303531_302. _:9303531_302 owl:intersectionOf _:9303545_302. _:9303545_302 rdf:rest _:9303561_302. _:9303561_302 rdf:first . a oiled:TEST} => { a }. a owl:Thing. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions207.rdf in 315 steps (31468 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:16 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix oiled: . @prefix xsd: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Thing. {# line 12. oiled:TEST owl:equivalentClass _:9304206_306. _:9304206_306 owl:intersectionOf _:9304217_306. _:9304217_306 rdf:first . a oiled:TEST} => { a }. {# line 13. oiled:C108 owl:equivalentClass _:9307776_306. _:9307776_306 owl:intersectionOf _:9307787_306. _:9307787_306 rdf:rest _:9307795_306. _:9307795_306 rdf:first . {# line 12. oiled:TEST owl:equivalentClass _:9304206_306. _:9304206_306 owl:intersectionOf _:9304217_306. _:9304217_306 rdf:first oiled:C108. a oiled:TEST} => { a oiled:C108}} => { a }. {# line 12. oiled:C108 owl:equivalentClass _:9307776_306. _:9307776_306 owl:intersectionOf _:9307787_306. _:9307787_306 rdf:first . {# line 12. oiled:TEST owl:equivalentClass _:9304206_306. _:9304206_306 owl:intersectionOf _:9304217_306. _:9304217_306 rdf:first oiled:C108. a oiled:TEST} => { a oiled:C108}} => { a }. {# line 13. oiled:TEST owl:equivalentClass _:9304206_306. _:9304206_306 owl:intersectionOf _:9304217_306. _:9304217_306 rdf:rest _:9304225_306. _:9304225_306 rdf:first . a oiled:TEST} => { a }. {# line 13. oiled:C106 owl:equivalentClass _:9307817_306. _:9307817_306 owl:intersectionOf _:9307831_306. _:9307831_306 rdf:rest _:9307847_306. _:9307847_306 rdf:first . {# line 13. oiled:C108 owl:equivalentClass _:9307776_306. _:9307776_306 owl:intersectionOf _:9307787_306. _:9307787_306 rdf:rest _:9307795_306. _:9307795_306 rdf:first oiled:C106. {# line 12. oiled:TEST owl:equivalentClass _:9304206_306. _:9304206_306 owl:intersectionOf _:9304217_306. _:9304217_306 rdf:first oiled:C108. a oiled:TEST} => { a oiled:C108}} => { a oiled:C106}} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Thing. {# line 15. owl:equivalentClass _:9305506_306. _:9305506_306 owl:intersectionOf _:9305520_306. _:9305520_306 rdf:first oiled:TOP. _:9305520_306 rdf:rest _:9305531_306. _:9305531_306 rdf:first _:9305539_306. _:9305531_306 rdf:rest rdf:nil. a oiled:TOP. {# line 16. _:9305826_306 owl:complementOf oiled:C36. _:9305539_306 owl:complementOf oiled:C36. rdf:type _:9305826_306} => { a _:9305539_306}} => { a }. a owl:Class. {# line 12. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first . {# line 15. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9305946_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9305946_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16465. {# line 16. _:9305821_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16465 rdf:type _:9305821_306} => {oiled:V16465 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9305941_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9305941_306} => { a _:9305155_306}} => { a oiled:C56}} => { a }. {# line 15. owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9305946_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9305946_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16465. {# line 16. _:9305821_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16465 rdf:type _:9305821_306} => {oiled:V16465 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9305941_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9305941_306} => { a _:9305155_306}} => { a }. a owl:Thing. {# line 13. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first . {# line 12. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. {# line 15. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9305946_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9305946_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16465. {# line 16. _:9305821_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16465 rdf:type _:9305821_306} => {oiled:V16465 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9305941_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9305941_306} => { a _:9305155_306}} => { a oiled:C56}} => { a oiled:C44}} => { a }. {# line 12. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first . {# line 15. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. _:9304735_306 rdf:rest _:9304746_306. _:9304746_306 rdf:first _:9304754_306. _:9304746_306 rdf:rest rdf:nil. {# line 15. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:first _:9305039_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first oiled:C60. _:9305044_306 rdf:rest rdf:nil. {# line 16. _:9306060_306 owl:complementOf oiled:C58. _:9305039_306 owl:complementOf oiled:C58. rdf:type _:9306060_306} => { a _:9305039_306}. {# line 14. oiled:C60 owl:equivalentClass _:9305062_306. _:9305062_306 owl:onProperty oiled:R1. _:9305062_306 owl:someValuesFrom _:9305072_306. oiled:R1 oiled:V16464. {# line 16. _:9305998_306 owl:complementOf oiled:C12. _:9305072_306 owl:complementOf oiled:C12. oiled:V16464 rdf:type _:9305998_306} => {oiled:V16464 a _:9305072_306}} => { a oiled:C60}} => { a oiled:C62}. {# line 16. _:9306055_306 owl:complementOf oiled:C74. _:9304754_306 owl:complementOf oiled:C74. rdf:type _:9306055_306} => { a _:9304754_306}} => { a oiled:C76}} => { a }. {# line 13. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first . {# line 12. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. {# line 15. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. _:9304735_306 rdf:rest _:9304746_306. _:9304746_306 rdf:first _:9304754_306. _:9304746_306 rdf:rest rdf:nil. {# line 15. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:first _:9305039_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first oiled:C60. _:9305044_306 rdf:rest rdf:nil. {# line 16. _:9306060_306 owl:complementOf oiled:C58. _:9305039_306 owl:complementOf oiled:C58. rdf:type _:9306060_306} => { a _:9305039_306}. {# line 14. oiled:C60 owl:equivalentClass _:9305062_306. _:9305062_306 owl:onProperty oiled:R1. _:9305062_306 owl:someValuesFrom _:9305072_306. oiled:R1 oiled:V16464. {# line 16. _:9305998_306 owl:complementOf oiled:C12. _:9305072_306 owl:complementOf oiled:C12. oiled:V16464 rdf:type _:9305998_306} => {oiled:V16464 a _:9305072_306}} => { a oiled:C60}} => { a oiled:C62}. {# line 16. _:9306055_306 owl:complementOf oiled:C74. _:9304754_306 owl:complementOf oiled:C74. rdf:type _:9306055_306} => { a _:9304754_306}} => { a oiled:C76}} => { a oiled:C62}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. _:9304735_306 rdf:rest _:9304746_306. _:9304746_306 rdf:first _:9304754_306. _:9304746_306 rdf:rest rdf:nil. {# line 15. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:first _:9305039_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first oiled:C60. _:9305044_306 rdf:rest rdf:nil. {# line 16. _:9306060_306 owl:complementOf oiled:C58. _:9305039_306 owl:complementOf oiled:C58. rdf:type _:9306060_306} => { a _:9305039_306}. {# line 14. oiled:C60 owl:equivalentClass _:9305062_306. _:9305062_306 owl:onProperty oiled:R1. _:9305062_306 owl:someValuesFrom _:9305072_306. oiled:R1 oiled:V16464. {# line 16. _:9305998_306 owl:complementOf oiled:C12. _:9305072_306 owl:complementOf oiled:C12. oiled:V16464 rdf:type _:9305998_306} => {oiled:V16464 a _:9305072_306}} => { a oiled:C60}} => { a oiled:C62}. {# line 16. _:9306055_306 owl:complementOf oiled:C74. _:9304754_306 owl:complementOf oiled:C74. rdf:type _:9306055_306} => { a _:9304754_306}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:9305506_306. _:9305506_306 owl:intersectionOf _:9305520_306. _:9305520_306 rdf:first oiled:TOP. _:9305520_306 rdf:rest _:9305531_306. _:9305531_306 rdf:first _:9305539_306. _:9305531_306 rdf:rest rdf:nil. a oiled:TOP. {# line 16. _:9306190_306 owl:complementOf oiled:C36. _:9305539_306 owl:complementOf oiled:C36. rdf:type _:9306190_306} => { a _:9305539_306}} => { a }. {# line 12. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first . {# line 15. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9306347_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9306347_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16462. {# line 16. _:9306185_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16462 rdf:type _:9306185_306} => {oiled:V16462 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9306335_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9306335_306} => { a _:9305155_306}} => { a oiled:C56}} => { a }. {# line 15. owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9306347_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9306347_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16462. {# line 16. _:9306185_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16462 rdf:type _:9306185_306} => {oiled:V16462 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9306335_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9306335_306} => { a _:9305155_306}} => { a }. a owl:Thing. {# line 13. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first . {# line 12. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. {# line 15. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9306347_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9306347_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16462. {# line 16. _:9306185_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16462 rdf:type _:9306185_306} => {oiled:V16462 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9306335_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9306335_306} => { a _:9305155_306}} => { a oiled:C56}} => { a oiled:C44}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:9305506_306. _:9305506_306 owl:intersectionOf _:9305520_306. _:9305520_306 rdf:first oiled:TOP. _:9305520_306 rdf:rest _:9305531_306. _:9305531_306 rdf:first _:9305539_306. _:9305531_306 rdf:rest rdf:nil. a oiled:TOP. {# line 16. _:9306430_306 owl:complementOf oiled:C36. _:9305539_306 owl:complementOf oiled:C36. rdf:type _:9306430_306} => { a _:9305539_306}} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Thing. {# line 15. owl:equivalentClass _:9305506_306. _:9305506_306 owl:intersectionOf _:9305520_306. _:9305520_306 rdf:first oiled:TOP. _:9305520_306 rdf:rest _:9305531_306. _:9305531_306 rdf:first _:9305539_306. _:9305531_306 rdf:rest rdf:nil. a oiled:TOP. {# line 16. _:9307336_306 owl:complementOf oiled:C36. _:9305539_306 owl:complementOf oiled:C36. rdf:type _:9307336_306} => { a _:9305539_306}} => { a }. a owl:Class. a owl:Class. a owl:Class. {# line 15. owl:equivalentClass _:9304297_306. _:9304297_306 owl:intersectionOf _:9304311_306. _:9304311_306 rdf:first oiled:C82. _:9304311_306 rdf:rest _:9304322_306. _:9304322_306 rdf:first _:9304330_306. _:9304322_306 rdf:rest rdf:nil. {# line 15. oiled:C82 owl:equivalentClass _:9304613_306. _:9304613_306 owl:intersectionOf _:9304627_306. _:9304627_306 rdf:first _:9304638_306. _:9304627_306 rdf:rest _:9304643_306. _:9304643_306 rdf:first oiled:C80. _:9304643_306 rdf:rest rdf:nil. {# line 16. _:9307522_306 owl:complementOf oiled:C78. _:9304638_306 owl:complementOf oiled:C78. rdf:type _:9307522_306} => { a _:9304638_306}. {# line 14. oiled:C80 owl:equivalentClass _:9304661_306. _:9304661_306 owl:onProperty oiled:R1. _:9304661_306 owl:someValuesFrom _:9304671_306. oiled:R1 oiled:V16463. {# line 16. _:9306100_306 owl:complementOf oiled:C16. _:9304671_306 owl:complementOf oiled:C16. oiled:V16463 rdf:type _:9306100_306} => {oiled:V16463 a _:9304671_306}} => { a oiled:C80}} => { a oiled:C82}. {# line 16. _:9307517_306 owl:complementOf oiled:C96. _:9304330_306 owl:complementOf oiled:C96. rdf:type _:9307517_306} => { a _:9304330_306}} => { a }. {# line 12. oiled:C98 owl:equivalentClass _:9304297_306. _:9304297_306 owl:intersectionOf _:9304311_306. _:9304311_306 rdf:first . {# line 15. oiled:C98 owl:equivalentClass _:9304297_306. _:9304297_306 owl:intersectionOf _:9304311_306. _:9304311_306 rdf:first oiled:C82. _:9304311_306 rdf:rest _:9304322_306. _:9304322_306 rdf:first _:9304330_306. _:9304322_306 rdf:rest rdf:nil. {# line 15. oiled:C82 owl:equivalentClass _:9304613_306. _:9304613_306 owl:intersectionOf _:9304627_306. _:9304627_306 rdf:first _:9304638_306. _:9304627_306 rdf:rest _:9304643_306. _:9304643_306 rdf:first oiled:C80. _:9304643_306 rdf:rest rdf:nil. {# line 16. _:9307522_306 owl:complementOf oiled:C78. _:9304638_306 owl:complementOf oiled:C78. rdf:type _:9307522_306} => { a _:9304638_306}. {# line 14. oiled:C80 owl:equivalentClass _:9304661_306. _:9304661_306 owl:onProperty oiled:R1. _:9304661_306 owl:someValuesFrom _:9304671_306. oiled:R1 oiled:V16463. {# line 16. _:9306100_306 owl:complementOf oiled:C16. _:9304671_306 owl:complementOf oiled:C16. oiled:V16463 rdf:type _:9306100_306} => {oiled:V16463 a _:9304671_306}} => { a oiled:C80}} => { a oiled:C82}. {# line 16. _:9307517_306 owl:complementOf oiled:C96. _:9304330_306 owl:complementOf oiled:C96. rdf:type _:9307517_306} => { a _:9304330_306}} => { a oiled:C98}} => { a }. a owl:Thing. {# line 13. oiled:C82 owl:equivalentClass _:9304613_306. _:9304613_306 owl:intersectionOf _:9304627_306. _:9304627_306 rdf:rest _:9304643_306. _:9304643_306 rdf:first . {# line 12. oiled:C98 owl:equivalentClass _:9304297_306. _:9304297_306 owl:intersectionOf _:9304311_306. _:9304311_306 rdf:first oiled:C82. {# line 15. oiled:C98 owl:equivalentClass _:9304297_306. _:9304297_306 owl:intersectionOf _:9304311_306. _:9304311_306 rdf:first oiled:C82. _:9304311_306 rdf:rest _:9304322_306. _:9304322_306 rdf:first _:9304330_306. _:9304322_306 rdf:rest rdf:nil. {# line 15. oiled:C82 owl:equivalentClass _:9304613_306. _:9304613_306 owl:intersectionOf _:9304627_306. _:9304627_306 rdf:first _:9304638_306. _:9304627_306 rdf:rest _:9304643_306. _:9304643_306 rdf:first oiled:C80. _:9304643_306 rdf:rest rdf:nil. {# line 16. _:9307522_306 owl:complementOf oiled:C78. _:9304638_306 owl:complementOf oiled:C78. rdf:type _:9307522_306} => { a _:9304638_306}. {# line 14. oiled:C80 owl:equivalentClass _:9304661_306. _:9304661_306 owl:onProperty oiled:R1. _:9304661_306 owl:someValuesFrom _:9304671_306. oiled:R1 oiled:V16463. {# line 16. _:9306100_306 owl:complementOf oiled:C16. _:9304671_306 owl:complementOf oiled:C16. oiled:V16463 rdf:type _:9306100_306} => {oiled:V16463 a _:9304671_306}} => { a oiled:C80}} => { a oiled:C82}. {# line 16. _:9307517_306 owl:complementOf oiled:C96. _:9304330_306 owl:complementOf oiled:C96. rdf:type _:9307517_306} => { a _:9304330_306}} => { a oiled:C98}} => { a oiled:C82}} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. {# line 15. owl:equivalentClass _:9305225_306. _:9305225_306 owl:intersectionOf _:9305242_306. _:9305242_306 rdf:first _:9305256_306. _:9305242_306 rdf:rest _:9305261_306. _:9305261_306 rdf:first _:9305269_306. _:9305261_306 rdf:rest rdf:nil. {# line 16. _:9306611_306 owl:complementOf oiled:C46. _:9305256_306 owl:complementOf oiled:C46. rdf:type _:9306611_306} => { a _:9305256_306}. {# line 16. _:9306656_306 owl:complementOf oiled:C48. _:9305269_306 owl:complementOf oiled:C48. rdf:type _:9306656_306} => { a _:9305269_306}} => { a }. {# line 15. owl:equivalentClass _:9305592_306. _:9305592_306 owl:intersectionOf _:9305609_306. _:9305609_306 rdf:first _:9305623_306. _:9305609_306 rdf:rest _:9305628_306. _:9305628_306 rdf:first _:9305636_306. _:9305628_306 rdf:rest rdf:nil. {# line 16. _:9306621_306 owl:complementOf oiled:C30. _:9305623_306 owl:complementOf oiled:C30. rdf:type _:9306621_306} => { a _:9305623_306}. {# line 16. _:9306616_306 owl:complementOf oiled:C32. _:9305636_306 owl:complementOf oiled:C32. rdf:type _:9306616_306} => { a _:9305636_306}} => { a }. {# line 15. owl:equivalentClass _:9304841_306. _:9304841_306 owl:intersectionOf _:9304858_306. _:9304858_306 rdf:first _:9304872_306. _:9304858_306 rdf:rest _:9304877_306. _:9304877_306 rdf:first _:9304885_306. _:9304877_306 rdf:rest rdf:nil. {# line 16. _:9306606_306 owl:complementOf oiled:C64. _:9304872_306 owl:complementOf oiled:C64. rdf:type _:9306606_306} => { a _:9304872_306}. {# line 16. _:9306671_306 owl:complementOf oiled:C66. _:9304885_306 owl:complementOf oiled:C66. rdf:type _:9306671_306} => { a _:9304885_306}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:9304440_306. _:9304440_306 owl:intersectionOf _:9304457_306. _:9304457_306 rdf:first _:9304471_306. _:9304457_306 rdf:rest _:9304476_306. _:9304476_306 rdf:first _:9304484_306. _:9304476_306 rdf:rest rdf:nil. {# line 16. _:9306666_306 owl:complementOf oiled:C84. _:9304471_306 owl:complementOf oiled:C84. rdf:type _:9306666_306} => { a _:9304471_306}. {# line 16. _:9306661_306 owl:complementOf oiled:C86. _:9304484_306 owl:complementOf oiled:C86. rdf:type _:9306661_306} => { a _:9304484_306}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:9305506_306. _:9305506_306 owl:intersectionOf _:9305520_306. _:9305520_306 rdf:first oiled:TOP. _:9305520_306 rdf:rest _:9305531_306. _:9305531_306 rdf:first _:9305539_306. _:9305531_306 rdf:rest rdf:nil. a oiled:TOP. {# line 16. _:9306785_306 owl:complementOf oiled:C36. _:9305539_306 owl:complementOf oiled:C36. rdf:type _:9306785_306} => { a _:9305539_306}} => { a }. a owl:Class. {# line 12. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first . {# line 15. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9306904_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9306904_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16460. {# line 16. _:9306425_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16460 rdf:type _:9306425_306} => {oiled:V16460 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9306899_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9306899_306} => { a _:9305155_306}} => { a oiled:C56}} => { a }. {# line 15. owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9306904_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9306904_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16460. {# line 16. _:9306425_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16460 rdf:type _:9306425_306} => {oiled:V16460 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9306899_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9306899_306} => { a _:9305155_306}} => { a }. a owl:Thing. {# line 13. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first . {# line 12. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. {# line 15. oiled:C56 owl:equivalentClass _:9305122_306. _:9305122_306 owl:intersectionOf _:9305136_306. _:9305136_306 rdf:first oiled:C44. _:9305136_306 rdf:rest _:9305147_306. _:9305147_306 rdf:first _:9305155_306. _:9305147_306 rdf:rest rdf:nil. {# line 15. oiled:C44 owl:equivalentClass _:9305398_306. _:9305398_306 owl:intersectionOf _:9305412_306. _:9305412_306 rdf:first _:9305423_306. _:9305412_306 rdf:rest _:9305428_306. _:9305428_306 rdf:first oiled:C42. _:9305428_306 rdf:rest rdf:nil. {# line 16. _:9306904_306 owl:complementOf oiled:C40. _:9305423_306 owl:complementOf oiled:C40. rdf:type _:9306904_306} => { a _:9305423_306}. {# line 14. oiled:C42 owl:equivalentClass _:9305446_306. _:9305446_306 owl:onProperty oiled:R1. _:9305446_306 owl:someValuesFrom _:9305456_306. oiled:R1 oiled:V16460. {# line 16. _:9306425_306 owl:complementOf oiled:C8. _:9305456_306 owl:complementOf oiled:C8. oiled:V16460 rdf:type _:9306425_306} => {oiled:V16460 a _:9305456_306}} => { a oiled:C42}} => { a oiled:C44}. {# line 16. _:9306899_306 owl:complementOf oiled:C54. _:9305155_306 owl:complementOf oiled:C54. rdf:type _:9306899_306} => { a _:9305155_306}} => { a oiled:C56}} => { a oiled:C44}} => { a }. a owl:Class. {# line 12. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first . {# line 15. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. _:9304735_306 rdf:rest _:9304746_306. _:9304746_306 rdf:first _:9304754_306. _:9304746_306 rdf:rest rdf:nil. {# line 15. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:first _:9305039_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first oiled:C60. _:9305044_306 rdf:rest rdf:nil. {# line 16. _:9307060_306 owl:complementOf oiled:C58. _:9305039_306 owl:complementOf oiled:C58. rdf:type _:9307060_306} => { a _:9305039_306}. {# line 14. oiled:C60 owl:equivalentClass _:9305062_306. _:9305062_306 owl:onProperty oiled:R1. _:9305062_306 owl:someValuesFrom _:9305072_306. oiled:R1 oiled:V16461. {# line 16. _:9306330_306 owl:complementOf oiled:C12. _:9305072_306 owl:complementOf oiled:C12. oiled:V16461 rdf:type _:9306330_306} => {oiled:V16461 a _:9305072_306}} => { a oiled:C60}} => { a oiled:C62}. {# line 16. _:9307055_306 owl:complementOf oiled:C74. _:9304754_306 owl:complementOf oiled:C74. rdf:type _:9307055_306} => { a _:9304754_306}} => { a oiled:C76}} => { a }. {# line 13. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first . {# line 12. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. {# line 15. oiled:C76 owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. _:9304735_306 rdf:rest _:9304746_306. _:9304746_306 rdf:first _:9304754_306. _:9304746_306 rdf:rest rdf:nil. {# line 15. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:first _:9305039_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first oiled:C60. _:9305044_306 rdf:rest rdf:nil. {# line 16. _:9307060_306 owl:complementOf oiled:C58. _:9305039_306 owl:complementOf oiled:C58. rdf:type _:9307060_306} => { a _:9305039_306}. {# line 14. oiled:C60 owl:equivalentClass _:9305062_306. _:9305062_306 owl:onProperty oiled:R1. _:9305062_306 owl:someValuesFrom _:9305072_306. oiled:R1 oiled:V16461. {# line 16. _:9306330_306 owl:complementOf oiled:C12. _:9305072_306 owl:complementOf oiled:C12. oiled:V16461 rdf:type _:9306330_306} => {oiled:V16461 a _:9305072_306}} => { a oiled:C60}} => { a oiled:C62}. {# line 16. _:9307055_306 owl:complementOf oiled:C74. _:9304754_306 owl:complementOf oiled:C74. rdf:type _:9307055_306} => { a _:9304754_306}} => { a oiled:C76}} => { a oiled:C62}} => { a }. a owl:Thing. {# line 15. owl:equivalentClass _:9304721_306. _:9304721_306 owl:intersectionOf _:9304735_306. _:9304735_306 rdf:first oiled:C62. _:9304735_306 rdf:rest _:9304746_306. _:9304746_306 rdf:first _:9304754_306. _:9304746_306 rdf:rest rdf:nil. {# line 15. oiled:C62 owl:equivalentClass _:9305014_306. _:9305014_306 owl:intersectionOf _:9305028_306. _:9305028_306 rdf:first _:9305039_306. _:9305028_306 rdf:rest _:9305044_306. _:9305044_306 rdf:first oiled:C60. _:9305044_306 rdf:rest rdf:nil. {# line 16. _:9307060_306 owl:complementOf oiled:C58. _:9305039_306 owl:complementOf oiled:C58. rdf:type _:9307060_306} => { a _:9305039_306}. {# line 14. oiled:C60 owl:equivalentClass _:9305062_306. _:9305062_306 owl:onProperty oiled:R1. _:9305062_306 owl:someValuesFrom _:9305072_306. oiled:R1 oiled:V16461. {# line 16. _:9306330_306 owl:complementOf oiled:C12. _:9305072_306 owl:complementOf oiled:C12. oiled:V16461 rdf:type _:9306330_306} => {oiled:V16461 a _:9305072_306}} => { a oiled:C60}} => { a oiled:C62}. {# line 16. _:9307055_306 owl:complementOf oiled:C74. _:9304754_306 owl:complementOf oiled:C74. rdf:type _:9307055_306} => { a _:9304754_306}} => { a }. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions208.rdf in 5434546 steps (698437 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:24 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix oiled: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Class. a owl:Class. {# line 16. owl:intersectionOf _:14760050_310. _:14760050_310 rdf:first . _:14760050_310 rdf:rest _:14760058_310. _:14760058_310 rdf:first . _:14760058_310 rdf:rest rdf:nil. a . a } => { a }. {# line 16. owl:intersectionOf _:14759300_310. _:14759300_310 rdf:first oiled:C116. _:14759300_310 rdf:rest _:14759308_310. _:14759308_310 rdf:first . _:14759308_310 rdf:rest rdf:nil. {# line 16. oiled:C116 owl:intersectionOf _:14759904_310. _:14759904_310 rdf:first oiled:C80. _:14759904_310 rdf:rest _:14759912_310. _:14759912_310 rdf:first oiled:C114. _:14759912_310 rdf:rest rdf:nil. {# line 16. oiled:C80 owl:intersectionOf _:14758142_310. _:14758142_310 rdf:first . _:14758142_310 rdf:rest _:14758150_310. _:14758150_310 rdf:first . _:14758150_310 rdf:rest rdf:nil. a . a } => { a oiled:C80}. {# line 16. oiled:C114 owl:intersectionOf _:14759945_310. _:14759945_310 rdf:first . _:14759945_310 rdf:rest _:14759953_310. _:14759953_310 rdf:first . _:14759953_310 rdf:rest rdf:nil. a . a } => { a oiled:C114}} => { a oiled:C116}. a } => { a }. {# line 16. owl:intersectionOf _:14757818_310. _:14757818_310 rdf:first . _:14757818_310 rdf:rest _:14757826_310. _:14757826_310 rdf:first . _:14757826_310 rdf:rest rdf:nil. a . a } => { a }. a owl:Thing. {# line 16. owl:intersectionOf _:14758578_310. _:14758578_310 rdf:first oiled:C56. _:14758578_310 rdf:rest _:14758586_310. _:14758586_310 rdf:first oiled:C34. _:14758586_310 rdf:rest rdf:nil. {# line 16. oiled:C56 owl:intersectionOf _:14758602_310. _:14758602_310 rdf:first oiled:C4. _:14758602_310 rdf:rest _:14758610_310. _:14758610_310 rdf:first . _:14758610_310 rdf:rest rdf:nil. a oiled:C4. a } => { a oiled:C56}. a oiled:C34} => { a }. {# line 13. oiled:C58 owl:intersectionOf _:14758578_310. _:14758578_310 rdf:first . {# line 16. oiled:C58 owl:intersectionOf _:14758578_310. _:14758578_310 rdf:first oiled:C56. _:14758578_310 rdf:rest _:14758586_310. _:14758586_310 rdf:first oiled:C34. _:14758586_310 rdf:rest rdf:nil. {# line 16. oiled:C56 owl:intersectionOf _:14758602_310. _:14758602_310 rdf:first oiled:C4. _:14758602_310 rdf:rest _:14758610_310. _:14758610_310 rdf:first . _:14758610_310 rdf:rest rdf:nil. a oiled:C4. a } => { a oiled:C56}. a oiled:C34} => { a oiled:C58}} => { a }. {# line 13. oiled:C116 owl:intersectionOf _:14759904_310. _:14759904_310 rdf:first . {# line 13. oiled:C136 owl:intersectionOf _:14759300_310. _:14759300_310 rdf:first oiled:C116. {# line 16. oiled:C136 owl:intersectionOf _:14759300_310. _:14759300_310 rdf:first oiled:C116. _:14759300_310 rdf:rest _:14759308_310. _:14759308_310 rdf:first . _:14759308_310 rdf:rest rdf:nil. {# line 16. oiled:C116 owl:intersectionOf _:14759904_310. _:14759904_310 rdf:first oiled:C80. _:14759904_310 rdf:rest _:14759912_310. _:14759912_310 rdf:first oiled:C114. _:14759912_310 rdf:rest rdf:nil. {# line 16. oiled:C80 owl:intersectionOf _:14758142_310. _:14758142_310 rdf:first . _:14758142_310 rdf:rest _:14758150_310. _:14758150_310 rdf:first . _:14758150_310 rdf:rest rdf:nil. a . a } => { a oiled:C80}. {# line 16. oiled:C114 owl:intersectionOf _:14759945_310. _:14759945_310 rdf:first . _:14759945_310 rdf:rest _:14759953_310. _:14759953_310 rdf:first . _:14759953_310 rdf:rest rdf:nil. a . a } => { a oiled:C114}} => { a oiled:C116}. a } => { a oiled:C136}} => { a oiled:C116}} => { a }. {# line 13. oiled:C136 owl:intersectionOf _:14759300_310. _:14759300_310 rdf:first . {# line 16. oiled:C136 owl:intersectionOf _:14759300_310. _:14759300_310 rdf:first oiled:C116. _:14759300_310 rdf:rest _:14759308_310. _:14759308_310 rdf:first . _:14759308_310 rdf:rest rdf:nil. {# line 16. oiled:C116 owl:intersectionOf _:14759904_310. _:14759904_310 rdf:first oiled:C80. _:14759904_310 rdf:rest _:14759912_310. _:14759912_310 rdf:first oiled:C114. _:14759912_310 rdf:rest rdf:nil. {# line 16. oiled:C80 owl:intersectionOf _:14758142_310. _:14758142_310 rdf:first . _:14758142_310 rdf:rest _:14758150_310. _:14758150_310 rdf:first . _:14758150_310 rdf:rest rdf:nil. a . a } => { a oiled:C80}. {# line 16. oiled:C114 owl:intersectionOf _:14759945_310. _:14759945_310 rdf:first . _:14759945_310 rdf:rest _:14759953_310. _:14759953_310 rdf:first . _:14759953_310 rdf:rest rdf:nil. a . a } => { a oiled:C114}} => { a oiled:C116}. a } => { a oiled:C136}} => { a }. {# line 14. oiled:C116 owl:intersectionOf _:14759904_310. _:14759904_310 rdf:rest _:14759912_310. _:14759912_310 rdf:first . {# line 13. oiled:C136 owl:intersectionOf _:14759300_310. _:14759300_310 rdf:first oiled:C116. {# line 16. oiled:C136 owl:intersectionOf _:14759300_310. _:14759300_310 rdf:first oiled:C116. _:14759300_310 rdf:rest _:14759308_310. _:14759308_310 rdf:first . _:14759308_310 rdf:rest rdf:nil. {# line 16. oiled:C116 owl:intersectionOf _:14759904_310. _:14759904_310 rdf:first oiled:C80. _:14759904_310 rdf:rest _:14759912_310. _:14759912_310 rdf:first oiled:C114. _:14759912_310 rdf:rest rdf:nil. {# line 16. oiled:C80 owl:intersectionOf _:14758142_310. _:14758142_310 rdf:first . _:14758142_310 rdf:rest _:14758150_310. _:14758150_310 rdf:first . _:14758150_310 rdf:rest rdf:nil. a . a } => { a oiled:C80}. {# line 16. oiled:C114 owl:intersectionOf _:14759945_310. _:14759945_310 rdf:first . _:14759945_310 rdf:rest _:14759953_310. _:14759953_310 rdf:first . _:14759953_310 rdf:rest rdf:nil. a . a } => { a oiled:C114}} => { a oiled:C116}. a } => { a oiled:C136}} => { a oiled:C116}} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions661.rdf in 542994 steps (763693 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:24 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix oiled: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. {# line 16. owl:intersectionOf _:15307070_314. _:15307070_314 rdf:first oiled:C58. _:15307070_314 rdf:rest _:15307078_314. _:15307078_314 rdf:first . _:15307078_314 rdf:rest rdf:nil. {# line 12. oiled:C58 owl:equivalentClass _:15307202_314. _:15307202_314 owl:onProperty oiled:R1. _:15307202_314 owl:someValuesFrom oiled:C2. oiled:R1 oiled:V8476. oiled:V8476 a oiled:C2} => { a oiled:C58}. a } => { a }. {# line 12. owl:equivalentClass _:15307202_314. _:15307202_314 owl:onProperty oiled:R1. _:15307202_314 owl:someValuesFrom oiled:C2. oiled:R1 oiled:V8476. oiled:V8476 a oiled:C2} => { a }. a owl:Thing. {# line 16. owl:intersectionOf _:15306755_314. _:15306755_314 rdf:first . _:15306755_314 rdf:rest _:15306763_314. _:15306763_314 rdf:first . _:15306763_314 rdf:rest rdf:nil. a . a } => { a }. a owl:Thing. {# line 12. owl:equivalentClass _:15308201_314. _:15308201_314 owl:onProperty oiled:R1. _:15308201_314 owl:someValuesFrom . oiled:R1 oiled:V8472. oiled:V8472 a } => { a }. {# line 16. owl:intersectionOf _:15308147_314. _:15308147_314 rdf:first oiled:C4. _:15308147_314 rdf:rest _:15308155_314. _:15308155_314 rdf:first oiled:C8. _:15308155_314 rdf:rest rdf:nil. {# line 12. oiled:C4 owl:equivalentClass _:15308201_314. _:15308201_314 owl:onProperty oiled:R1. _:15308201_314 owl:someValuesFrom . oiled:R1 oiled:V8472. oiled:V8472 a } => { a oiled:C4}. {# line 12. oiled:C8 owl:equivalentClass _:15308129_314. _:15308129_314 owl:onProperty oiled:R1. _:15308129_314 owl:someValuesFrom . oiled:R1 oiled:V8469. oiled:V8469 a } => { a oiled:C8}} => { a }. {# line 12. owl:equivalentClass _:15307788_314. _:15307788_314 owl:onProperty oiled:R1. _:15307788_314 owl:someValuesFrom . oiled:R1 oiled:V8474. oiled:V8474 a } => { a }. a owl:Thing. {# line 12. owl:equivalentClass _:15307043_314. _:15307043_314 owl:onProperty oiled:R1. _:15307043_314 owl:someValuesFrom oiled:C60. oiled:R1 oiled:V8472. {# line 16. oiled:C60 owl:intersectionOf _:15307070_314. _:15307070_314 rdf:first oiled:C58. _:15307070_314 rdf:rest _:15307078_314. _:15307078_314 rdf:first . _:15307078_314 rdf:rest rdf:nil. {# line 12. oiled:C58 owl:equivalentClass _:15307202_314. _:15307202_314 owl:onProperty oiled:R1. _:15307202_314 owl:someValuesFrom oiled:C2. oiled:V8472 oiled:R1 oiled:V8476. oiled:V8476 a oiled:C2} => {oiled:V8472 a oiled:C58}. oiled:V8472 a } => {oiled:V8472 a oiled:C60}} => { a }. {# line 12. owl:equivalentClass _:15306728_314. _:15306728_314 owl:onProperty oiled:R1. _:15306728_314 owl:someValuesFrom oiled:C80. oiled:R1 oiled:V8471. {# line 16. oiled:C80 owl:intersectionOf _:15306755_314. _:15306755_314 rdf:first . _:15306755_314 rdf:rest _:15306763_314. _:15306763_314 rdf:first . _:15306763_314 rdf:rest rdf:nil. oiled:V8471 a . oiled:V8471 a } => {oiled:V8471 a oiled:C80}} => { a }. {# line 12. owl:equivalentClass _:15307500_314. _:15307500_314 owl:onProperty oiled:R1. _:15307500_314 owl:someValuesFrom . oiled:R1 oiled:V8472. oiled:V8472 a } => { a }. {# line 12. owl:equivalentClass _:15307992_314. _:15307992_314 owl:onProperty oiled:R1. _:15307992_314 owl:someValuesFrom . oiled:R1 oiled:V8472. oiled:V8472 a } => { a }. {# line 12. owl:equivalentClass _:15308129_314. _:15308129_314 owl:onProperty oiled:R1. _:15308129_314 owl:someValuesFrom . oiled:R1 oiled:V8469. oiled:V8469 a } => { a }. {# line 12. owl:equivalentClass _:15308086_314. _:15308086_314 owl:onProperty oiled:R1. _:15308086_314 owl:someValuesFrom oiled:TOP. oiled:R1 oiled:V8470. oiled:V8470 a oiled:TOP} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions662.rdf in 51059 steps (561026 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:25 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix oiled: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. {# line 14. oiled:TEST owl:intersectionOf _:15363021_318. _:15363021_318 rdf:rest _:15363029_318. _:15363029_318 rdf:first . a oiled:TEST} => { a }. {# line 14. oiled:C140 owl:intersectionOf _:15364443_318. _:15364443_318 rdf:rest _:15364451_318. _:15364451_318 rdf:first . {# line 14. oiled:TEST owl:intersectionOf _:15363021_318. _:15363021_318 rdf:rest _:15363029_318. _:15363029_318 rdf:first oiled:C140. a oiled:TEST} => { a oiled:C140}} => { a }. a owl:Thing. {# line 13. oiled:TEST owl:intersectionOf _:15363021_318. _:15363021_318 rdf:first . a oiled:TEST} => { a }. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions663.rdf in 18096 steps (602999 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:25 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix oiled: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . {# line 13. oiled:TEST owl:intersectionOf _:15384844_322. _:15384844_322 rdf:first . a oiled:TEST} => { a }. {# line 14. oiled:C46 owl:intersectionOf _:15387416_322. _:15387416_322 rdf:rest _:15387424_322. _:15387424_322 rdf:first . {# line 13. oiled:TEST owl:intersectionOf _:15384844_322. _:15384844_322 rdf:first oiled:C46. a oiled:TEST} => { a oiled:C46}} => { a }. a owl:Thing. {# line 14. oiled:TEST owl:intersectionOf _:15384844_322. _:15384844_322 rdf:rest _:15384852_322. _:15384852_322 rdf:first . a oiled:TEST} => { a }. {# line 13. oiled:C46 owl:intersectionOf _:15387416_322. _:15387416_322 rdf:first . {# line 13. oiled:TEST owl:intersectionOf _:15384844_322. _:15384844_322 rdf:first oiled:C46. a oiled:TEST} => { a oiled:C46}} => { a }. {# line 14. oiled:C30 owl:intersectionOf _:15387869_322. _:15387869_322 rdf:rest _:15387877_322. _:15387877_322 rdf:first . {# line 13. oiled:C46 owl:intersectionOf _:15387416_322. _:15387416_322 rdf:first oiled:C30. {# line 13. oiled:TEST owl:intersectionOf _:15384844_322. _:15384844_322 rdf:first oiled:C46. a oiled:TEST} => { a oiled:C46}} => { a oiled:C30}} => { a }. {# line 13. oiled:C216 owl:intersectionOf _:15386407_322. _:15386407_322 rdf:first . {# line 14. oiled:TEST owl:intersectionOf _:15384844_322. _:15384844_322 rdf:rest _:15384852_322. _:15384852_322 rdf:first oiled:C216. a oiled:TEST} => { a oiled:C216}} => { a }. {# line 13. oiled:C30 owl:intersectionOf _:15387869_322. _:15387869_322 rdf:first . {# line 13. oiled:C46 owl:intersectionOf _:15387416_322. _:15387416_322 rdf:first oiled:C30. {# line 13. oiled:TEST owl:intersectionOf _:15384844_322. _:15384844_322 rdf:first oiled:C46. a oiled:TEST} => { a oiled:C46}} => { a oiled:C30}} => { a }. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions664.rdf in 61506 steps (683324 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:25 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix oiled: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. a owl:Class. a owl:Class. {# line 16. owl:intersectionOf _:15452236_326. _:15452236_326 rdf:first . _:15452236_326 rdf:rest _:15452244_326. _:15452244_326 rdf:first . _:15452244_326 rdf:rest rdf:nil. a . a } => { a }. a owl:Thing. {# line 16. owl:intersectionOf _:15452064_326. _:15452064_326 rdf:first . _:15452064_326 rdf:rest _:15452072_326. _:15452072_326 rdf:first . _:15452072_326 rdf:rest rdf:nil. a . a } => { a }. a owl:Thing. a owl:Class. {# line 12. owl:equivalentClass _:15452046_326. _:15452046_326 owl:onProperty oiled:R1. _:15452046_326 owl:someValuesFrom oiled:C6. oiled:R1 oiled:V16561. {# line 16. oiled:C6 owl:intersectionOf _:15452064_326. _:15452064_326 rdf:first . _:15452064_326 rdf:rest _:15452072_326. _:15452072_326 rdf:first . _:15452072_326 rdf:rest rdf:nil. oiled:V16561 a . oiled:V16561 a } => {oiled:V16561 a oiled:C6}} => { a }. {# line 13. oiled:TEST owl:intersectionOf _:15452123_326. _:15452123_326 rdf:first . a oiled:TEST} => { a }. a owl:Thing. {# line 14. oiled:C18 owl:intersectionOf _:15452171_326. _:15452171_326 rdf:rest _:15452179_326. _:15452179_326 rdf:first . {# line 13. oiled:TEST owl:intersectionOf _:15452123_326. _:15452123_326 rdf:first oiled:C18. a oiled:TEST} => { a oiled:C18}} => { a }. {# line 12. owl:equivalentClass _:15452218_326. _:15452218_326 owl:onProperty oiled:R1. _:15452218_326 owl:someValuesFrom oiled:C12. oiled:R1 oiled:V16562. {# line 16. oiled:C12 owl:intersectionOf _:15452236_326. _:15452236_326 rdf:first . _:15452236_326 rdf:rest _:15452244_326. _:15452244_326 rdf:first . _:15452244_326 rdf:rest rdf:nil. oiled:V16562 a . oiled:V16562 a } => {oiled:V16562 a oiled:C12}} => { a }. a owl:Class. a owl:Class. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions665.rdf in 4526 steps (452147 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:25 GMT { ( . . . ). => . } { @prefix ns0: . @prefix ns2: . @prefix xsd: . @prefix oiled: . @prefix : . @prefix log: . @prefix rtest: . @prefix rdfs: . @prefix ns1: . @prefix math: . @prefix otest: . @prefix dc: . @prefix owl: . @prefix iw: . @prefix rdf: . a owl:Class. {# line 16. owl:intersectionOf _:15458819_330. _:15458819_330 rdf:first oiled:C2. _:15458819_330 rdf:rest _:15458827_330. _:15458827_330 rdf:first oiled:C4. _:15458827_330 rdf:rest rdf:nil. a oiled:C2. a oiled:C4} => { a }. a owl:Thing. a owl:Class. {# line 12. owl:equivalentClass _:15458801_330. _:15458801_330 owl:onProperty oiled:R1. _:15458801_330 owl:someValuesFrom oiled:C10. oiled:R1 oiled:V21081. {# line 16. oiled:C10 owl:intersectionOf _:15458819_330. _:15458819_330 rdf:first oiled:C2. _:15458819_330 rdf:rest _:15458827_330. _:15458827_330 rdf:first oiled:C4. _:15458827_330 rdf:rest rdf:nil. oiled:V21081 a oiled:C2. oiled:V21081 a oiled:C4} => {oiled:V21081 a oiled:C10}} => { a }. a owl:Thing. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions667.rdf in 357 steps (35664 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:25 GMT { ( . . . . . ). => . } { @prefix math: . @prefix first: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 129. _:15466013_338 owl:intersectionOf _:15466055_338. {# line 227. _:15466055_338 rdf:first _:15466077_338} => {_:15466055_338 ns1:item _:15466077_338}. _:15466077_338 owl:onProperty first:p. _:15466077_338 owl:minCardinality "2"^^. {# line 228. _:15466055_338 rdf:rest _:15466086_338. {# line 227. _:15466086_338 rdf:first _:15466098_338} => {_:15466086_338 ns1:item _:15466098_338}} => {_:15466055_338 ns1:item _:15466098_338}. _:15466098_338 owl:onProperty first:q. _:15466098_338 owl:minCardinality "3"^^. _:15466046_338 owl:onProperty first:r. _:15466046_338 owl:minCardinality "5"^^. ("2"^^ "3"^^) math:sum 5. 5 math:equalTo "5"^^. first:p rdfs:subPropertyOf first:r. first:p rdfs:range . first:q rdfs:subPropertyOf first:r. first:q rdfs:range . owl:disjointWith } => {_:15466013_338 rdfs:subClassOf _:15466046_338}. _:15466046_338 owl:minCardinality "5"^^. _:15466046_338 owl:onProperty first:r. _:15466013_338 owl:intersectionOf _:15466055_338. _:15466055_338 rdf:first _:15466077_338. _:15466077_338 owl:minCardinality "2"^^. _:15466077_338 owl:onProperty first:p. _:15466055_338 rdf:rest _:15466086_338. _:15466086_338 rdf:first _:15466098_338. _:15466098_338 owl:minCardinality "3"^^. _:15466098_338 owl:onProperty first:q. _:15466086_338 rdf:rest rdf:nil. first:r a owl:ObjectProperty. first:q a owl:ObjectProperty. first:p a owl:ObjectProperty. _:15466013_338 a owl:Class. _:15466046_338 a owl:Restriction. _:15466077_338 a owl:Restriction. _:15466098_338 a owl:Restriction. # Proof found for http://www.w3.org/2002/03owlt/description-logic/conclusions901.rdf in 34370 steps (162883 steps/sec) using 1 engine }. # Generated with http://www.agfa.com/w3c/euler/ version R3818 on 17 Apr 2004 23:17:25 GMT { ( . . . . . ). => . } { @prefix math: . @prefix first: . @prefix otest: . @prefix ns0: . @prefix ns3: . @prefix xsd: . @prefix log: . @prefix iw: . @prefix ns1: . @prefix ns4: . @prefix rtest: . @prefix rdfs: . @prefix second: . @prefix : . @prefix rdf: . @prefix dc: . @prefix ns2: . @prefix str: . @prefix owl: . {# line 129. _:15535307_344 owl:intersectionOf _:15535349_344. {# line 227. _:15535349_344 rdf:first _:15535371_344} => {_:15535349_344 ns1:item _:15535371_344}. _:15535371_344 owl:onProperty first:p. _:15535371_344 owl:minCardinality "200"^^. {# line 228. _:15535349_344 rdf:rest _:15535380_344. {# line 227. _:15535380_344 rdf:first _:15535392_344} => {_:15535380_344 ns1:item _:15535392_344}} => {_:15535349_344 ns1:item _:15535392_344}. _:15535392_344 owl:onProperty first:q. _:15535392_344 owl:minCardinality "300"^^. _:15535340_344 owl:onProperty first:r. _:15535340_344 owl:minCardinality "500"^^. ("200"^^ "300"^^) math:sum 500. 500 math:equalTo "500"^^. first:p rdfs:subPropertyOf first:r. first:p rdfs:range . first:q rdfs:subPropertyOf first:r. first:q rdfs:range . owl:disjointWith } => {_:15535307_344 rdfs:subClassOf _:15535340_344}. _:15535340_344 owl:minCardinality "500"^^