<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#InferenceEngine'/> <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#VariableMapping'/> <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceStep'/> <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'/> <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#AbstractInferenceRule'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Variable'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#hasInferenceRule'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Term'/> <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#rest'/> <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#hasVariableMapping'/> <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#hasInferenceEngine'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFFContent'/> <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#hasAntecedent'/> <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/aquaint/IW72.daml#IW72'> <iw:WFFContent> <iw:KIF> <iw:Statement>(magnitude ?qty day 1)</iw:Statement> </iw:KIF> </iw:WFFContent> <iw:isConsequentOf rdf:parseType='daml:collection'> <iw:InferenceStep> <iw:hasInferenceRule rdf:parseType='daml:collection'> <iw:AbstractInferenceRule rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IR/GMP.daml'/> </iw:hasInferenceRule> <iw:hasInferenceEngine rdf:parseType='daml:collection'> <iw:InferenceEngine rdf:about='http://www.ksl.stanford.edu/software/IW/registry/IE/JTP.daml'/> </iw:hasInferenceEngine> <iw:hasAntecedent rdf:parseType='daml:collection'> <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW73.daml#IW73'/> <iw:WFF rdf:about='http://www.ksl.stanford.edu/software/IW/tmp/aquaint/IW74.daml#IW74'/> </iw:hasAntecedent> <iw:hasVariableMapping rdf:parseType='daml:collection'> <iw:VariableMapping iw:Term='1' iw:Variable='?days'/> <iw:VariableMapping iw:Term='?qty' iw:Variable='?amt'/> <iw:VariableMapping iw:Term='86400000' iw:Variable='?qty'/> </iw:hasVariableMapping> </iw:InferenceStep> </iw:isConsequentOf> </iw:WFF> </rdf:RDF>