Analysis History

Ontology Analysis History
File Name Size Upload Date Analysis Count Source Actions
integrated_ontology_cyberspace_1.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
converter.owl 7.6 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 0 Sandbox
View Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 2 Sandbox
View Implications Edit in Sandbox
DigitalObjects.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
converter.owl 7.6 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
Democracy.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
Litigation_Ontology_1.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
Sailboat_Ontology.owl 0.9 KB 2025-08-03 16:20 1 Sandbox
View Implications Edit in Sandbox
converter.owl 0.9 KB 2025-08-03 16:10 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:10 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
bfo.owl 0.8 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
converter.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
DigitalObjects.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
Litigation_Ontology_1.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
converter.owl 8.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
Democracy.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:53 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:03 0 Sandbox
View Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:01 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:01 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 15:01 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 14:36 1 Sandbox
View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl 30.4 KB 2025-08-03 14:25 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 14:13 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 14:08 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 14:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 13:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 13:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 13:07 1 Sandbox
View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl 0.9 KB 2025-08-03 12:53 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-03 12:24 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:23 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:19 1 Sandbox
View Implications Edit in Sandbox
converter.owl 0.9 KB 2025-08-03 12:02 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:01 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 11:59 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 11:42 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 11:02 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 11:02 1 Sandbox
View Implications Edit in 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
Back to Home Upload New Ontology