Ontology Analysis Report
Ontology Information
File:
Ontology_of_Jurisdiction.owl
IRI:
Not available
Ontology Statistics
102
Classes
19
Object Properties
0
Data Properties
0
Individuals
Consistency Check
ConsistentReasoning 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 |
Derivation Trace
This visualization shows how inferences were derived during reasoning:
- 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
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.