<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:daml='http://www.daml.org/2001/03/daml+oil#' xmlns:iw='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#'> <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Ontology'/> <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#KIF'/> <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFF'/> <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#rest'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFFOntology'/> <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#isConsequentOf'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFFContent'/> <daml:DatatypeProperty rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Statement'/> <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/IW12.daml#IW12'> <iw:WFFContent> <iw:KIF> <iw:Statement>(|http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| |http://www.ksl.stanford.edu/DAML/query-answer/wines-short2.daml#|::|CRAB| |http://www.ksl.stanford.edu/DAML/query-answer/wines-short2.daml#|::|SHELLFISH|)</iw:Statement> </iw:KIF> </iw:WFFContent> <iw:isConsequentOf rdf:type='http://www.daml.org/2001/03/daml+oil#List'/> <iw:WFFOntology rdf:parseType='daml:collection'> <iw:Ontology rdf:about='http://www.ksl.stanford.edu/software/IW/registry/ONT/WINE-TEST.daml'/> </iw:WFFOntology> </iw:WFF> </rdf:RDF>