Editor Guide to has part

From GO Wiki
Revision as of 07:29, 21 August 2018 by Pascale (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


  • Where the process exists it must include the function.
  • The is_a children of the function are not necessarily ever part of the process. Transitivity does not operate over is_a in this way.

part_of graph:

[i] = is_a
[p] = part_of

---[i]Ford car
------[p]Ford wheel
------[i]Ford wheel
------[i]Toyota wheel


  • Where the function exists it must be part of the process
  • Where is_a children of the function exist they must also be part of the process.

has_part graph:

[hp] = has_part

---[hp]Ford car
  • The has_part graph is upside down because transitivity across is_a always runs bottom right to top left, rather than small things being bottom left and big things being top right.
  • In the case of the has_part graph transitivity says that a car always has a wheel but not that a wheel is always part of a car.