http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml Tue Feb 25 17:29:47 PST 2003 Tue Feb 25 17:29:47 PST 2003 (=> (and (holds |http://www.daml.org/2001/03/daml+oil#|::|maxCardinalityQ| ?r 1) (holds |http://www.daml.org/2001/03/daml+oil#|::|onProperty| ?r ?p) (holds |http://www.daml.org/2001/03/daml+oil#|::|hasClassQ| ?r ?c) (holds |http://www.w3.org/1999/02/22-rdf-syntax-ns#|::|type| ?x ?r) (holds ?p ?x ?v1) (holds |http://www.w3.org/1999/02/22-rdf-syntax-ns#|::|type| ?v1 ?c) (holds ?p ?x ?v2) (holds |http://www.w3.org/1999/02/22-rdf-syntax-ns#|::|type| ?v2 ?c)) (holds |http://www.daml.org/2001/03/daml+oil#|::|equivalentTo| ?v1 ?v2))