Error showing implications: 404 Not Found: The requested URL was not found on the server. If you entered the URL manually please check your spelling and try again.
Error importing file to sandbox: 404 Not Found: The requested URL was not found on the server. If you entered the URL manually please check your spelling and try again.
Analysis History
Ontology Analysis History
| File Name | Size | Upload Date | Analysis Count | Source | Actions |
|---|---|---|---|---|---|
| Litigation_Ontology_1.owl | 0.9 KB | 2025-08-02 15:23 | 1 | Sandbox | |
| LegalFacts_1.owl | 0.9 KB | 2025-08-02 15:23 | 1 | Sandbox | |
| LegalFacts_3.owl | 0.9 KB | 2025-08-02 15:23 | 1 | Sandbox | |
| DigitalObjects.owl | 0.9 KB | 2025-08-02 15:23 | 1 | Sandbox | |
| LegalFacts_3.owl | 0.9 KB | 2025-08-02 15:23 | 1 | Sandbox | |
| LegalFacts_1.owl | 0.9 KB | 2025-08-02 15:23 | 1 | Sandbox | |
| ontology_contract.owl | 0.8 KB | 2025-08-02 11:03 | 1 | Sandbox | |
| Democracy.owl | 0.8 KB | 2025-08-02 11:03 | 1 | Sandbox | |
| LegalFacts_1.owl | 0.8 KB | 2025-08-02 11:02 | 1 | Sandbox | |
| bfo.owl | 0.8 KB | 2025-08-02 11:00 | 1 | Sandbox | |
| integrated_ontology_cyberspace_1.owl | 0.8 KB | 2025-08-02 10:45 | 1 | Sandbox | |
| full_corporate_ontology_structured.owl | 10.4 KB | 2025-08-02 05:07 | 1 | Sandbox |
FOL Expression Test History
| Expression | Test Date | Valid | Classes Used | Non-BFO Terms |
|---|---|---|---|---|
forall x forall t (instance_of(x, continuant, t) -...
|
2025-07-10 11:37 | Valid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-07-03 14:31 | Valid | 1 | 0 |
forall p forall t (instance_of(p,process,t) -> occ...
|
2025-05-28 19:00 | Valid | 1 | 0 |
forall x (instance_of(x,continuant,t) -> exists_at...
|
2025-05-27 03:34 | Invalid | 0 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-22 01:12 | Valid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-21 22:58 | Valid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-21 22:52 | Valid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-21 22:50 | Invalid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-21 22:49 | Invalid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-21 22:49 | Invalid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-21 22:48 | Invalid | 1 | 0 |
forall p forall t (instance_of(p,process,t) -> occ...
|
2025-05-21 20:14 | Invalid | 1 | 0 |
forall x forall t (instance_of(x,continuant,t) -> ...
|
2025-05-21 20:14 | Invalid | 1 | 0 |
exists a (occurs_in(a,a))
|
2025-05-19 17:40 | Valid | 0 | 0 |
exists a exists occurs_in (a, a)
|
2025-05-19 17:38 | Invalid | 0 | 0 |
occurs_in(a, a)
|
2025-05-19 17:38 | Invalid | 0 | 0 |
exists a occurs_in(a, a)
|
2025-05-19 17:36 | Invalid | 0 | 0 |
P(x) -> Q(y)
|
2025-05-12 12:30 | Invalid | 0 | 0 |
forall x forall t (instance_of(x, custom_class, t)...
|
2025-05-12 12:19 | Invalid | 0 | 1 |
"forall x forall t (instance_of(x, custom_class, t...
|
2025-05-12 12:19 | Invalid | 0 | 0 |