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. |