drives
type: ObjectProperty

eaten_by
type: ObjectProperty
inverse of: eats

eats
type: ObjectProperty
domain: animal

has_child
type: ObjectProperty

has_father
type: ObjectProperty
sub property of: has_parent
range: man

has_mother
type: ObjectProperty
sub property of: has_parent
range: woman

has_parent
type: ObjectProperty

has_part
type: ObjectProperty
inverse of: part_of

has_pet
type: ObjectProperty
sub property of: likes
inverse of: is_pet_of
domain: person
range: animal
comment: Anyone that has a pet must like that pet.

is_pet_of
type: ObjectProperty

likes
type: ObjectProperty

part_of
type: ObjectProperty

reads
type: ObjectProperty
range: publication

works_for
type: ObjectProperty

adult
type: Class
disjoint with: young
comment: Things that are adult.

animal
type: Class
subclass of: Restriction
  on property: eats
  some values from: Thing

animal lover
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: has_pet
    min cardinality: 3
comment: Someone who really likes animals

bicycle
type: Class
subclass of: vehicle
comment: A human propelled vehicle, with two wheels

bone
type: Class

brain
type: Class

broadsheet
type: Class
subclass of: newspaper
disjoint with: tabloid
comment: A newspaper. Broadsheets are usually considered to be more "high-brow" than tabloids.

bus
type: Class
subclass of: vehicle

bus company
type: Class
subclass of: company

bus driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: drives
    some values from: bus
comment: Someone who drives a bus.

car
type: Class
subclass of: vehicle

cat
type: Class
subclass of: animal
disjoint with: dog

cat liker
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: likes
    some values from: cat

cat owner
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: has_pet
    some values from: cat

company
type: Class

cow
type: Class
subclass of: vegetarian
comment: Cows are naturally vegetarians.

dog
type: Class
subclass of: Restriction
  on property: eats
  some values from: bone

dog liker
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: likes
    some values from: dog

dog owner
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: has_pet
    some values from: dog

driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: drives
    some values from: vehicle
subclass of: adult

duck
type: Class
subclass of: animal

elderly
type: Class
subclass of: adult

female
type: Class

giraffe
type: Class
subclass of: animal
subclass of: Restriction
  on property: eats
  all values from: leaf

grass
type: Class
subclass of: plant

grownup
type: Class
equivalent class: Class
  intersection of: adult
  intersection of: person

haulage company
type: Class
subclass of: company

haulage truck driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: drives
    some values from: truck
  intersection of: Restriction
    on property: works_for
    some values from: Restriction
      on property: part_of
      some values from: haulage company

haulage worker
type: Class
equivalent class: Restriction
  on property: works_for
  some values from: Class
    union of: haulage company
    union of: Restriction
      on property: part_of
      some values from: haulage company

kid
type: Class
equivalent class: Class
  intersection of: person
  intersection of: young

leaf
type: Class
subclass of: Restriction
  on property: part_of
  some values from: tree

lorry
type: Class
subclass of: vehicle

lorry driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: drives
    some values from: lorry

mad cow
type: Class
equivalent class: Class
  intersection of: cow
  intersection of: Restriction
    on property: eats
    some values from: Class
      intersection of: brain
      intersection of: Restriction
        on property: part_of
        some values from: sheep
comment: A mad cow is a cow that has been eating the brains of sheep.

magazine
type: Class
subclass of: publication

male
type: Class
comment: The class of all male things.

man
type: Class
equivalent class: Class
  intersection of: adult
  intersection of: male
  intersection of: person

newspaper
type: Class
subclass of: publication
subclass of: Class
  union of: broadsheet
  union of: tabloid
comment: All newspapers are either broadsheets or tabloids.

old lady
type: Class
equivalent class: Class
  intersection of: elderly
  intersection of: female
  intersection of: person
subclass of: Class
  intersection of: Restriction
    on property: has_pet
    some values from: animal
  intersection of: Restriction
    on property: has_pet
    all values from: cat

person
type: Class
subclass of: animal

pet
type: Class
equivalent class: Restriction
  on property: is_pet_of
  some values from: Thing

pet owner
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: has_pet
    some values from: animal

plant
type: Class

publication
type: Class

quality broadsheet
type: Class
subclass of: broadsheet

red top
type: Class
subclass of: tabloid

sheep
type: Class
subclass of: animal
subclass of: Restriction
  on property: eats
  all values from: grass

tabloid
type: Class
subclass of: newspaper
comment: A newspaper. Tabloids are usually thought of as more "down-market" than broadsheets.

tiger
type: Class
subclass of: animal

tree
type: Class
subclass of: plant

truck
type: Class
subclass of: vehicle

van
type: Class
subclass of: vehicle

van driver
type: Class
equivalent class: Class
  intersection of: person
  intersection of: Restriction
    on property: drives
    some values from: van

vegetarian
type: Class
equivalent class: Class
  intersection of: animal
  intersection of: Restriction
    on property: eats
    all values from: Class
      complement of: animal
  intersection of: Restriction
    on property: eats
    all values from: Class
      complement of: Restriction
        on property: part_of
        some values from: animal
comment: A vegetarian is defined as an animal that eats no other animals, or parts of animals.

vehicle
type: Class

white thing
type: Class

white van man
type: Class
equivalent class: Class
  intersection of: man
  intersection of: Restriction
    on property: drives
    some values from: Class
      intersection of: van
      intersection of: white thing
subclass of: Restriction
  on property: reads
  all values from: tabloid
comment: A white van man is a man who drives a white van.

woman
type: Class
equivalent class: Class
  intersection of: adult
  intersection of: female
  intersection of: person

young
type: Class

Daily Mirror
type: Thing
type: NamedIndividual
comment: The paper read by Mick.

Dewey
type: NamedIndividual
type: duck

Fido
type: NamedIndividual
type: dog

Flossie
type: NamedIndividual
type: cow

Fluffy
type: NamedIndividual
type: tiger

Fred
type: NamedIndividual
type: person
has_pet: Tibbs

Huey
type: NamedIndividual
type: duck

Joe
type: NamedIndividual
type: person
type: Restriction
  on property: has_pet
  max cardinality: 1
has_pet: Fido

Kevin
type: NamedIndividual
type: person
has_pet: Flossie
has_pet: Fluffy

Louie
type: NamedIndividual
type: duck

Mick
type: NamedIndividual
type: male
drives: Q123 ABC
reads: Daily Mirror
comment: Mick is male and drives a white van.

Minnie
type: NamedIndividual
type: elderly
type: female
has_pet: Tom

Pete
type: Thing
type: NamedIndividual

Q123 ABC
type: NamedIndividual
type: van
type: white thing
comment: A white van

Rex
type: NamedIndividual
type: dog
is_pet_of: Mick

Spike
type: Thing
type: NamedIndividual
is_pet_of: Pete

The Guardian
type: NamedIndividual
type: broadsheet

The Sun
type: NamedIndividual
type: tabloid

The Times
type: NamedIndividual
type: broadsheet

Tibbs
type: NamedIndividual
type: cat

Tom
type: Thing
type: NamedIndividual

Walt
type: NamedIndividual
type: person
has_pet: Dewey
has_pet: Huey
has_pet: Louie