### Relation types among objects

Name |
Precursor |
Subsequence |
Meaning |
Range |
---|---|---|---|---|

inherit |
A |
B |
A is a special case of B. |
A and B are both definition objects. |

contextOf |
A |
B |
A provides the context
of B. |
A is a definition object, and B is a knowledge
object. |

deriveFrom |
A |
B |
A is derived from B. |
A is a definition object, and B can be an axiom, a
proposition, or a problem object. |

imply |
A |
B |
A is used in B. |
A
can be an axiom, a true proposition, a method, or an algorithm
object, and B can be either a proof or a solution object. |

hasProperty |
A |
B |
A has the property of
B. |
A is a definition object, and B can be either an
axiom or a true proposition object. |

decide |
A |
B |
A provides the decision
rule for B. |
A is a true proposition object, and B is a
definition object. |

introduce |
A |
B |
A gives an introduction
to B. |
A is an introduction object, and B is either a
subject object or a knowledge object except a note object. |

remarkOn |
A |
B |
A remarks on B. |
A is a remark object, and B is either a subject object or a
knowledge object except a note object. |

complicate |
A |
B |
A is more complicated
than B. |
Both A and B can be problem objects. |

solve |
A |
B |
A is a solution for B. |
A is a solution object, and B is a problem object. |

exerciseOf |
A |
B |
A is an exercise
related to B. |
A is an exercise object, and B can be a
definition, a proposition, a method, an algorithm, or a subject
object. |

applyOn |
A |
B |
A can be applied to
solve B. |
A is either a method or an algorithm object, and
B is a problem object. |

justify |
A |
B |
A demonstrates the truth of B. |
A is a proof object, and B is a true proposition object. |

exampleOf |
A |
B |
A is an example
for B. |
A is an example object, and B can be a
definition, a proposition, a problem, a method, or an algorithm
object. |

associate |
A |
B |
A is associated with
B. |
Both A and B can be either knowledge objects or
subject objects. |

equal |
A |
B |
A has the same meaning as B. |
Both A and B can be knowledge objects. |