<> <#rcsid> "$Id: sameGuyQ.n3,v 1.1 2002/03/07 19:19:22 connolly Exp $".

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

@prefix ex: <http://example/vocab#>.
@prefix : <http://example/vocab#>.


@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.

contact:mailbox a ont:UnambiguousProperty.

[ contact:mailbox <mailto:connolly@w3.org> ] :hairColor :red.
[ contact:mailbox <mailto:connolly@w3.org> ] :birthPlace :KC.


#  { [ :hairColor :red; :birthPlace :KC] } a log:FalseHood.
# i.e. there's nobody with red hair from KC
# i.e. the intersection of folks ith red hair and
# folks from KC is empty

ont:Nothing ont:intersectionOf (
  [ ont:onProperty :hairColor; ont:hasValue :red ]
  [ ont:onProperty :birthPlace; ont:hasValue :KC ] ).