Ontology Analysis Report

Ontology Information
File:

Ontology_of_Jurisdiction.owl

IRI:

Not available

Expressivity:

AL

Complexity:

344 axioms

Visualizations:
Ontology Statistics

102

Classes

19

Object Properties

0

Data Properties

0

Individuals

Consistency Check
Consistent
The ontology is logically consistent. No contradictions were found.
Reasoning Methodology
Reasoners Used:
  • Pellet
Reasoning Tasks:
  • Consistency
  • Classification
  • Realization
Theoretical Guarantees:
Property Status
Decidability Decidable for OWL DL ontologies
Completeness Complete for SROIQ(D) description logic
Soundness Sound for standard description logics
Limitations:
  • May time out on very large ontologies
  • OWL Full constructs not supported
  • Resolution is limited to standard tableaux algorithm capabilities
Performance:

Reasoning Time: 4279 ms

Start Time: 2025-05-31T10:58:53.829897

End Time: 2025-05-31T10:58:58.109052

Axioms
Type Description
SubClassOf RvUoy8yoewTi3hZTTN9chP ⊑ Thing
SubClassOf Quality ⊑ Thing
SubClassOf ProcessBoundary ⊑ Thing
SubClassOf SpatialRegion ⊑ Thing
SubClassOf RdEybu7FxzDNEHhaRzqPLP ⊑ Thing
SubClassOf R7qHN4OL0WvYb3ENAokZnP5 ⊑ Thing
SubClassOf OneDimensionalRegion ⊑ Thing
SubClassOf ConnectedTemporalRegion ⊑ Thing
SubClassOf RoLJo9J214EQPH4tQcqDBT ⊑ Thing
SubClassOf RDj45sIKPgjMlIC5hirDIYZ ⊑ Thing
SubClassOf R9c2xi9GKe5hHDb0YOWdBZr ⊑ Thing
SubClassOf RDJP7aIykcFTjgKzj62TFmI ⊑ Thing
SubClassOf R8GSC7NAjIvINu2usnd1gei ⊑ Thing
SubClassOf RUrjXIw0v553cnYmySoK1Z ⊑ Thing
SubClassOf R8PshIwBRVUZfE8swrmQRPk ⊑ Thing
SubClassOf R1qAK3eIra15LPReYzYgm6 ⊑ Thing
SubClassOf R84fybK2yFFURwT9GktnA7h ⊑ Thing
SubClassOf Role ⊑ Thing
SubClassOf RDOu6jCRGUb2VGWN9jgFQQI ⊑ Thing
SubClassOf RC9omLKaRPukWE802PQalT1 ⊑ Thing
SubClassOf R91OUoPNd91JSOsbj1xddBq ⊑ Thing
SubClassOf TwoDimensionalRegion ⊑ Thing
SubClassOf ZeroDimensionalRegion ⊑ Thing
SubClassOf Object ⊑ Thing
SubClassOf Rcbg93ejdBYKyYPZq0pBpZ ⊑ Thing
SubClassOf RGz2HmY656w6kbf4QTP8DB ⊑ Thing
SubClassOf Function ⊑ Thing
SubClassOf ProcessualContext ⊑ Thing
SubClassOf R7MeyA0NDirRXk2PqugaoXF ⊑ Thing
SubClassOf RDJdupYTVuxkVp0KN2hwzEW ⊑ Thing
SubClassOf Entity ⊑ Thing
SubClassOf GenericallyDependentContinuant ⊑ Thing
SubClassOf R8MqgGWO1GKEoxBZcHisOEF ⊑ Thing
SubClassOf ScatteredTemporalRegion ⊑ Thing
SubClassOf R7jWkoih3WKoE1MxVrPyEIn ⊑ Thing
SubClassOf ObjectAggregate ⊑ Thing
SubClassOf RDq86FS1DR1Utcii9Wemvig ⊑ Thing
SubClassOf RBlui7qhplaEghwA5pQqAK9 ⊑ Thing
SubClassOf R9rXQTddKxg7BIuCCX3ruoA ⊑ Thing
SubClassOf RpFtDMpSaXbM6DcsQRzxiW ⊑ Thing
SubClassOf RDroQ6gqojI2J9qt9JQHnzy ⊑ Thing
SubClassOf RCbHqICWiTh7zCLoicTxshQ ⊑ Thing
SubClassOf RLfmhW2RubcAP55sBb4cSj ⊑ Thing
SubClassOf R78SmYYz2SyGrosTIOQiLuv ⊑ Thing
SubClassOf R7c5FFXit42gsnRvsCcWy0G ⊑ Thing
SubClassOf FiatProcessPart ⊑ Thing
SubClassOf SpatiotemporalInstant ⊑ Thing
SubClassOf TemporalRegion ⊑ Thing
SubClassOf R9DXsEC0XgJRHjLhPiX2SLo ⊑ Thing
SubClassOf ThreeDimensionalRegion ⊑ Thing
SubClassOf RgNe5YQaUTzUKToJqKP0Yr ⊑ Thing
SubClassOf RCP0DE2T3qfb6vN7F1BiHtt ⊑ Thing
SubClassOf R9c39ZpJZBtj0oyafRacxL4 ⊑ Thing
SubClassOf R9wJpjFkBaXNPqXTu1qQyN3 ⊑ Thing
SubClassOf ScatteredSpatiotemporalRegion ⊑ Thing
SubClassOf R8AViosrbqDL79ZqcYPXm9M ⊑ Thing
SubClassOf RBKvRnuWr44SSoaDuUqLqI ⊑ Thing
SubClassOf RealizableEntity ⊑ Thing
SubClassOf RCaw7UA4H20HQ2Xo0lxm4Vx ⊑ Thing
SubClassOf ObjectBoundary ⊑ Thing
SubClassOf R7ZS9ws9eBdOlSSe0kcasQf ⊑ Thing
SubClassOf R85HCiY8jnRqyXQW5cFnm2W ⊑ Thing
SubClassOf R8VypyAZTrwqXdpOGLQPYGM ⊑ Thing
SubClassOf RCDZorXSJeLsbU6HGXDHCkI ⊑ Thing
SubClassOf R7bxda4c9LIdMzAWXfTyVEF ⊑ Thing
SubClassOf SpatiotemporalRegion ⊑ Thing
SubClassOf RVnOwwEXmsli8PgrwfBAym ⊑ Thing
SubClassOf DependentContinuant ⊑ Thing
SubClassOf RdTuYwQvSdzYloCNRUwHw8 ⊑ Thing
SubClassOf Disposition ⊑ Thing
SubClassOf TemporalInterval ⊑ Thing
SubClassOf R9qi2csvgNfJxwx1ofgHLUR ⊑ Thing
SubClassOf RXQYDg5hiJY7A0JZ7PLhTF ⊑ Thing
SubClassOf RDK4QMGtILQEOUy2GlZIBlb ⊑ Thing
SubClassOf FiatObjectPart ⊑ Thing
SubClassOf Process ⊑ Thing
SubClassOf Occurrent ⊑ Thing
SubClassOf RDp4aaQDXEjIqLc4UXjj2eY ⊑ Thing
SubClassOf TemporalInstant ⊑ Thing
SubClassOf RBkPu19XX9BjitAXJW0kh9R ⊑ Thing
SubClassOf R9nTT89xzP3cPRRzMMOUc64 ⊑ Thing
SubClassOf R7V5UqboxFuCGLuAo8yP9qe ⊑ Thing
SubClassOf RBV8M1p4PSh39gSz0kx3qMb ⊑ Thing
SubClassOf RBZPN1dwK3GvJJM3NToGz6D ⊑ Thing
SubClassOf R9RsQRHF9rtNdjWT0i5E0ac ⊑ Thing
SubClassOf ProcessualEntity ⊑ Thing
SubClassOf SpatiotemporalInterval ⊑ Thing
SubClassOf R8Ck4juOTm5h3ZtLmIGblYz ⊑ Thing
SubClassOf R5VfJ37jrSfczKjfRoA0jf ⊑ Thing
SubClassOf IndependentContinuant ⊑ Thing
SubClassOf Continuant ⊑ Thing
SubClassOf Site ⊑ Thing
SubClassOf Ro6Z5IOa1uoY4l2FTdjqlv ⊑ Thing
SubClassOf RBpP8X9xhnGEgLlWrkjwCqa ⊑ Thing
SubClassOf R9qDUowCj4GbqncR2xRXjy1 ⊑ Thing
SubClassOf RCPEMq1hZFfuXgCBRSRdKzJ ⊑ Thing
SubClassOf R7a3RhyAMsxClDhmcuO8X1o ⊑ Thing
SubClassOf RGBQOjHAnc0C5FNlNWhwot ⊑ Thing
SubClassOf SpecificallyDependentContinuant ⊑ Thing
SubClassOf ConnectedSpatiotemporalRegion ⊑ Thing
SubClassOf ProcessAggregate ⊑ Thing
SubClassOf RI943R9yGvKATOhrEjBbBF ⊑ Thing
Type Description
SubClassOf RvUoy8yoewTi3hZTTN9chP ⊑ Thing
SubClassOf Quality ⊑ Thing
SubClassOf ProcessBoundary ⊑ Thing
SubClassOf SpatialRegion ⊑ Thing
SubClassOf RdEybu7FxzDNEHhaRzqPLP ⊑ Thing
SubClassOf R7qHN4OL0WvYb3ENAokZnP5 ⊑ Thing
SubClassOf OneDimensionalRegion ⊑ Thing
SubClassOf ConnectedTemporalRegion ⊑ Thing
SubClassOf RoLJo9J214EQPH4tQcqDBT ⊑ Thing
SubClassOf RDj45sIKPgjMlIC5hirDIYZ ⊑ Thing
SubClassOf R9c2xi9GKe5hHDb0YOWdBZr ⊑ Thing
SubClassOf RDJP7aIykcFTjgKzj62TFmI ⊑ Thing
SubClassOf R8GSC7NAjIvINu2usnd1gei ⊑ Thing
SubClassOf RUrjXIw0v553cnYmySoK1Z ⊑ Thing
SubClassOf R8PshIwBRVUZfE8swrmQRPk ⊑ Thing
SubClassOf R1qAK3eIra15LPReYzYgm6 ⊑ Thing
SubClassOf R84fybK2yFFURwT9GktnA7h ⊑ Thing
SubClassOf Role ⊑ Thing
SubClassOf RDOu6jCRGUb2VGWN9jgFQQI ⊑ Thing
SubClassOf RC9omLKaRPukWE802PQalT1 ⊑ Thing
SubClassOf R91OUoPNd91JSOsbj1xddBq ⊑ Thing
SubClassOf TwoDimensionalRegion ⊑ Thing
SubClassOf ZeroDimensionalRegion ⊑ Thing
SubClassOf Object ⊑ Thing
SubClassOf Rcbg93ejdBYKyYPZq0pBpZ ⊑ Thing
SubClassOf RGz2HmY656w6kbf4QTP8DB ⊑ Thing
SubClassOf Function ⊑ Thing
SubClassOf ProcessualContext ⊑ Thing
SubClassOf R7MeyA0NDirRXk2PqugaoXF ⊑ Thing
SubClassOf RDJdupYTVuxkVp0KN2hwzEW ⊑ Thing
SubClassOf Entity ⊑ Thing
SubClassOf GenericallyDependentContinuant ⊑ Thing
SubClassOf R8MqgGWO1GKEoxBZcHisOEF ⊑ Thing
SubClassOf ScatteredTemporalRegion ⊑ Thing
SubClassOf R7jWkoih3WKoE1MxVrPyEIn ⊑ Thing
SubClassOf ObjectAggregate ⊑ Thing
SubClassOf RDq86FS1DR1Utcii9Wemvig ⊑ Thing
SubClassOf RBlui7qhplaEghwA5pQqAK9 ⊑ Thing
SubClassOf R9rXQTddKxg7BIuCCX3ruoA ⊑ Thing
SubClassOf RpFtDMpSaXbM6DcsQRzxiW ⊑ Thing
SubClassOf RDroQ6gqojI2J9qt9JQHnzy ⊑ Thing
SubClassOf RCbHqICWiTh7zCLoicTxshQ ⊑ Thing
SubClassOf RLfmhW2RubcAP55sBb4cSj ⊑ Thing
SubClassOf R78SmYYz2SyGrosTIOQiLuv ⊑ Thing
SubClassOf R7c5FFXit42gsnRvsCcWy0G ⊑ Thing
SubClassOf FiatProcessPart ⊑ Thing
SubClassOf SpatiotemporalInstant ⊑ Thing
SubClassOf TemporalRegion ⊑ Thing
SubClassOf R9DXsEC0XgJRHjLhPiX2SLo ⊑ Thing
SubClassOf ThreeDimensionalRegion ⊑ Thing
SubClassOf RgNe5YQaUTzUKToJqKP0Yr ⊑ Thing
SubClassOf RCP0DE2T3qfb6vN7F1BiHtt ⊑ Thing
SubClassOf R9c39ZpJZBtj0oyafRacxL4 ⊑ Thing
SubClassOf R9wJpjFkBaXNPqXTu1qQyN3 ⊑ Thing
SubClassOf ScatteredSpatiotemporalRegion ⊑ Thing
SubClassOf R8AViosrbqDL79ZqcYPXm9M ⊑ Thing
SubClassOf RBKvRnuWr44SSoaDuUqLqI ⊑ Thing
SubClassOf RealizableEntity ⊑ Thing
SubClassOf RCaw7UA4H20HQ2Xo0lxm4Vx ⊑ Thing
SubClassOf ObjectBoundary ⊑ Thing
SubClassOf R7ZS9ws9eBdOlSSe0kcasQf ⊑ Thing
SubClassOf R85HCiY8jnRqyXQW5cFnm2W ⊑ Thing
SubClassOf R8VypyAZTrwqXdpOGLQPYGM ⊑ Thing
SubClassOf RCDZorXSJeLsbU6HGXDHCkI ⊑ Thing
SubClassOf R7bxda4c9LIdMzAWXfTyVEF ⊑ Thing
SubClassOf SpatiotemporalRegion ⊑ Thing
SubClassOf RVnOwwEXmsli8PgrwfBAym ⊑ Thing
SubClassOf DependentContinuant ⊑ Thing
SubClassOf RdTuYwQvSdzYloCNRUwHw8 ⊑ Thing
SubClassOf Disposition ⊑ Thing
SubClassOf TemporalInterval ⊑ Thing
SubClassOf R9qi2csvgNfJxwx1ofgHLUR ⊑ Thing
SubClassOf RXQYDg5hiJY7A0JZ7PLhTF ⊑ Thing
SubClassOf RDK4QMGtILQEOUy2GlZIBlb ⊑ Thing
SubClassOf FiatObjectPart ⊑ Thing
SubClassOf Process ⊑ Thing
SubClassOf Occurrent ⊑ Thing
SubClassOf RDp4aaQDXEjIqLc4UXjj2eY ⊑ Thing
SubClassOf TemporalInstant ⊑ Thing
SubClassOf RBkPu19XX9BjitAXJW0kh9R ⊑ Thing
SubClassOf R9nTT89xzP3cPRRzMMOUc64 ⊑ Thing
SubClassOf R7V5UqboxFuCGLuAo8yP9qe ⊑ Thing
SubClassOf RBV8M1p4PSh39gSz0kx3qMb ⊑ Thing
SubClassOf RBZPN1dwK3GvJJM3NToGz6D ⊑ Thing
SubClassOf R9RsQRHF9rtNdjWT0i5E0ac ⊑ Thing
SubClassOf ProcessualEntity ⊑ Thing
SubClassOf SpatiotemporalInterval ⊑ Thing
SubClassOf R8Ck4juOTm5h3ZtLmIGblYz ⊑ Thing
SubClassOf R5VfJ37jrSfczKjfRoA0jf ⊑ Thing
SubClassOf IndependentContinuant ⊑ Thing
SubClassOf Continuant ⊑ Thing
SubClassOf Site ⊑ Thing
SubClassOf Ro6Z5IOa1uoY4l2FTdjqlv ⊑ Thing
SubClassOf RBpP8X9xhnGEgLlWrkjwCqa ⊑ Thing
SubClassOf R9qDUowCj4GbqncR2xRXjy1 ⊑ Thing
SubClassOf RCPEMq1hZFfuXgCBRSRdKzJ ⊑ Thing
SubClassOf R7a3RhyAMsxClDhmcuO8X1o ⊑ Thing
SubClassOf RGBQOjHAnc0C5FNlNWhwot ⊑ Thing
SubClassOf SpecificallyDependentContinuant ⊑ Thing
SubClassOf ConnectedSpatiotemporalRegion ⊑ Thing
SubClassOf ProcessAggregate ⊑ Thing
SubClassOf RI943R9yGvKATOhrEjBbBF ⊑ Thing
Type Description
Type Description
Inferred Axioms
Type Description
No inferred axioms available
No inferred axioms found.
Derivation Trace

This visualization shows how inferences were derived during reasoning:

No derivation steps are available for this ontology. This could be because:
  • No inferences were made during reasoning
  • The ontology was analyzed using a method that doesn't track derivations
  • The reasoner encountered an error during the inference process
First-Order Logic Premises

The following FOL premises have been generated from the ontology axioms:

Type FOL Formula Description
class instance_of(x, RvUoy8yoewTi3hZTTN9chP, t) Entities that are instances of RvUoy8yoewTi3hZTTN9chP
class instance_of(x, Quality, t) Entities that are instances of Quality
class instance_of(x, ProcessBoundary, t) Entities that are instances of ProcessBoundary
class instance_of(x, SpatialRegion, t) Entities that are instances of SpatialRegion
class instance_of(x, RdEybu7FxzDNEHhaRzqPLP, t) Entities that are instances of RdEybu7FxzDNEHhaRzqPLP
class instance_of(x, R7qHN4OL0WvYb3ENAokZnP5, t) Entities that are instances of R7qHN4OL0WvYb3ENAokZnP5
class instance_of(x, OneDimensionalRegion, t) Entities that are instances of OneDimensionalRegion
class instance_of(x, ConnectedTemporalRegion, t) Entities that are instances of ConnectedTemporalRegion
class instance_of(x, RoLJo9J214EQPH4tQcqDBT, t) Entities that are instances of RoLJo9J214EQPH4tQcqDBT
class instance_of(x, RDj45sIKPgjMlIC5hirDIYZ, t) Entities that are instances of RDj45sIKPgjMlIC5hirDIYZ
class instance_of(x, R9c2xi9GKe5hHDb0YOWdBZr, t) Entities that are instances of R9c2xi9GKe5hHDb0YOWdBZr
class instance_of(x, RDJP7aIykcFTjgKzj62TFmI, t) Entities that are instances of RDJP7aIykcFTjgKzj62TFmI
class instance_of(x, R8GSC7NAjIvINu2usnd1gei, t) Entities that are instances of R8GSC7NAjIvINu2usnd1gei
class instance_of(x, RUrjXIw0v553cnYmySoK1Z, t) Entities that are instances of RUrjXIw0v553cnYmySoK1Z
class instance_of(x, R8PshIwBRVUZfE8swrmQRPk, t) Entities that are instances of R8PshIwBRVUZfE8swrmQRPk
class instance_of(x, R1qAK3eIra15LPReYzYgm6, t) Entities that are instances of R1qAK3eIra15LPReYzYgm6
class instance_of(x, R84fybK2yFFURwT9GktnA7h, t) Entities that are instances of R84fybK2yFFURwT9GktnA7h
class instance_of(x, Role, t) Entities that are instances of Role
class instance_of(x, RDOu6jCRGUb2VGWN9jgFQQI, t) Entities that are instances of RDOu6jCRGUb2VGWN9jgFQQI
class instance_of(x, RC9omLKaRPukWE802PQalT1, t) Entities that are instances of RC9omLKaRPukWE802PQalT1
class instance_of(x, R91OUoPNd91JSOsbj1xddBq, t) Entities that are instances of R91OUoPNd91JSOsbj1xddBq
class instance_of(x, TwoDimensionalRegion, t) Entities that are instances of TwoDimensionalRegion
class instance_of(x, ZeroDimensionalRegion, t) Entities that are instances of ZeroDimensionalRegion
class instance_of(x, Object, t) Entities that are instances of Object
class instance_of(x, Rcbg93ejdBYKyYPZq0pBpZ, t) Entities that are instances of Rcbg93ejdBYKyYPZq0pBpZ
class instance_of(x, RGz2HmY656w6kbf4QTP8DB, t) Entities that are instances of RGz2HmY656w6kbf4QTP8DB
class instance_of(x, Function, t) Entities that are instances of Function
class instance_of(x, ProcessualContext, t) Entities that are instances of ProcessualContext
class instance_of(x, R7MeyA0NDirRXk2PqugaoXF, t) Entities that are instances of R7MeyA0NDirRXk2PqugaoXF
class instance_of(x, RDJdupYTVuxkVp0KN2hwzEW, t) Entities that are instances of RDJdupYTVuxkVp0KN2hwzEW
class instance_of(x, GenericallyDependentContinuant, t) Entities that are instances of GenericallyDependentContinuant
class instance_of(x, R8MqgGWO1GKEoxBZcHisOEF, t) Entities that are instances of R8MqgGWO1GKEoxBZcHisOEF
class instance_of(x, ScatteredTemporalRegion, t) Entities that are instances of ScatteredTemporalRegion
class instance_of(x, R7jWkoih3WKoE1MxVrPyEIn, t) Entities that are instances of R7jWkoih3WKoE1MxVrPyEIn
class instance_of(x, ObjectAggregate, t) Entities that are instances of ObjectAggregate
class instance_of(x, RDq86FS1DR1Utcii9Wemvig, t) Entities that are instances of RDq86FS1DR1Utcii9Wemvig
class instance_of(x, RBlui7qhplaEghwA5pQqAK9, t) Entities that are instances of RBlui7qhplaEghwA5pQqAK9
class instance_of(x, R9rXQTddKxg7BIuCCX3ruoA, t) Entities that are instances of R9rXQTddKxg7BIuCCX3ruoA
class instance_of(x, RpFtDMpSaXbM6DcsQRzxiW, t) Entities that are instances of RpFtDMpSaXbM6DcsQRzxiW
class instance_of(x, RDroQ6gqojI2J9qt9JQHnzy, t) Entities that are instances of RDroQ6gqojI2J9qt9JQHnzy
class instance_of(x, RCbHqICWiTh7zCLoicTxshQ, t) Entities that are instances of RCbHqICWiTh7zCLoicTxshQ
class instance_of(x, RLfmhW2RubcAP55sBb4cSj, t) Entities that are instances of RLfmhW2RubcAP55sBb4cSj
class instance_of(x, R78SmYYz2SyGrosTIOQiLuv, t) Entities that are instances of R78SmYYz2SyGrosTIOQiLuv
class instance_of(x, R7c5FFXit42gsnRvsCcWy0G, t) Entities that are instances of R7c5FFXit42gsnRvsCcWy0G
class instance_of(x, FiatProcessPart, t) Entities that are instances of FiatProcessPart
class instance_of(x, SpatiotemporalInstant, t) Entities that are instances of SpatiotemporalInstant
class instance_of(x, TemporalRegion, t) Entities that are instances of TemporalRegion
class instance_of(x, R9DXsEC0XgJRHjLhPiX2SLo, t) Entities that are instances of R9DXsEC0XgJRHjLhPiX2SLo
class instance_of(x, ThreeDimensionalRegion, t) Entities that are instances of ThreeDimensionalRegion
class instance_of(x, RgNe5YQaUTzUKToJqKP0Yr, t) Entities that are instances of RgNe5YQaUTzUKToJqKP0Yr
class instance_of(x, RCP0DE2T3qfb6vN7F1BiHtt, t) Entities that are instances of RCP0DE2T3qfb6vN7F1BiHtt
class instance_of(x, R9c39ZpJZBtj0oyafRacxL4, t) Entities that are instances of R9c39ZpJZBtj0oyafRacxL4
class instance_of(x, R9wJpjFkBaXNPqXTu1qQyN3, t) Entities that are instances of R9wJpjFkBaXNPqXTu1qQyN3
class instance_of(x, ScatteredSpatiotemporalRegion, t) Entities that are instances of ScatteredSpatiotemporalRegion
class instance_of(x, R8AViosrbqDL79ZqcYPXm9M, t) Entities that are instances of R8AViosrbqDL79ZqcYPXm9M
class instance_of(x, RBKvRnuWr44SSoaDuUqLqI, t) Entities that are instances of RBKvRnuWr44SSoaDuUqLqI
class instance_of(x, RealizableEntity, t) Entities that are instances of RealizableEntity
class instance_of(x, RCaw7UA4H20HQ2Xo0lxm4Vx, t) Entities that are instances of RCaw7UA4H20HQ2Xo0lxm4Vx
class instance_of(x, ObjectBoundary, t) Entities that are instances of ObjectBoundary
class instance_of(x, R7ZS9ws9eBdOlSSe0kcasQf, t) Entities that are instances of R7ZS9ws9eBdOlSSe0kcasQf
class instance_of(x, R85HCiY8jnRqyXQW5cFnm2W, t) Entities that are instances of R85HCiY8jnRqyXQW5cFnm2W
class instance_of(x, R8VypyAZTrwqXdpOGLQPYGM, t) Entities that are instances of R8VypyAZTrwqXdpOGLQPYGM
class instance_of(x, RCDZorXSJeLsbU6HGXDHCkI, t) Entities that are instances of RCDZorXSJeLsbU6HGXDHCkI
class instance_of(x, R7bxda4c9LIdMzAWXfTyVEF, t) Entities that are instances of R7bxda4c9LIdMzAWXfTyVEF
class instance_of(x, SpatiotemporalRegion, t) Entities that are instances of SpatiotemporalRegion
class instance_of(x, RVnOwwEXmsli8PgrwfBAym, t) Entities that are instances of RVnOwwEXmsli8PgrwfBAym
class instance_of(x, DependentContinuant, t) Entities that are instances of DependentContinuant
class instance_of(x, RdTuYwQvSdzYloCNRUwHw8, t) Entities that are instances of RdTuYwQvSdzYloCNRUwHw8
class instance_of(x, Disposition, t) Entities that are instances of Disposition
class instance_of(x, TemporalInterval, t) Entities that are instances of TemporalInterval
class instance_of(x, R9qi2csvgNfJxwx1ofgHLUR, t) Entities that are instances of R9qi2csvgNfJxwx1ofgHLUR
class instance_of(x, RXQYDg5hiJY7A0JZ7PLhTF, t) Entities that are instances of RXQYDg5hiJY7A0JZ7PLhTF
class instance_of(x, RDK4QMGtILQEOUy2GlZIBlb, t) Entities that are instances of RDK4QMGtILQEOUy2GlZIBlb
class instance_of(x, FiatObjectPart, t) Entities that are instances of FiatObjectPart
class instance_of(x, Process, t) Entities that are instances of Process
class instance_of(x, Occurrent, t) Entities that are instances of Occurrent
class instance_of(x, RDp4aaQDXEjIqLc4UXjj2eY, t) Entities that are instances of RDp4aaQDXEjIqLc4UXjj2eY
class instance_of(x, TemporalInstant, t) Entities that are instances of TemporalInstant
class instance_of(x, RBkPu19XX9BjitAXJW0kh9R, t) Entities that are instances of RBkPu19XX9BjitAXJW0kh9R
class instance_of(x, R9nTT89xzP3cPRRzMMOUc64, t) Entities that are instances of R9nTT89xzP3cPRRzMMOUc64
class instance_of(x, R7V5UqboxFuCGLuAo8yP9qe, t) Entities that are instances of R7V5UqboxFuCGLuAo8yP9qe
class instance_of(x, RBV8M1p4PSh39gSz0kx3qMb, t) Entities that are instances of RBV8M1p4PSh39gSz0kx3qMb
class instance_of(x, RBZPN1dwK3GvJJM3NToGz6D, t) Entities that are instances of RBZPN1dwK3GvJJM3NToGz6D
class instance_of(x, R9RsQRHF9rtNdjWT0i5E0ac, t) Entities that are instances of R9RsQRHF9rtNdjWT0i5E0ac
class instance_of(x, ProcessualEntity, t) Entities that are instances of ProcessualEntity
class instance_of(x, SpatiotemporalInterval, t) Entities that are instances of SpatiotemporalInterval
class instance_of(x, R8Ck4juOTm5h3ZtLmIGblYz, t) Entities that are instances of R8Ck4juOTm5h3ZtLmIGblYz
class instance_of(x, R5VfJ37jrSfczKjfRoA0jf, t) Entities that are instances of R5VfJ37jrSfczKjfRoA0jf
class instance_of(x, IndependentContinuant, t) Entities that are instances of IndependentContinuant
class instance_of(x, Continuant, t) Entities that are instances of Continuant
class instance_of(x, Site, t) Entities that are instances of Site
class instance_of(x, Ro6Z5IOa1uoY4l2FTdjqlv, t) Entities that are instances of Ro6Z5IOa1uoY4l2FTdjqlv
class instance_of(x, RBpP8X9xhnGEgLlWrkjwCqa, t) Entities that are instances of RBpP8X9xhnGEgLlWrkjwCqa
class instance_of(x, R9qDUowCj4GbqncR2xRXjy1, t) Entities that are instances of R9qDUowCj4GbqncR2xRXjy1
class instance_of(x, RCPEMq1hZFfuXgCBRSRdKzJ, t) Entities that are instances of RCPEMq1hZFfuXgCBRSRdKzJ
class instance_of(x, R7a3RhyAMsxClDhmcuO8X1o, t) Entities that are instances of R7a3RhyAMsxClDhmcuO8X1o
class instance_of(x, RGBQOjHAnc0C5FNlNWhwot, t) Entities that are instances of RGBQOjHAnc0C5FNlNWhwot
class instance_of(x, SpecificallyDependentContinuant, t) Entities that are instances of SpecificallyDependentContinuant
class instance_of(x, ConnectedSpatiotemporalRegion, t) Entities that are instances of ConnectedSpatiotemporalRegion
class instance_of(x, ProcessAggregate, t) Entities that are instances of ProcessAggregate
class instance_of(x, RI943R9yGvKATOhrEjBbBF, t) Entities that are instances of RI943R9yGvKATOhrEjBbBF
property R8AvZGs3uvurkfaxyKt58qv(x, y, t) Relation R8AvZGs3uvurkfaxyKt58qv between entities
property R8Km6UinurwP6iYKUlpZmP7(x, y, t) Relation R8Km6UinurwP6iYKUlpZmP7 between entities
property R8k6KhtHFZh3aKHGcgo65H0(x, y, t) Relation R8k6KhtHFZh3aKHGcgo65H0 between entities
property R8ucE4pax7dRV9S7P4KNB4x(x, y, t) Relation R8ucE4pax7dRV9S7P4KNB4x between entities
property R92JqUVfljf0tUDgLiKGAvl(x, y, t) Relation R92JqUVfljf0tUDgLiKGAvl between entities
property R9MnB6Slapuh2MHlJYrbCtY(x, y, t) Relation R9MnB6Slapuh2MHlJYrbCtY between entities
property R9T6tDGm4gHe8P0425Cl6ob(x, y, t) Relation R9T6tDGm4gHe8P0425Cl6ob between entities
property R9sHhNtl3p1s0HaGhe1O9mV(x, y, t) Relation R9sHhNtl3p1s0HaGhe1O9mV between entities
property R9u25DHEVlPubYz0RrbWLgM(x, y, t) Relation R9u25DHEVlPubYz0RrbWLgM between entities
property RB5Mo10Dlw4WIOyIQH3qhQo(x, y, t) Relation RB5Mo10Dlw4WIOyIQH3qhQo between entities
property RBC8ZnJieHfaoUogZLAGG10(x, y, t) Relation RBC8ZnJieHfaoUogZLAGG10 between entities
property RBzOEhWCAYd59yuY85ju8ul(x, y, t) Relation RBzOEhWCAYd59yuY85ju8ul between entities
property RC5N4pwqjHKUR1VzeEKOX2S(x, y, t) Relation RC5N4pwqjHKUR1VzeEKOX2S between entities
property RCAIpWqJp8aou8PcsS19nO8(x, y, t) Relation RCAIpWqJp8aou8PcsS19nO8 between entities
property RCBX6Gw6D32wNGtAtI12ymW(x, y, t) Relation RCBX6Gw6D32wNGtAtI12ymW between entities
property RCbzSHIqwFNjLjfFaFBrodj(x, y, t) Relation RCbzSHIqwFNjLjfFaFBrodj between entities
property RD8KDhJZvEPARMjwihOkc8(x, y, t) Relation RD8KDhJZvEPARMjwihOkc8 between entities
property RDBftYhfT7SkEXQP2SUdE4S(x, y, t) Relation RDBftYhfT7SkEXQP2SUdE4S between entities
property RrXV2tZx8glk1L45PJx5o4(x, y, t) Relation RrXV2tZx8glk1L45PJx5o4 between entities
Ontology Entities
  • RDOu6jCRGUb2VGWN9jgFQQI
  • R84fybK2yFFURwT9GktnA7h
  • RLfmhW2RubcAP55sBb4cSj
  • ZeroDimensionalRegion
  • RgNe5YQaUTzUKToJqKP0Yr
  • Site
  • SpatiotemporalInterval
  • R78SmYYz2SyGrosTIOQiLuv
  • R9RsQRHF9rtNdjWT0i5E0ac
  • R7jWkoih3WKoE1MxVrPyEIn
  • RDq86FS1DR1Utcii9Wemvig
  • Occurrent
  • R8VypyAZTrwqXdpOGLQPYGM
  • Role
  • RCbHqICWiTh7zCLoicTxshQ
  • R9c39ZpJZBtj0oyafRacxL4
  • Entity
  • R7ZS9ws9eBdOlSSe0kcasQf
  • R9nTT89xzP3cPRRzMMOUc64
  • R85HCiY8jnRqyXQW5cFnm2W
  • ProcessBoundary
  • Rcbg93ejdBYKyYPZq0pBpZ
  • RealizableEntity
  • RdEybu7FxzDNEHhaRzqPLP
  • FiatObjectPart
  • Process
  • RDK4QMGtILQEOUy2GlZIBlb
  • RvUoy8yoewTi3hZTTN9chP
  • ObjectBoundary
  • Disposition
  • Object
  • RDj45sIKPgjMlIC5hirDIYZ
  • Continuant
  • R1qAK3eIra15LPReYzYgm6
  • ObjectAggregate
  • ScatteredTemporalRegion
  • R91OUoPNd91JSOsbj1xddBq
  • ScatteredSpatiotemporalRegion
  • R8Ck4juOTm5h3ZtLmIGblYz
  • R5VfJ37jrSfczKjfRoA0jf
  • SpatiotemporalRegion
  • R8PshIwBRVUZfE8swrmQRPk
  • RBV8M1p4PSh39gSz0kx3qMb
  • TemporalRegion
  • RCPEMq1hZFfuXgCBRSRdKzJ
  • RGz2HmY656w6kbf4QTP8DB
  • RBkPu19XX9BjitAXJW0kh9R
  • OneDimensionalRegion
  • RDp4aaQDXEjIqLc4UXjj2eY
  • RI943R9yGvKATOhrEjBbBF
  • RdTuYwQvSdzYloCNRUwHw8
  • RBlui7qhplaEghwA5pQqAK9
  • R8MqgGWO1GKEoxBZcHisOEF
  • R8AViosrbqDL79ZqcYPXm9M
  • RXQYDg5hiJY7A0JZ7PLhTF
  • RVnOwwEXmsli8PgrwfBAym
  • R9qDUowCj4GbqncR2xRXjy1
  • RBZPN1dwK3GvJJM3NToGz6D
  • ThreeDimensionalRegion
  • ProcessualEntity
  • R9c2xi9GKe5hHDb0YOWdBZr
  • TemporalInstant
  • DependentContinuant
  • SpatiotemporalInstant
  • RBKvRnuWr44SSoaDuUqLqI
  • R9DXsEC0XgJRHjLhPiX2SLo
  • SpecificallyDependentContinuant
  • RUrjXIw0v553cnYmySoK1Z
  • TemporalInterval
  • RGBQOjHAnc0C5FNlNWhwot
  • FiatProcessPart
  • RoLJo9J214EQPH4tQcqDBT
  • RDJP7aIykcFTjgKzj62TFmI
  • Function
  • R9qi2csvgNfJxwx1ofgHLUR
  • RDroQ6gqojI2J9qt9JQHnzy
  • ConnectedSpatiotemporalRegion
  • GenericallyDependentContinuant
  • RCDZorXSJeLsbU6HGXDHCkI
  • R7V5UqboxFuCGLuAo8yP9qe
  • RCaw7UA4H20HQ2Xo0lxm4Vx
  • IndependentContinuant
  • Quality
  • R7a3RhyAMsxClDhmcuO8X1o
  • R9rXQTddKxg7BIuCCX3ruoA
  • RC9omLKaRPukWE802PQalT1
  • Ro6Z5IOa1uoY4l2FTdjqlv
  • RDJdupYTVuxkVp0KN2hwzEW
  • R7c5FFXit42gsnRvsCcWy0G
  • RpFtDMpSaXbM6DcsQRzxiW
  • RCP0DE2T3qfb6vN7F1BiHtt
  • RBpP8X9xhnGEgLlWrkjwCqa
  • R7MeyA0NDirRXk2PqugaoXF
  • ConnectedTemporalRegion
  • R8GSC7NAjIvINu2usnd1gei
  • R7qHN4OL0WvYb3ENAokZnP5
  • R7bxda4c9LIdMzAWXfTyVEF
  • SpatialRegion
  • ProcessAggregate
  • ProcessualContext
  • TwoDimensionalRegion
  • R9wJpjFkBaXNPqXTu1qQyN3
  • R8AvZGs3uvurkfaxyKt58qv
  • R8Km6UinurwP6iYKUlpZmP7
  • R8k6KhtHFZh3aKHGcgo65H0
  • R8ucE4pax7dRV9S7P4KNB4x
  • R92JqUVfljf0tUDgLiKGAvl
  • R9MnB6Slapuh2MHlJYrbCtY
  • R9T6tDGm4gHe8P0425Cl6ob
  • R9sHhNtl3p1s0HaGhe1O9mV
  • R9u25DHEVlPubYz0RrbWLgM
  • RB5Mo10Dlw4WIOyIQH3qhQo
  • RBC8ZnJieHfaoUogZLAGG10
  • RBzOEhWCAYd59yuY85ju8ul
  • RC5N4pwqjHKUR1VzeEKOX2S
  • RCAIpWqJp8aou8PcsS19nO8
  • RCBX6Gw6D32wNGtAtI12ymW
  • RCbzSHIqwFNjLjfFaFBrodj
  • RD8KDhJZvEPARMjwihOkc8
  • RDBftYhfT7SkEXQP2SUdE4S
  • RrXV2tZx8glk1L45PJx5o4
No data properties found.
No individuals found.
Discover Real-World Implications

Generate concrete real-world examples that demonstrate how your ontology's logical rules apply in practical situations.

Using AI, we'll analyze your ontology's First-Order Logic premises and create meaningful scenarios that illustrate the implications of your ontological structures.