(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://whistl.uwaterloo.ca/heio.owl#OWLClass_00000046447405077740>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://whistl.uwaterloo.ca/heio.owl#OWLClass_00000046447405077740>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#hasValue) (DATATYPE_PROPERTY,<http://whistl.uwaterloo.ca/heio.owl#OWLDataProperty_00000002685257569048>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onProperty <http://whistl.uwaterloo.ca/heio.owl#OWLDataProperty_00000002685257569048>. ?x3 <http://www.w3.org/2002/07/owl#hasValue> ?x4. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://whistl.uwaterloo.ca/heio.owl#OWLClass_0004>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://whistl.uwaterloo.ca/heio.owl#OWLClass_0004>. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://whistl.uwaterloo.ca/heio.owl#OWLClass_00000004435667147659>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://whistl.uwaterloo.ca/heio.owl#OWLClass_00000004435667147659>. }