Skip to content
Snippets Groups Projects
Commit 8a8a4756 authored by Guendalina.Righetti1's avatar Guendalina.Righetti1
Browse files

Upload New File

parent 99eac217
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
HamptonOntologies/FishVehicle/FishVehicleOntologies/InitialOntology1insta.owl 0 → 100644
+ 480
− 0
View file @ 8a8a4756
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 Hampton-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#Car>))
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#Fish>))
Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>))
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#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(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Vehicle>))
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>)
AnnotationAssertion(rdfs:comment <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipate> "not included in standard DOLCE, added here to model some of the features in Hampton/Leuven database")
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>)
# 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#FishVehicle> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Car>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fish>)
SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Vehicle>)
# 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#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#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#wanda>)
)
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment