From 490521bb4480220666f7faf6cd363d2fc0c2c445 Mon Sep 17 00:00:00 2001 From: "Guendalina.Righetti1" <guendalina.righetti@unibz.it> Date: Tue, 14 Nov 2023 15:35:18 +0100 Subject: [PATCH] Upload New File --- .../FishVehicleOntologies/TestFV2.owl | 287 ++++++++++++++++++ 1 file changed, 287 insertions(+) create mode 100644 HamptonOntologies/FishVehicle/FishVehicleOntologies/TestFV2.owl diff --git a/HamptonOntologies/FishVehicle/FishVehicleOntologies/TestFV2.owl b/HamptonOntologies/FishVehicle/FishVehicleOntologies/TestFV2.owl new file mode 100644 index 0000000..80f9a4d --- /dev/null +++ b/HamptonOntologies/FishVehicle/FishVehicleOntologies/TestFV2.owl @@ -0,0 +1,287 @@ +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/fv> +Annotation(rdfs:comment "test for FishVehicle") + +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Airplane>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Anchovy>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BigSize>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Boat>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bones>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BrakeComponent>)) +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#Colorful>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Egg>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Energy>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eye>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FastMovement>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fin>)) +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#Food>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Goods>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Light>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Limb>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#LivingThing>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MediumSize>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Metal>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Motor>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Mouth>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Noise>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonLivingTransport>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OvalShape>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PredatorAnimal>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#RoadArea>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Seat>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMotivated>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SlipperySurface>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmoothSurface>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SteeringComponent>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#StreamlinedShape>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Travelling>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Vehicle>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#VehiclePart>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wheel>)) +Declaration(Class(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesTrough>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#carries>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#contains>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFeature>)) +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#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#isControlledBy>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isDangerousFor>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isGraspableBy>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isOwnedBy>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lays>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayBeEatenBy>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#pollutes>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#produces>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#safeFor>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn>)) +Declaration(ObjectProperty(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedBy>)) +Declaration(NamedIndividual(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#wanda>)) + +############################ +# Object Properties +############################ + +# 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 ...") + + + +############################ +# Classes +############################ + +# 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) +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#Air> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>) + +EquivalentClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>) +EquivalentClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Airplane> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Airplane>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Airplane> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Anchovy> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Anchovy>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Anchovy> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Boat> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Boat>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Boat> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Car> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Car>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Car> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>) + +# 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#AgentivePhysicalObject>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Airplane>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Anchovy>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Animal>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Artefact>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Boat>) +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#GrassCarp>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#LivingThing>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonLivingTransport>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#PredatorAnimal>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SelfMotivated>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Vehicle>) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Airplane> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Airplane> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Anchovy> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Boat> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Boat> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Car> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Car> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Car> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>) ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>)) ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#VehiclePart>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#VehiclePart>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SaltWater>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SweetWater>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>) ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>)))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Limb>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wheel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isControlledBy> owl:Thing))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectComplementOf(ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isDangerousFor> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#breathesTrough> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#carries> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#carries> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonAgentivePhysicalObject>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#contains> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Goods> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#eats> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#RoadArea>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#goesOn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFeature> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SlipperySurface>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasFeature> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmoothSurface>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Bones>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BrakeComponent>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Eye>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fin>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Gill>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Light>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Motor>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Mouth>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Scale>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Seat>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SteeringComponent>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Tail>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wheel>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Wing>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#ColorQuality>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isControlledBy> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#isOwnedBy> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#AgentivePhysicalObject> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SocialObject>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#lays> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Egg>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Metal>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayBeEatenBy> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FastMovement>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#mayParticipateIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Travelling>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#needs> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Energy> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#pollutes> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#produces> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Noise>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#swimsIn> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Air> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectSomeValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#usedBy> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Human>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasPart> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicBodyPart>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasColorQuale> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Colorful>))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasShapeQuale> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OvalShape> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#StreamlinedShape>)))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasQuality> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#hasSizeQuale> ObjectUnionOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#BigSize> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#MediumSize> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#SmallSize>)))) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#livesIn> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#NonOrganicMatter>)) +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle> ObjectAllValuesFrom(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#madeOf> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#OrganicMatter>)) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food>) + +EquivalentClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Food> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Fuel>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#GrassCarp> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground>) + +EquivalentClasses(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Ground> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Water>) + +# 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) + +# Class: <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark> (<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark>) + +SubClassOf(<http://www.semanticweb.org/guenda/ontologies/2020/2/fv#Shark> <http://www.semanticweb.org/guenda/ontologies/2020/2/fv#FishVehicle>) + + +############################ +# 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 -- GitLab