@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

#@prefix ont:  <http://www.w3.org/2001/10/daml+oil#>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.

@prefix : <http://www.w3.org/2002/03owlt/myList#>.
@prefix ex: <http://www.w3.org/2002/03owlt/myList#>.

:all ont:samePropertyAs ont:intersectionOf.

:BigTall :all (:Big :Tall).

:bill a :BigTall.