BFO-ontology/BFO

Dependence between processes and material entities

Closed this issue · 2 comments

From steschu@gmail.com on July 08, 2012 13:36:41

  1. Axiom label [083-002]
    p is a process = Def. a is an occurrent that has temporal proper parts and for some time t, a s-depends on some material entity at t.
  • Are there processes that temporarily do not depend on any material entity?
  • Would this mean that processes also generically dependent on material entities?
  1. The abovementioned axioms is not in bfo.owl, not even in a weaker variant.

Original issue: http://code.google.com/p/bfo/issues/detail?id=101

From alanruttenberg@gmail.com on July 09, 2012 00:44:18

  1. Added weaker axiom in bfo.owl next release

Status: Started

From alanruttenberg@gmail.com on July 10, 2012 09:35:11

Make it a N&S

Status: Fixed