zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

CUn needs to be translated from ref to owl file #58

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
To say that a is maximal relative to some criterion of causal unity CUn means:
a is causally unified relative to CUn at t
& if for some t and b (a continuant_part_of b at t & b is causally unified 
relative to the same CUn) then a and b are identical.
The above needs to appear in the OWL file somehow, or be replaced in the 
definition of object: " a is a material entity which manifests causal unity of 
one or other of the types CUn listed above; is of a type (a material universal) 
instances of which are maximal relative to this criterion of causal unity. 
[024-001"

Original issue reported on code.google.com by mcour...@gmail.com on 19 Jun 2012 at 4:35

GoogleCodeExporter commented 9 years ago
Mark as an editor note annotation for object, the explanation of CUn. 

Original comment by alanruttenberg@gmail.com on 29 Jun 2012 at 8:53

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 29 Jun 2012 at 10:50