|
Difference between
version 28
and
version 27:
| Line 27 was replaced by line 27 |
| - The part-whole relationship of Figure 2 is defined to be transitive. For example, if a container c contains a part p1, and part p1 is also a container containing a part p2, then c is said to also contain p2 by virtue of transitivity. We can represent this more formally by saying that if {{hasPart(c, p1)}} and {{hasPart(p1, p2)}} is true, then {{hasPart(c, p2)}} is also true. The inverse also holds, that is, if {{partOf(p2, p1}} and {{partOf(p2, c)}} is true, then {{partOf(p2, c)}} is also true. |
| + The part-whole relationship of Figure 2 is defined to be transitive. If a container c contains a part p1, and part p1 is also a container containing a part p2, then c is said to also contain p2 by virtue of transitivity. We can represent this more formally by saying that if {{hasPart(c, p1)}} and {{hasPart(p1, p2)}} is true, then {{hasPart(c, p2)}} is also true. The inverse also holds, that is, if {{partOf(p2, p1}} and {{partOf(p2, c)}} is true, then {{partOf(p2, c)}} is also true. |
Back to Eco Ontology Manual Draft,
or to the Page History.
|
