Prefix(:=<http://www.loa.istc.cnr.it/dolce/dolce-owl/DOLCE#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)


Ontology(<http://example.org/random.owl/InitialOntology>
Annotation(rdfs:comment "DOLCE in OWL for Hampton ..."^^xsd:string)

Declaration(Class(<http://example.org/random.owl#AT>))
Declaration(Class(<http://example.org/random.owl#Abstract>))
Declaration(Class(<http://example.org/random.owl#AbstractQuality>))
Declaration(Class(<http://example.org/random.owl#AbstractRegion>))
Declaration(Class(<http://example.org/random.owl#Accomplishment>))
Declaration(Class(<http://example.org/random.owl#Achievement>))
Declaration(Class(<http://example.org/random.owl#AgentivePhysicalObject>))
Declaration(Class(<http://example.org/random.owl#AgentiveSocialObject>))
Declaration(Class(<http://example.org/random.owl#AmountOfMatter>))
Declaration(Class(<http://example.org/random.owl#ArbitrarySum>))
Declaration(Class(<http://example.org/random.owl#CAT>))
Declaration(Class(<http://example.org/random.owl#Cdwbpw>))
Declaration(Class(<http://example.org/random.owl#ColorQuality>))
Declaration(Class(<http://example.org/random.owl#ColorRegion>))
Declaration(Class(<http://example.org/random.owl#Combo>))
Declaration(Class(<http://example.org/random.owl#Crazwg>))
Declaration(Class(<http://example.org/random.owl#Endurant>))
Declaration(Class(<http://example.org/random.owl#Eventive>))
Declaration(Class(<http://example.org/random.owl#Feature>))
Declaration(Class(<http://example.org/random.owl#MentalObject>))
Declaration(Class(<http://example.org/random.owl#NonAgentivePhysicalObject>))
Declaration(Class(<http://example.org/random.owl#NonAgentiveSocialObject>))
Declaration(Class(<http://example.org/random.owl#NonPhysicalEndurant>))
Declaration(Class(<http://example.org/random.owl#NonPhysicalObject>))
Declaration(Class(<http://example.org/random.owl#Particular>))
Declaration(Class(<http://example.org/random.owl#Perdurant>))
Declaration(Class(<http://example.org/random.owl#PhysicalEndurant>))
Declaration(Class(<http://example.org/random.owl#PhysicalObject>))
Declaration(Class(<http://example.org/random.owl#PhysicalQuality>))
Declaration(Class(<http://example.org/random.owl#PhysicalRegion>))
Declaration(Class(<http://example.org/random.owl#Process>))
Declaration(Class(<http://example.org/random.owl#Quality>))
Declaration(Class(<http://example.org/random.owl#Region>))
Declaration(Class(<http://example.org/random.owl#ShapeQuality>))
Declaration(Class(<http://example.org/random.owl#ShapeRegion>))
Declaration(Class(<http://example.org/random.owl#SizeQuality>))
Declaration(Class(<http://example.org/random.owl#SizeRegion>))
Declaration(Class(<http://example.org/random.owl#SocialAgent>))
Declaration(Class(<http://example.org/random.owl#SocialObject>))
Declaration(Class(<http://example.org/random.owl#Society>))
Declaration(Class(<http://example.org/random.owl#SpaceRegion>))
Declaration(Class(<http://example.org/random.owl#SpatialLocation>))
Declaration(Class(<http://example.org/random.owl#State>))
Declaration(Class(<http://example.org/random.owl#Stative>))
Declaration(Class(<http://example.org/random.owl#TasteQuality>))
Declaration(Class(<http://example.org/random.owl#TasteRegion>))
Declaration(Class(<http://example.org/random.owl#TemporalLocation>))
Declaration(Class(<http://example.org/random.owl#TemporalQuality>))
Declaration(Class(<http://example.org/random.owl#TemporalRegion>))
Declaration(Class(<http://example.org/random.owl#TimeInterval>))
Declaration(ObjectProperty(<http://example.org/random.owl#cHasPart>))
Declaration(ObjectProperty(<http://example.org/random.owl#cHasProperPart>))
Declaration(ObjectProperty(<http://example.org/random.owl#cOverlaps>))
Declaration(ObjectProperty(<http://example.org/random.owl#haSPart>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasColorQuale>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasLocationQuale>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasProperPart>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasQuale>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasQuality>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasShapeQuale>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasSizeQuale>))
Declaration(ObjectProperty(<http://example.org/random.owl#hasTasteQuale>))
Declaration(ObjectProperty(<http://example.org/random.owl#overlaps>))
Declaration(ObjectProperty(<http://example.org/random.owl#participates>))
Declaration(ObjectProperty(<http://example.org/random.owl#presentAt>))
Declaration(NamedIndividual(<http://example.org/random.owl/InitialOntology#combo>))

############################
#   Object Properties
############################

# Object Property: <http://example.org/random.owl#cHasPart> (<http://example.org/random.owl#cHasPart>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#cHasPart> "constant part")
SubObjectPropertyOf(<http://example.org/random.owl#cHasPart> <http://example.org/random.owl#cOverlaps>)
TransitiveObjectProperty(<http://example.org/random.owl#cHasPart>)
ObjectPropertyDomain(Annotation(rdfs:comment "From Dd25, Ad10") <http://example.org/random.owl#cHasPart> <http://example.org/random.owl#Endurant>)
ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cHasPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
ObjectPropertyRange(Annotation(rdfs:comment "From Dd25, Ad10") <http://example.org/random.owl#cHasPart> <http://example.org/random.owl#Endurant>)
ObjectPropertyRange(Annotation(rdfs:comment "Dd25 (half)") <http://example.org/random.owl#cHasPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))

# Object Property: <http://example.org/random.owl#cHasProperPart> (<http://example.org/random.owl#cHasProperPart>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#cHasProperPart> "constant proper part")
SubObjectPropertyOf(<http://example.org/random.owl#cHasProperPart> <http://example.org/random.owl#cHasPart>)
TransitiveObjectProperty(<http://example.org/random.owl#cHasProperPart>)
ObjectPropertyDomain(<http://example.org/random.owl#cHasProperPart> <http://example.org/random.owl#Endurant>)
ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cHasProperPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
ObjectPropertyRange(<http://example.org/random.owl#cHasProperPart> <http://example.org/random.owl#Endurant>)
ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cHasProperPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))

# Object Property: <http://example.org/random.owl#cOverlaps> (<http://example.org/random.owl#cOverlaps>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#cOverlaps> "constant overlap. Here we view the ontology as a snapshot at one time instant.")
SymmetricObjectProperty(<http://example.org/random.owl#cOverlaps>)
ObjectPropertyDomain(<http://example.org/random.owl#cOverlaps> <http://example.org/random.owl#Endurant>)
ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cOverlaps> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
ObjectPropertyRange(<http://example.org/random.owl#cOverlaps> <http://example.org/random.owl#Endurant>)
ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cOverlaps> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))

# Object Property: <http://example.org/random.owl#haSPart> (<http://example.org/random.owl#haSPart>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#haSPart> "part")
SubObjectPropertyOf(Annotation(rdfs:comment "From Ad5 and Dd15") <http://example.org/random.owl#haSPart> <http://example.org/random.owl#overlaps>)
TransitiveObjectProperty(<http://example.org/random.owl#haSPart>)
ObjectPropertyDomain(Annotation(rdfs:comment "Ad1 (half)") <http://example.org/random.owl#haSPart> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
ObjectPropertyRange(Annotation(rdfs:comment "Ad1 (half)") <http://example.org/random.owl#haSPart> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))

# Object Property: <http://example.org/random.owl#hasColorQuale> (<http://example.org/random.owl#hasColorQuale>)

SubObjectPropertyOf(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#hasQuale>)
ObjectPropertyDomain(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#ColorQuality>)
ObjectPropertyRange(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#ColorRegion>)

# Object Property: <http://example.org/random.owl#hasLocationQuale> (<http://example.org/random.owl#hasLocationQuale>)

SubObjectPropertyOf(<http://example.org/random.owl#hasLocationQuale> <http://example.org/random.owl#hasQuale>)
ObjectPropertyDomain(<http://example.org/random.owl#hasLocationQuale> <http://example.org/random.owl#SpatialLocation>)
ObjectPropertyRange(<http://example.org/random.owl#hasLocationQuale> <http://example.org/random.owl#SpaceRegion>)

# Object Property: <http://example.org/random.owl#hasProperPart> (<http://example.org/random.owl#hasProperPart>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#hasProperPart> "proper part")
SubObjectPropertyOf(Annotation(rdfs:comment "D14 (half)
irreflexivity impossible (property implies domain=Thing, and use of Self incompatible with transitivity)") <http://example.org/random.owl#hasProperPart> <http://example.org/random.owl#haSPart>)
TransitiveObjectProperty(<http://example.org/random.owl#hasProperPart>)

# Object Property: <http://example.org/random.owl#hasQuale> (<http://example.org/random.owl#hasQuale>)

SubObjectPropertyOf(<http://example.org/random.owl#hasQuale> owl:topObjectProperty)
ObjectPropertyDomain(<http://example.org/random.owl#hasQuale> <http://example.org/random.owl#Quality>)
ObjectPropertyRange(<http://example.org/random.owl#hasQuale> <http://example.org/random.owl#Region>)

# Object Property: <http://example.org/random.owl#hasQuality> (<http://example.org/random.owl#hasQuality>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#hasQuality> "Has quality, temporal snapshot, it shoud be inverse functional but ...")
ObjectPropertyDomain(<http://example.org/random.owl#hasQuality> ObjectUnionOf(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Perdurant>))
ObjectPropertyRange(<http://example.org/random.owl#hasQuality> <http://example.org/random.owl#Quality>)

# Object Property: <http://example.org/random.owl#hasShapeQuale> (<http://example.org/random.owl#hasShapeQuale>)

SubObjectPropertyOf(<http://example.org/random.owl#hasShapeQuale> <http://example.org/random.owl#hasQuale>)
ObjectPropertyDomain(<http://example.org/random.owl#hasShapeQuale> <http://example.org/random.owl#ShapeQuality>)
ObjectPropertyRange(<http://example.org/random.owl#hasShapeQuale> <http://example.org/random.owl#ShapeRegion>)

# Object Property: <http://example.org/random.owl#hasSizeQuale> (<http://example.org/random.owl#hasSizeQuale>)

SubObjectPropertyOf(<http://example.org/random.owl#hasSizeQuale> <http://example.org/random.owl#hasQuale>)
ObjectPropertyDomain(<http://example.org/random.owl#hasSizeQuale> <http://example.org/random.owl#SizeQuality>)
ObjectPropertyRange(<http://example.org/random.owl#hasSizeQuale> <http://example.org/random.owl#SizeRegion>)

# Object Property: <http://example.org/random.owl#hasTasteQuale> (<http://example.org/random.owl#hasTasteQuale>)

SubObjectPropertyOf(<http://example.org/random.owl#hasTasteQuale> <http://example.org/random.owl#hasQuale>)
ObjectPropertyDomain(<http://example.org/random.owl#hasTasteQuale> <http://example.org/random.owl#TasteQuality>)
ObjectPropertyRange(<http://example.org/random.owl#hasTasteQuale> <http://example.org/random.owl#TasteRegion>)

# Object Property: <http://example.org/random.owl#overlaps> (<http://example.org/random.owl#overlaps>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#overlaps> "overlap")
SymmetricObjectProperty(<http://example.org/random.owl#overlaps>)
ObjectPropertyDomain(Annotation(rdfs:comment "From Ad1 and Dd15") <http://example.org/random.owl#overlaps> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
ObjectPropertyRange(Annotation(rdfs:comment "From Ad1 and Dd15") <http://example.org/random.owl#overlaps> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))

# Object Property: <http://example.org/random.owl#participates> (<http://example.org/random.owl#participates>)

ObjectPropertyDomain(<http://example.org/random.owl#participates> <http://example.org/random.owl#Endurant>)
ObjectPropertyRange(<http://example.org/random.owl#participates> <http://example.org/random.owl#Perdurant>)

# Object Property: <http://example.org/random.owl#presentAt> (<http://example.org/random.owl#presentAt>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#presentAt> "present at")
ObjectPropertyDomain(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://example.org/random.owl#presentAt> ObjectUnionOf(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Perdurant> <http://example.org/random.owl#Quality>))
ObjectPropertyRange(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>)



############################
#   Classes
############################

# Class: <http://example.org/random.owl#AT> (<http://example.org/random.owl#AT>)

AnnotationAssertion(Annotation(rdfs:comment "Do we need it??") rdfs:comment <http://example.org/random.owl#AT> "Atom (atomic Abstract or Perdurant)")
SubClassOf(<http://example.org/random.owl#AT> <http://example.org/random.owl#Particular>)
SubClassOf(<http://example.org/random.owl#AT> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
SubClassOf(Annotation(rdfs:comment "Dd16") <http://example.org/random.owl#AT> ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(<http://example.org/random.owl#hasProperPart>) <http://example.org/random.owl#Particular>)))

# Class: <http://example.org/random.owl#Abstract> (<http://example.org/random.owl#Abstract>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Abstract> "Abstract"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Particular>)
SubClassOf(Annotation(rdfs:comment "Ad3 (half)") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(<http://example.org/random.owl#haSPart> <http://example.org/random.owl#Abstract>))
SubClassOf(Annotation(rdfs:comment "from Dd15, Ad3") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(<http://example.org/random.owl#overlaps> <http://example.org/random.owl#Abstract>))
SubClassOf(Annotation(rdfs:comment "Ad3 (half)") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#haSPart>) <http://example.org/random.owl#Abstract>))
SubClassOf(Annotation(rdfs:comment "from Dd15, Ad3") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#overlaps>) <http://example.org/random.owl#Abstract>))
DisjointClasses(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Endurant>)
DisjointClasses(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>)
DisjointClasses(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Quality>)

# Class: <http://example.org/random.owl#AbstractQuality> (<http://example.org/random.owl#AbstractQuality>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AbstractQuality> "Abstract Quality"^^xsd:string)
SubClassOf(<http://example.org/random.owl#AbstractQuality> <http://example.org/random.owl#Quality>)
DisjointClasses(<http://example.org/random.owl#AbstractQuality> <http://example.org/random.owl#PhysicalQuality>)
DisjointClasses(<http://example.org/random.owl#AbstractQuality> <http://example.org/random.owl#TemporalQuality>)

# Class: <http://example.org/random.owl#AbstractRegion> (<http://example.org/random.owl#AbstractRegion>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AbstractRegion> "Abstract Region"^^xsd:string)
SubClassOf(<http://example.org/random.owl#AbstractRegion> <http://example.org/random.owl#Region>)
DisjointClasses(<http://example.org/random.owl#AbstractRegion> <http://example.org/random.owl#PhysicalRegion>)
DisjointClasses(<http://example.org/random.owl#AbstractRegion> <http://example.org/random.owl#TemporalRegion>)

# Class: <http://example.org/random.owl#Accomplishment> (<http://example.org/random.owl#Accomplishment>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Accomplishment> "Accomplishment"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Accomplishment> <http://example.org/random.owl#Eventive>)
DisjointClasses(<http://example.org/random.owl#Accomplishment> <http://example.org/random.owl#Achievement>)

# Class: <http://example.org/random.owl#Achievement> (<http://example.org/random.owl#Achievement>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Achievement> "Achievement"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Achievement> <http://example.org/random.owl#Eventive>)

# Class: <http://example.org/random.owl#AgentivePhysicalObject> (<http://example.org/random.owl#AgentivePhysicalObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AgentivePhysicalObject> "Agentive Physical Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#AgentivePhysicalObject> <http://example.org/random.owl#PhysicalObject>)
DisjointClasses(<http://example.org/random.owl#AgentivePhysicalObject> <http://example.org/random.owl#NonAgentivePhysicalObject>)

# Class: <http://example.org/random.owl#AgentiveSocialObject> (<http://example.org/random.owl#AgentiveSocialObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AgentiveSocialObject> "Agentive Social Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#AgentiveSocialObject> <http://example.org/random.owl#SocialObject>)
DisjointClasses(<http://example.org/random.owl#AgentiveSocialObject> <http://example.org/random.owl#NonAgentiveSocialObject>)

# Class: <http://example.org/random.owl#AmountOfMatter> (<http://example.org/random.owl#AmountOfMatter>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AmountOfMatter> "Amount of Matter"^^xsd:string)
SubClassOf(<http://example.org/random.owl#AmountOfMatter> <http://example.org/random.owl#PhysicalEndurant>)
DisjointClasses(<http://example.org/random.owl#AmountOfMatter> <http://example.org/random.owl#Feature>)
DisjointClasses(<http://example.org/random.owl#AmountOfMatter> <http://example.org/random.owl#PhysicalObject>)

# Class: <http://example.org/random.owl#ArbitrarySum> (<http://example.org/random.owl#ArbitrarySum>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#ArbitrarySum> "Arbitrary Sum"^^xsd:string)
SubClassOf(<http://example.org/random.owl#ArbitrarySum> <http://example.org/random.owl#Endurant>)
DisjointClasses(<http://example.org/random.owl#ArbitrarySum> <http://example.org/random.owl#NonPhysicalEndurant>)
DisjointClasses(<http://example.org/random.owl#ArbitrarySum> <http://example.org/random.owl#PhysicalEndurant>)

# Class: <http://example.org/random.owl#CAT> (<http://example.org/random.owl#CAT>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#CAT> "Constant atom (constantly atomic Endurant)")
AnnotationAssertion(rdfs:comment <http://example.org/random.owl#CAT> "do we need it?")
SubClassOf(<http://example.org/random.owl#CAT> <http://example.org/random.owl#Endurant>)
SubClassOf(<http://example.org/random.owl#CAT> ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(<http://example.org/random.owl#cHasProperPart>) <http://example.org/random.owl#Particular>)))

# Class: <http://example.org/random.owl#ColorQuality> (<http://example.org/random.owl#ColorQuality>)

SubClassOf(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#PhysicalQuality>)
SubClassOf(<http://example.org/random.owl#ColorQuality> ObjectSomeValuesFrom(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#ColorRegion>))
DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#ShapeQuality>)
DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#SizeQuality>)
DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#SpatialLocation>)
DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#TasteQuality>)

# Class: <http://example.org/random.owl#ColorRegion> (<http://example.org/random.owl#ColorRegion>)

SubClassOf(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#PhysicalRegion>)
DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#ShapeRegion>)
DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#SizeRegion>)
DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#SpaceRegion>)
DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#TasteRegion>)

# Class: <http://example.org/random.owl#Combo> (<http://example.org/random.owl#Combo>)

SubClassOf(<http://example.org/random.owl#Combo> <http://example.org/random.owl#Cdwbpw>)
SubClassOf(<http://example.org/random.owl#Combo> <http://example.org/random.owl#Crazwg>)

# Class: <http://example.org/random.owl#Endurant> (<http://example.org/random.owl#Endurant>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Endurant> "Endurant"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Particular>)
DisjointClasses(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Perdurant>)
DisjointClasses(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Quality>)

# Class: <http://example.org/random.owl#Eventive> (<http://example.org/random.owl#Eventive>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Eventive> "Event"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Eventive> <http://example.org/random.owl#Perdurant>)
DisjointClasses(<http://example.org/random.owl#Eventive> <http://example.org/random.owl#Stative>)

# Class: <http://example.org/random.owl#Feature> (<http://example.org/random.owl#Feature>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Feature> "Feature"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Feature> <http://example.org/random.owl#PhysicalEndurant>)
DisjointClasses(<http://example.org/random.owl#Feature> <http://example.org/random.owl#PhysicalObject>)

# Class: <http://example.org/random.owl#MentalObject> (<http://example.org/random.owl#MentalObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#MentalObject> "Mental Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#MentalObject> <http://example.org/random.owl#NonPhysicalObject>)
DisjointClasses(<http://example.org/random.owl#MentalObject> <http://example.org/random.owl#SocialObject>)

# Class: <http://example.org/random.owl#NonAgentivePhysicalObject> (<http://example.org/random.owl#NonAgentivePhysicalObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonAgentivePhysicalObject> "Non-Agentive Physical Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#NonAgentivePhysicalObject> <http://example.org/random.owl#PhysicalObject>)

# Class: <http://example.org/random.owl#NonAgentiveSocialObject> (<http://example.org/random.owl#NonAgentiveSocialObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonAgentiveSocialObject> "Non-Agentive Social Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#NonAgentiveSocialObject> <http://example.org/random.owl#SocialObject>)

# Class: <http://example.org/random.owl#NonPhysicalEndurant> (<http://example.org/random.owl#NonPhysicalEndurant>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonPhysicalEndurant> "Non-Physical Endurant"^^xsd:string)
SubClassOf(<http://example.org/random.owl#NonPhysicalEndurant> <http://example.org/random.owl#Endurant>)
DisjointClasses(<http://example.org/random.owl#NonPhysicalEndurant> <http://example.org/random.owl#PhysicalEndurant>)

# Class: <http://example.org/random.owl#NonPhysicalObject> (<http://example.org/random.owl#NonPhysicalObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonPhysicalObject> "Non-Physical Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#NonPhysicalObject> <http://example.org/random.owl#NonPhysicalEndurant>)

# Class: <http://example.org/random.owl#Particular> (<http://example.org/random.owl#Particular>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Particular> "Particular"^^xsd:string)

# Class: <http://example.org/random.owl#Perdurant> (<http://example.org/random.owl#Perdurant>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Perdurant> "Perdurant"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Perdurant> <http://example.org/random.owl#Particular>)
SubClassOf(Annotation(rdfs:comment "Ad2  (half)") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(<http://example.org/random.owl#haSPart> <http://example.org/random.owl#Perdurant>))
SubClassOf(Annotation(rdfs:comment "from Dd15, Ad2") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(<http://example.org/random.owl#overlaps> <http://example.org/random.owl#Perdurant>))
SubClassOf(Annotation(rdfs:comment "Ad2 (half)") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#haSPart>) <http://example.org/random.owl#Perdurant>))
SubClassOf(Annotation(rdfs:comment "from Dd15, Ad2") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#overlaps>) <http://example.org/random.owl#Perdurant>))
DisjointClasses(<http://example.org/random.owl#Perdurant> <http://example.org/random.owl#Quality>)

# Class: <http://example.org/random.owl#PhysicalEndurant> (<http://example.org/random.owl#PhysicalEndurant>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalEndurant> "Physical Endurant"^^xsd:string)
SubClassOf(<http://example.org/random.owl#PhysicalEndurant> <http://example.org/random.owl#Endurant>)

# Class: <http://example.org/random.owl#PhysicalObject> (<http://example.org/random.owl#PhysicalObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalObject> "Physical Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#PhysicalObject> <http://example.org/random.owl#PhysicalEndurant>)

# Class: <http://example.org/random.owl#PhysicalQuality> (<http://example.org/random.owl#PhysicalQuality>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalQuality> "Physical Quality"^^xsd:string)
SubClassOf(<http://example.org/random.owl#PhysicalQuality> <http://example.org/random.owl#Quality>)
DisjointClasses(<http://example.org/random.owl#PhysicalQuality> <http://example.org/random.owl#TemporalQuality>)

# Class: <http://example.org/random.owl#PhysicalRegion> (<http://example.org/random.owl#PhysicalRegion>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalRegion> "Physical Region"^^xsd:string)
SubClassOf(<http://example.org/random.owl#PhysicalRegion> <http://example.org/random.owl#Region>)
DisjointClasses(<http://example.org/random.owl#PhysicalRegion> <http://example.org/random.owl#TemporalRegion>)

# Class: <http://example.org/random.owl#Process> (<http://example.org/random.owl#Process>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Process> "Process"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Process> <http://example.org/random.owl#Stative>)
DisjointClasses(<http://example.org/random.owl#Process> <http://example.org/random.owl#State>)

# Class: <http://example.org/random.owl#Quality> (<http://example.org/random.owl#Quality>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Quality> "Quality"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Quality> <http://example.org/random.owl#Particular>)
SubClassOf(<http://example.org/random.owl#Quality> ObjectSomeValuesFrom(<http://example.org/random.owl#hasQuale> <http://example.org/random.owl#Region>))

# Class: <http://example.org/random.owl#Region> (<http://example.org/random.owl#Region>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Region> "Region"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Region> <http://example.org/random.owl#Abstract>)

# Class: <http://example.org/random.owl#ShapeQuality> (<http://example.org/random.owl#ShapeQuality>)

SubClassOf(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#PhysicalQuality>)
DisjointClasses(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#SizeQuality>)
DisjointClasses(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#SpatialLocation>)
DisjointClasses(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#TasteQuality>)

# Class: <http://example.org/random.owl#ShapeRegion> (<http://example.org/random.owl#ShapeRegion>)

SubClassOf(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#PhysicalRegion>)
DisjointClasses(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#SizeRegion>)
DisjointClasses(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#SpaceRegion>)
DisjointClasses(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#TasteRegion>)

# Class: <http://example.org/random.owl#SizeQuality> (<http://example.org/random.owl#SizeQuality>)

SubClassOf(<http://example.org/random.owl#SizeQuality> <http://example.org/random.owl#PhysicalQuality>)
DisjointClasses(<http://example.org/random.owl#SizeQuality> <http://example.org/random.owl#SpatialLocation>)
DisjointClasses(<http://example.org/random.owl#SizeQuality> <http://example.org/random.owl#TasteQuality>)

# Class: <http://example.org/random.owl#SizeRegion> (<http://example.org/random.owl#SizeRegion>)

SubClassOf(<http://example.org/random.owl#SizeRegion> <http://example.org/random.owl#PhysicalRegion>)
DisjointClasses(<http://example.org/random.owl#SizeRegion> <http://example.org/random.owl#SpaceRegion>)
DisjointClasses(<http://example.org/random.owl#SizeRegion> <http://example.org/random.owl#TasteRegion>)

# Class: <http://example.org/random.owl#SocialAgent> (<http://example.org/random.owl#SocialAgent>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SocialAgent> "Social Agent"^^xsd:string)
SubClassOf(<http://example.org/random.owl#SocialAgent> <http://example.org/random.owl#AgentiveSocialObject>)
DisjointClasses(<http://example.org/random.owl#SocialAgent> <http://example.org/random.owl#Society>)

# Class: <http://example.org/random.owl#SocialObject> (<http://example.org/random.owl#SocialObject>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SocialObject> "Social Object"^^xsd:string)
SubClassOf(<http://example.org/random.owl#SocialObject> <http://example.org/random.owl#NonPhysicalObject>)

# Class: <http://example.org/random.owl#Society> (<http://example.org/random.owl#Society>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Society> "Society"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Society> <http://example.org/random.owl#AgentiveSocialObject>)

# Class: <http://example.org/random.owl#SpaceRegion> (<http://example.org/random.owl#SpaceRegion>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SpaceRegion> "Space Region"^^xsd:string)
SubClassOf(<http://example.org/random.owl#SpaceRegion> <http://example.org/random.owl#PhysicalRegion>)
DisjointClasses(<http://example.org/random.owl#SpaceRegion> <http://example.org/random.owl#TasteRegion>)

# Class: <http://example.org/random.owl#SpatialLocation> (<http://example.org/random.owl#SpatialLocation>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SpatialLocation> "Spatial Location"^^xsd:string)
SubClassOf(<http://example.org/random.owl#SpatialLocation> <http://example.org/random.owl#PhysicalQuality>)
DisjointClasses(<http://example.org/random.owl#SpatialLocation> <http://example.org/random.owl#TasteQuality>)

# Class: <http://example.org/random.owl#State> (<http://example.org/random.owl#State>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#State> "State"^^xsd:string)
SubClassOf(<http://example.org/random.owl#State> <http://example.org/random.owl#Stative>)

# Class: <http://example.org/random.owl#Stative> (<http://example.org/random.owl#Stative>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Stative> "Stative"^^xsd:string)
SubClassOf(<http://example.org/random.owl#Stative> <http://example.org/random.owl#Perdurant>)

# Class: <http://example.org/random.owl#TasteQuality> (<http://example.org/random.owl#TasteQuality>)

SubClassOf(<http://example.org/random.owl#TasteQuality> <http://example.org/random.owl#PhysicalQuality>)

# Class: <http://example.org/random.owl#TasteRegion> (<http://example.org/random.owl#TasteRegion>)

SubClassOf(<http://example.org/random.owl#TasteRegion> <http://example.org/random.owl#PhysicalRegion>)

# Class: <http://example.org/random.owl#TemporalLocation> (<http://example.org/random.owl#TemporalLocation>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TemporalLocation> "Temporal Location"^^xsd:string)
SubClassOf(<http://example.org/random.owl#TemporalLocation> <http://example.org/random.owl#TemporalQuality>)

# Class: <http://example.org/random.owl#TemporalQuality> (<http://example.org/random.owl#TemporalQuality>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TemporalQuality> "Temporal Quality"^^xsd:string)
SubClassOf(<http://example.org/random.owl#TemporalQuality> <http://example.org/random.owl#Quality>)

# Class: <http://example.org/random.owl#TemporalRegion> (<http://example.org/random.owl#TemporalRegion>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TemporalRegion> "Temporal Region"^^xsd:string)
SubClassOf(<http://example.org/random.owl#TemporalRegion> <http://example.org/random.owl#Region>)

# Class: <http://example.org/random.owl#TimeInterval> (<http://example.org/random.owl#TimeInterval>)

AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TimeInterval> "Time Interval"^^xsd:string)
SubClassOf(<http://example.org/random.owl#TimeInterval> <http://example.org/random.owl#TemporalRegion>)


############################
#   Named Individuals
############################

# Individual: <http://example.org/random.owl/InitialOntology#combo> (<http://example.org/random.owl/InitialOntology#combo>)

ClassAssertion(<http://example.org/random.owl#Combo> <http://example.org/random.owl/InitialOntology#combo>)


)