Analysis History

Ontology Analysis History
File Name Size Upload Date Analysis Count Source Actions
LegalFacts_3.owl 0.9 KB 2025-08-03 14:13 1 Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 14:08 1 Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 14:04 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 13:09 1 Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 13:07 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 13:07 1 Sandbox
Ontology_of_Jurisdiction.owl 0.9 KB 2025-08-03 12:53 1 Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-03 12:24 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:23 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:19 1 Sandbox
converter.owl 0.9 KB 2025-08-03 12:02 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:01 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 11:59 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 11:42 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 11:02 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 11:02 1 Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 02:43 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 01:59 1 Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 00:58 1 Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 00:57 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 19:12 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 18:11 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 18:11 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 18:10 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 17:51 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 17:50 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 15:23 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 15:23 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