Analysis History

File Name	Size	Upload Date	Analysis Count	Source	Actions
dsm_icd_crosswalk.owl	146.4 KB	2026-07-08 22:30	1	Upload	View Implications
icd11bfo.owl	7543.0 KB	2026-07-07 21:49	1	Upload	View Implications
DSM52022_coherent_selfcontained.owl	4855.2 KB	2026-07-07 01:06	1	Upload	View Implications
quality_disposition_straddle.owl	1.0 KB	2026-07-07 01:06	1	Upload	View Implications
DSM52022.owl	3082.0 KB	2026-07-06 21:16	1	Upload	View Implications
MF.owl	420.7 KB	2026-07-04 21:30	2	Upload	View Implications
SOoLRev2.owl	584.9 KB	2026-07-03 21:38	1	Upload	View Implications
quality_disposition_straddle.owl	1.4 KB	2026-07-03 02:12	1	Sandbox	View Implications
quality_disposition_straddle.owl	1.4 KB	2026-07-03 00:39	1	Sandbox	View Implications
quality_disposition_straddle.autofixed.owl	0.9 KB	2026-07-01 08:44	1	Upload	View Implications
quality_disposition_straddle.owl	1.4 KB	2026-07-01 02:31	1	Sandbox	View Implications
aeronautics_taxonomy_consistent.owl	429.0 KB	2026-06-30 04:41	1	Sandbox	View Implications
AristotleCategories.owl	36.6 KB	2026-06-30 01:29	1	Upload	View Implications
eco.owl	6168.7 KB	2026-06-29 22:51	1	Upload	View Implications
quality_disposition_straddle.owl	1.0 KB	2026-06-27 22:18	2	Upload	View Implications

Expression	Test Date	Valid	Classes Used	Non-BFO Terms
`all X.all T.(instance_of(X,force,T) -> instance_of...`	2026-06-28 12:20	Invalid	0	0
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:59	Invalid	2	1
`all x.all t.((instance_of(x,force,t)) -> (instance...`	2026-06-26 22:57	Invalid	1	1
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:52	Invalid	2	1
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:48	Invalid	1	1
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:41	Invalid	2	1
`all X.all T.(instance_of(X,force,T) -> instance_of...`	2026-06-26 22:40	Invalid	1	1
`all x.(human(x) -> mortal(x)). human(socrates). mo...`	2026-06-26 21:41	Invalid	0	0
`(cl:forall (d) (cl:if (Dog d) (cl:exists (p)...`	2026-06-26 21:40	Invalid	0	0