FOL-BFO-OWL Expression Tester

Test Your FOL Expression
Use BFO standard syntax with instance_of(x,Class,t) format for class membership. Note: Both formats are supported: instance_of(x,Class,t) and traditional Class(x). View full syntax guide
Analyze Ontology

Want to analyze a complete OWL file instead? Upload your ontology to:

  • Extract all axioms
  • Check for consistency
  • Identify contradictions
  • Generate a complete report
Upload OWL File
Test Results
Expression:
Format detected:
Issues:
BFO Classes Used
BFO Relations Used
Non-BFO Terms
Available BFO Classes
  • Entity
  • Continuant
  • Occurrent
  • Independent Continuant ID: independent_continuant
  • Specifically Dependent Continuant ID: specifically_dependent_continuant
  • Generically Dependent Continuant ID: generically_dependent_continuant
  • Process
  • Material Entity ID: material_entity
  • Immaterial Entity ID: immaterial_entity
  • Spatial Region ID: spatial_region
  • Quality
  • Realizable Entity ID: realizable_entity
  • Role
  • Disposition
  • Function
  • Site
  • Object
  • Object Aggregate ID: object_aggregate
  • Fiat Object Part ID: fiat_object_part
  • Process Boundary ID: process_boundary
  • Temporal Region ID: temporal_region
  • Continuant Fiat Boundary ID: continuant_fiat_boundary
  • Zero Dimensional Spatial Region ID: zero_dimensional_spatial_region
  • One Dimensional Spatial Region ID: one_dimensional_spatial_region
  • Two Dimensional Spatial Region ID: two_dimensional_spatial_region
  • Three Dimensional Spatial Region ID: three_dimensional_spatial_region
  • History
  • Relational Quality ID: relational_quality
  • Spatiotemporal Region ID: spatiotemporal_region
  • Temporal Instant ID: temporal_instant
  • Connected Temporal Region ID: connected_temporal_region
  • Scattered Temporal Region ID: scattered_temporal_region
  • Process Profile ID: process_profile
Available BFO Relations
  • Part Of ID: part_of
  • Has Part ID: has_part
  • Located In ID: located_in
  • Location Of ID: location_of
  • Contained In ID: contained_in
  • Contains
  • Participates In ID: participates_in
  • Has Participant ID: has_participant
  • Bearer Of ID: bearer_of
  • Inheres In ID: inheres_in
  • Realized In ID: realized_in
  • Realizes
  • Exists At ID: exists_at
  • Instance Of ID: instance_of
  • Occurs In ID: occurs_in
  • Has Quality ID: has_quality
  • Quality Of ID: quality_of
  • Has Material Basis ID: has_material_basis
  • Material Basis Of ID: material_basis_of
  • Concretizes
  • Concretization Of ID: concretization_of
  • Has First Instant ID: has_first_instant
  • Has Last Instant ID: has_last_instant
  • Preceded By ID: preceded_by
  • Precedes
  • Spatially Contains ID: spatially_contains
  • Spatially Contained In ID: spatially_contained_in
  • Temporally Contains ID: temporally_contains
  • Temporally Contained In ID: temporally_contained_in
  • Temporal Part Of ID: temporal_part_of
  • Has Temporal Part ID: has_temporal_part
Example Expressions

forall x,t (instance_of(x,continuant,t) -> exists_at(x,t))

forall p,t (instance_of(p,process,t) -> occurs_in(p,t))

forall x,t (instance_of(x,material_entity,t) -> instance_of(x,independent_continuant,t))