From 7762abe9c0029db37932cd209e37674be1ecd6e5 Mon Sep 17 00:00:00 2001 From: "Guendalina.Righetti1" <guendalina.righetti@unibz.it> Date: Tue, 14 Nov 2023 15:47:25 +0100 Subject: [PATCH] Upload New File --- .../InitialOntology2bis.owl | 483 ++++++++++++++++++ 1 file changed, 483 insertions(+) create mode 100644 HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/InitialOntology2bis.owl diff --git a/HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/InitialOntology2bis.owl b/HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/InitialOntology2bis.owl new file mode 100644 index 0000000..8b79767 --- /dev/null +++ b/HamptonOntologies/FruitFurniture/FruitFurnitureOntologies/InitialOntology2bis.owl @@ -0,0 +1,483 @@ +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://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE> +Annotation(rdfs:comment "DOLCE in OWL for Hampto-ontologies. + +DOLCE has been slighlty modified to be used in our implementation. +We consider a single temporal snapshot, so we exlude temporalised relations/classes. + +We added different classes in the Qualities/Regions to account for qualities of objects in our common-sense ontologies. We exluded Atoms. + +In the object properties: we do not treat parthood between events, so we exclude the 'overlaps' relation. We introduced different 'quale' object-properties to account for different qualities of the concepts involved. +We added 'mayParticipateIn' as a generalisation of 'participates' to account for the intended meaning of Hampton/Leuven data. +Some of the constraints on the object properties were killed because they broke our reasoner."^^xsd:string) + +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fruit>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FruitFurniture>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Furniture>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicNonAgentiveObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt>)) +Declaration(NamedIndividual(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#wanda>)) + +############################ +# Object Properties +############################ + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale>) + +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>) +FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/InitialDOLCE#hasTasteQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale>) + +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>) +FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale>) + +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasLocationQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> "constant part") +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>) +TransitiveObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>) +ObjectPropertyDomain(Annotation(rdfs:comment "From Dd25, Ad10") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)) +ObjectPropertyRange(Annotation(rdfs:comment "From Dd25, Ad10") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyRange(Annotation(rdfs:comment "Dd25 (half)") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> "constant proper part") +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart>) +TransitiveObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>) + +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> owl:topObjectProperty) +FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> "Has quality, temporal snapshot, it shoud be inverse functional but ...") +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>)) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale>) + +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>) +FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale>) + +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale>) +FunctionalObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate>) + +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> "constant overlap. Here we view the ontology as a snapshot at one time instant.") +SymmetricObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#overlaps> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>)) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates>) + +SubObjectPropertyOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate>) +ObjectPropertyDomain(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +ObjectPropertyRange(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#participates> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>) + +# Object Property: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> "present at") +ObjectPropertyDomain(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>)) +ObjectPropertyRange(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#presentAt> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>) + + + +############################ +# Classes +############################ + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> "Abstract"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> "Abstract Quality"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> "Abstract Region"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AbstractRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> "Accomplishment"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Accomplishment> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement> "Achievement"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Achievement> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> "Agentive Physical Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> "Agentive Social Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> "Amount of Matter"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AmountOfMatter> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> "Arbitrary Sum"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ArbitrarySum> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicNonAgentiveObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> "Constant atom (constantly atomic Endurant)") +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> "do we need it?") +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#CAT> ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasProperPart>) <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>))) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>)) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> "Endurant"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> "Event"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eventive> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> "Feature"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Feature> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FruitFurniture> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FruitFurniture>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FruitFurniture> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fruit>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FruitFurniture> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Furniture>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject> "Mental Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MentalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject> "Non-Agentive Physical Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject> "Non-Agentive Social Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentiveSocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> "Non-Physical Endurant"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject> "Non-Physical Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalEndurant>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicNonAgentiveObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicNonAgentiveObject>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicNonAgentiveObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular> "Particular"^^xsd:string) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> "Perdurant"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant> "Physical Endurant"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Endurant>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject> "Physical Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalEndurant>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> "Physical Quality"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> "Physical Region"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> "Process"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Process> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> "Quality"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Particular>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>)) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region> "Region"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Abstract>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ShapeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SizeRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> "Social Agent"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialAgent> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject> "Social Object"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonPhysicalObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society> "Society"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Society> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentiveSocialObject>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> "Space Region"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpaceRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> "Spatial Location"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>) +DisjointClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SpatialLocation> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State> "State"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#State> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative> "Stative"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Stative> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Perdurant>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TasteRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PhysicalRegion>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation> "Temporal Location"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalLocation> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality> "Temporal Quality"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Quality>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion> "Temporal Region"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Region>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval>) + +AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval> "Time Interval"^^xsd:string) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TimeInterval> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#TemporalRegion>) + + +############################ +# Named Individuals +############################ + +# Individual: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#wanda> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#wanda>) + +ClassAssertion(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FruitFurniture> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#wanda>) + + +) \ No newline at end of file -- GitLab