http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml Tue Feb 25 17:29:23 PST 2003 Tue Feb 25 17:29:23 PST 2003 (not (and (holds |http://www.daml.org/2001/03/daml+oil#|::|maxCardinalityQ| ?r 0) (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 ?v) (holds |http://www.w3.org/1999/02/22-rdf-syntax-ns#|::|type| ?v ?c)))