Description
Return the whole as inverseSubject, has-part as inverseRelation, and the part as inverseObject.
Logical notation distinguishes terms, argument structure, scope, and inference rules. A string formatter or local structural check can organize a supplied expression without proving an argument or determining its truth.
Return the whole as inverseSubject, has-part as inverseRelation, and the part as inverseObject.
When to use this tool
Use Mereology Part Relation Inverse when you need one bounded logical-notation component or explicit term comparison.
How to use the tool and how it works
- Enter partId, wholeId. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read inverseSubject, inverseRelation, inverseObject. Use the output convention below.
Require nonempty partId and wholeId. Return the whole as inverseSubject, has-part as inverseRelation, and the part as inverseObject.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| partId | Part Id | Required. Text; maximum UTF-16 length 8192. |
| wholeId | Whole Id | Required. Text; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| inverseSubject | Inverse Subject | Required. Text; maximum UTF-16 length 8192. |
| inverseRelation | Inverse Relation | Required. Text; maximum UTF-16 length 8192. |
| inverseObject | Inverse Object | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"partId": "wheel",
"wholeId": "bicycle"
},
"output": {
"inverseSubject": "bicycle",
"inverseRelation": "has-part",
"inverseObject": "wheel"
}
}Limitations and assumptions
- This reverses one supplied relation label without proving part-whole truth, antisymmetry, transitivity, or a chosen mereological theory.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Use a parser or proof system for the complete formal language when validity or derivability matters.
References
Similar or alternative tools
- Directed Edge Reversal Record
Require nonempty edgeId and endpoint IDs, retain edgeId, and swap sourceId with targetId.
- Kinship Link Generation Delta
Return target minus source and label positive descending, negative ascending, or zero same-generation.