Analysis History

Ontology Analysis History

File Name	Size	Upload Date	Analysis Count	Source	Actions
ontology_contract.owl	2.9 KB	2025-05-21 22:59	1	Upload	View Implications Edit in Sandbox
reconciled_dsm_bfo_all_disorders.owl	65.4 KB	2025-05-14 17:56	1	Upload	View Implications Edit in Sandbox
dsm5_mental_disorders_all_instances.owl	47.1 KB	2025-05-14 17:47	1	Upload	View Implications Edit in Sandbox
dsm5_mental_disorders_with_instances.owl	40.8 KB	2025-05-14 17:44	1	Upload	View Implications Edit in Sandbox
dsm5_mental_disorders_complete.owl	38.0 KB	2025-05-14 17:38	1	Upload	View Implications Edit in Sandbox
dsm5_mental_disorders_final.owl	27.3 KB	2025-05-14 17:31	1	Upload	View Implications Edit in Sandbox
dsm5_mental_disorders_expanded.owl	22.5 KB	2025-05-14 17:27	1	Upload	View Implications Edit in Sandbox
Litigation_Ontology_1.owl	6.1 KB	2025-05-13 15:58	1	Upload	View Implications Edit in Sandbox
DigitalObjects.owl	5.8 KB	2025-05-11 21:23	1	Upload	View Implications Edit in Sandbox
Democracy.owl	5.8 KB	2025-05-11 21:23	0	Upload	View Edit in Sandbox
Ontology_of_Jurisdiction.owl	103.8 KB	2025-05-11 19:16	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 19:10	1	Upload	View Implications Edit in Sandbox
Sailboat_Ontology_1.owl	5.5 KB	2025-05-11 19:01	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:49	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:42	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:38	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:32	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:29	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:29	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:26	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:24	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:23	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:15	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 18:05	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 17:54	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 17:53	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 17:44	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 17:41	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 17:37	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 17:33	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 17:30	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 16:44	3	Upload	View Implications Edit in Sandbox
Sailboat_Ontology.owl	5.5 KB	2025-05-11 16:03	4	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:57	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:50	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:44	2	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:39	2	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:35	2	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:25	4	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:23	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:19	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:19	2	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:18	2	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:11	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:11	2	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:06	2	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 15:01	4	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 14:57	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 14:57	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 14:44	1	Upload	View Implications Edit in Sandbox
LegalFacts_3.owl	10.0 KB	2025-05-11 14:33	3	Upload	View Implications Edit in Sandbox
LegalFacts.owl	6.3 KB	2025-05-11 14:32	1	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-11 14:32	1	Upload	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.5 KB	2025-05-11 14:31	1	Upload	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.5 KB	2025-05-11 14:12	0	Upload	View Edit in Sandbox
BFO_Cyberspace_Ontology.owl	3.7 KB	2025-05-09 01:01	1	Upload	View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl	103.8 KB	2025-05-08 23:36	2	Upload	View Implications Edit in Sandbox
Sailboat_Ontology.owl	5.5 KB	2025-05-08 13:15	2	Upload	View Implications Edit in Sandbox
LegalFacts.owl	6.6 KB	2025-05-06 11:29	1	Upload	View Implications Edit in Sandbox
LegalFacts.owl	4.0 KB	2025-05-06 11:25	1	Upload	View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl	103.8 KB	2025-05-05 12:53	3	Upload	View Implications Edit in Sandbox
OntologyIDAnonymous-275165.ttl	7.9 KB	2025-05-04 13:43	1	Upload	View Implications Edit in Sandbox
ontology_contract.owl	2.9 KB	2025-05-03 23:10	1	Upload	View Implications Edit in Sandbox
blockchain_ontology.owl	3.4 KB	2025-05-03 23:06	1	Upload	View Implications Edit in Sandbox
money_ontology.owl	1.6 KB	2025-05-03 23:05	1	Upload	View Implications Edit in Sandbox
DigitalObjects_1.owl	5.8 KB	2025-05-03 23:04	1	Upload	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	4.8 KB	2025-05-03 23:04	0	Upload	View Edit in Sandbox
integrated_ontology_cyberspace_1.owl	4.8 KB	2025-05-03 22:55	0	Upload	View Edit in Sandbox
OntologyIDAnonymous-271717.owx	11.7 KB	2025-05-03 21:18	1	Upload	View Implications Edit in Sandbox
OntologyIDAnonymous-271717.owx	11.7 KB	2025-05-03 11:14	7	Upload	View Implications Edit in Sandbox
OntologyIDAnonymous-271717.owx	11.7 KB	2025-05-03 02:40	5	Upload	View Implications Edit in Sandbox
OntologyIDAnonymous-271717.owx	11.7 KB	2025-05-03 01:35	6	Upload	View Implications Edit in Sandbox
bfo.owl	43.8 KB	2025-05-03 01:27	1	Upload	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	4.8 KB	2025-05-03 01:27	0	Upload	View Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 20:02	6	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 19:28	11	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 19:26	10	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 19:22	7	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 19:18	8	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 19:14	6	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 18:57	10	Upload	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	4.8 KB	2025-05-02 18:57	3	Upload	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	4.8 KB	2025-05-02 18:57	3	Upload	View Implications Edit in Sandbox
Democracy.owl	5.8 KB	2025-05-02 18:56	0	Upload	View Edit in Sandbox
DigitalObjects.owl	5.8 KB	2025-05-02 18:55	7	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 18:48	7	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 18:42	5	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-02 17:41	1	Upload	View Implications Edit in Sandbox
bfo.owl	43.8 KB	2025-05-02 00:57	1	Upload	View Implications Edit in Sandbox
Democracy.owl	5.8 KB	2025-05-02 00:57	0	Upload	View Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-01 23:06	8	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-01 23:03	7	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-01 22:58	7	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-01 22:56	7	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-01 22:49	6	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-01 22:38	5	Upload	View Implications Edit in Sandbox
LegalFacts_1.owl	10.0 KB	2025-05-01 22:33	6	Upload	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-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
`forall x forall t (instance_of(x,material_entity,t...`	2025-05-12 12:18	Valid	2	0
`forall x forall t (instance_of(x,continuant,t) -> ...`	2025-05-12 12:00	Valid	1	0
`forall x (instance_of(x,continuant,t) -> exists_at...`	2025-05-12 03:05	Valid	1	0
`forall x forall t (instance_of(x,continuant,t) -> ...`	2025-05-12 02:56	Valid	1	0
`forall x forall t (instance_of(x,continuant,t) -> ...`	2025-05-11 22:58	Valid	1	0

Back to Home Upload New Ontology