Namespace(rdf	= http://www.w3.org/1999/02/22-rdf-syntax-ns#)
Namespace(xsd	= http://www.w3.org/2001/XMLSchema#)
Namespace(rdfs	= http://www.w3.org/2000/01/rdf-schema#)
Namespace(owl	= http://www.w3.org/2002/07/owl#)
Namespace(diagnosis	= http://protege.stanford.edu/diagnosis#)

Ontology(

 Class(diagnosis:Diagnosis_Relation partial 
  restriction(diagnosis:diagnosis_value someValuesFrom (diagnosis:Disease))
  restriction(diagnosis:diagnosis_probability allValuesFrom (diagnosis:Probability_value)))
 Class(diagnosis:Disease partial)
 Class(diagnosis:Person partial 
  restriction(diagnosis:has_diagnosis allValuesFrom (diagnosis:Diagnosis_Relation)))
 Class(diagnosis:Probability_value complete 
  oneOf(diagnosis:MEDIUM diagnosis:HIGH diagnosis:LOW))

 ObjectProperty(diagnosis:diagnosis_value Functional
  range(diagnosis:Disease))
 ObjectProperty(diagnosis:has_diagnosis
  range(diagnosis:Diagnosis_Relation))

 DatatypeProperty(diagnosis:diagnosis_probability Functional)

 Individual(diagnosis:Breast_Tumor
  type(diagnosis:Disease))
 Individual(diagnosis:Christine
  type(diagnosis:Person)
  value(diagnosis:has_diagnosis diagnosis:Diagnosis_Relation_1))
 Individual(diagnosis:Diagnosis_Relation_1
  type(diagnosis:Diagnosis_Relation)
  value(diagnosis:diagnosis_value diagnosis:Breast_Tumor)
  value(diagnosis:diagnosis_probability "SimpleInstance(HIGH of [Cls(Probability_values, FrameID(1:10089)), Cls(diagnosis-n3_Class_19, FrameID(1:10093))])"))
 Individual(diagnosis:HIGH
  type(diagnosis:Probability_value))
 Individual(diagnosis:LOW
  type(diagnosis:Probability_value))
 Individual(diagnosis:MEDIUM
  type(diagnosis:Probability_value))

 DifferentIndividuals(diagnosis:MEDIUM diagnosis:HIGH diagnosis:LOW)

)