Clause: (Term: Triple: Subject: URI: (:Animal, ) PropertyList: Property: Verb: URI: (a, http://www.w3.org/1999/02/22-rdf-syntax-ns#type) ObjectList: Object: URI: (rdfs:Class, http://www.w3.org/2000/01/rdf-schema#Class) End of ObjectList Property: Verb: URI: (, http://www.daml.org/2000/12/daml+oil#restrictedBy) ObjectList: Object: Term: Triple: SubjectNull PropertyList: End of PropertyList End of TripleList End of TermList End of ObjectList End of PropertyList End of TripleList , TermNull ) EndOfDB