diff --git a/productMods/WEB-INF/filegraph/tbox/agent.owl b/productMods/WEB-INF/filegraph/tbox/agent.owl
index f8a451a8..ee0868ad 100644
--- a/productMods/WEB-INF/filegraph/tbox/agent.owl
+++ b/productMods/WEB-INF/filegraph/tbox/agent.owl
@@ -67,11 +67,6 @@
-
-
-
-
-
@@ -164,41 +159,6 @@
-
-
-
- manufacturer role
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- GROUP: Role Branch
- Manufacturer role is a role which inheres in a person or organization and which is realized by a manufacturing process.
- OBI
- With respect to The Accuri C6 Flow Cytometer System, the organization Accuri bears the role manufacturer role. With respect to a transformed line of tissue culture cells derived by a specific lab, the lab whose personnel isolated the cll line bears the role manufacturer role. With respect to a specific antibody produced by an individual scientist, the scientist who purifies, characterizes and distributes the anitbody bears the role manufacturer role.
- manufacturer role
-
-
-
-
-
-
diff --git a/productMods/WEB-INF/filegraph/tbox/object-properties.owl b/productMods/WEB-INF/filegraph/tbox/object-properties.owl
index a4601654..47ae59ab 100644
--- a/productMods/WEB-INF/filegraph/tbox/object-properties.owl
+++ b/productMods/WEB-INF/filegraph/tbox/object-properties.owl
@@ -919,21 +919,6 @@ there is a measurement process p that has specified output m, a measurement datu
-
-
-
- is_realized_by
- GROUP:OBI:<http://obi.sourceforge.net>
- PERSON: Chris Mungall
- Relation between a realizable and a process. Reciprocal relation of realizes [GOC:cjm]
- executed_during
- has_realization
- is_realized_as
-
-
-
-
-
@@ -977,33 +962,6 @@ there is a measurement process p that has specified output m, a measurement datu
-
-
-
- realizes
- GROUP:OBI:<http://obi.sourceforge.net>
- PERSON: Chris Mungal
- Relation between a process and a function, where the unfolding of the
-process requires the execution of the function. Class level: P realizes F iff:
-given any p that instantiates P, there exists some f, t such that f instantiates
- F at t and p *realizes* f. Here, *realizes* is the primitive
-instance level relation [GOC:cjm]
- example of usage: The process of 'histidine catabolism' (GO:0006548) realizes the
-function 'histidine ammonia lyase activity' (GO:0004397) (note: here 'activity'
-denotes a function and not a process). We leave open the possibility of defining
-in future the sub-relations directly_realizes (as bewteen a function and it's
-functioning) and indirectly_realizes.
- executes
- has_function_part
- involves_execution_of
- is_realization_of
- realizes
-
-
-
-
-
-
diff --git a/productMods/WEB-INF/filegraph/tbox/object-properties2.owl b/productMods/WEB-INF/filegraph/tbox/object-properties2.owl
new file mode 100644
index 00000000..3307c9f2
--- /dev/null
+++ b/productMods/WEB-INF/filegraph/tbox/object-properties2.owl
@@ -0,0 +1,45 @@
+
+
+
+
+
+
+
+ realized in
+ (forall (x y z t) (if (and (RealizableEntity x) (Process y) (realizesAt y x t) (bearerOfAt z x t)) (hasParticipantAt y z t))) // axiom label in BFO2 CLIF: [106-002]
+ [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
+ if a realizable entity b is realized in a process p, then p stands in the has_participant relation to the bearer of b. (axiom label in BFO2 Reference: [106-002])
+ realized-in
+ realizedIn
+
+
+
+
+
+
+
+
+
+ realizes
+ (forall (x y t) (if (realizesAt x y t) (and (Process x) (or (Disposition y) (Role y)) (exists (z) (and (MaterialEntity z) (hasParticipantAt x z t) (bearerOfAt z y t)))))) // axiom label in BFO2 CLIF: [059-003]
+ realizes
+ realizes
+ to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
+
+
+
+
+
+
+