Description | If any of the following relationships hold between X and Y then Y is an action: "is used in", "prescribes" and "performs". If any of the following relationships hold between X and Y then X is an action: "is use of", "is prescribed by" and "is performed by". |
Description | If any of the following relationships hold between X and Y then Y is an activity: "is result of", "is resource for", "is product of", "is instrument of", "is generic target of" and "is causally follows". If any of the following relationships hold between X and Y then X is an activity: "is result", "is resource", "is product", "is instrument", "is generic target" and "is causally precedes". |
Description | If any of the following relationships hold between X and Y then Y is an agent: "is prescribed by" and "is performed by". If any of the following relationships hold between X and Y then X is an agent: "prescribes" and "performs". |
Description | If X is resource Y then Y is an amount of matter. If X is resource for Y then X is an amount of matter. |
Description | If any of the following relationships hold between X and Y then Y is an endurant: "is use of", "is target", "is substrate", "is state of", "is product", "is patient", "is generic target" and "is functional participant". If any of the following relationships hold between X and Y then X is an endurant: "is used in", "is target of", "is substrate of", "is product of", "is patient of", "has as state", "is generic target of" and "is functional participant in". |
Description | The property "is causally follows" is a sub-property of "follows". |
Typology | The property "has as state" is a sub-property of "is substrate of". |
Description | If X has as state Y then Y is a state. If X has as state Y then X is an endurant. X is state of Y if and only if Y has as state X. |
Description | If X is theme Y then Y is an information object. If X is theme of Y then X is an information object. |
Typology | The property "is causally follows" is a sub-property of "follows". |
Description | The property "is result of" is a sub-property of "is causally follows". If X is causally follows Y then Y is an activity. If X is causally follows Y then X is a perdurant. X is causally follows Y if and only if Y is causally precedes X. |
Typology | The property "is causally precedes" is a sub-property of "precedes". |
Description | The property "is result" is a sub-property of "is causally precedes". If X is causally precedes Y then Y is a perdurant. If X is causally precedes Y then X is an activity. X is causally follows Y if and only if Y is causally precedes X. |
Typology | The property "is functional participant" is a sub-property of "is participant". |
Description | The following properties are sub-properties of "is functional participant": "is use of", "is substrate", "is product", "is performed by", "is patient" and "is generic target". If X is functional participant Y then Y is an endurant. If X is functional participant Y then X is a perdurant. X is functional participant Y if and only if Y is functional participant in X. |
Typology | The property "is functional participant in" is a sub-property of "is participant in". |
Description | The following properties are sub-properties of "is functional participant in": "is used in", "is substrate of", "is product of", "performs", "is patient of" and "is generic target of". If X is functional participant in Y then Y is a perdurant. If X is functional participant in Y then X is an endurant. X is functional participant Y if and only if Y is functional participant in X. |
Typology | The property "is generic target" is a sub-property of "is functional participant". |
Description | If X is generic target Y then Y is an endurant. If X is generic target Y then X is an activity. X is generic target Y if and only if Y is generic target of X. |
Typology | The property "is generic target of" is a sub-property of "is functional participant in". |
Description | If X is generic target of Y then Y is an activity. If X is generic target of Y then X is an endurant. X is generic target Y if and only if Y is generic target of X. |
Typology | The property "is instrument" is a sub-property of "is use of". |
Description | If X is instrument Y then Y is a physical object. If X is instrument Y then X is an activity. X is instrument of Y if and only if Y is instrument X. |
Typology | The property "is instrument of" is a sub-property of "is used in". |
Description | If X is instrument of Y then Y is an activity. If X is instrument of Y then X is a physical object. X is instrument of Y if and only if Y is instrument X. |
Description | The property "is functional participant" is a sub-property of "is participant". |
Description | The property "is functional participant in" is a sub-property of "is participant in". |
Typology | The property "is patient" is a sub-property of "is functional participant". |
Description | The following properties are sub-properties of "is patient": "is theme" and "is target". If X is patient Y then Y is an endurant. If X is patient Y then X is a perdurant. X is patient Y if and only if Y is patient of X. |
Typology | The property "is patient of" is a sub-property of "is functional participant in". |
Description | The following properties are sub-properties of "is patient of": "is theme of" and "is target of". If X is patient of Y then Y is a perdurant. If X is patient of Y then X is an endurant. X is patient Y if and only if Y is patient of X. |
Typology | The property "is performed by" is a sub-property of "is functional participant". |
Description | The property "is prescribed by" is a sub-property of "is performed by". If X is performed by Y then Y is an agent. If X is performed by Y then X is an action. X is performed by Y if and only if Y performs X. |
Typology | The property "is prescribed by" is a sub-property of "is performed by". |
Description | If X is prescribed by Y then Y is an agent. If X is prescribed by Y then X is an action. X is prescribed by Y if and only if Y prescribes X. |
Typology | The property "is product" is a sub-property of "is functional participant". |
Description | If X is product Y then Y is an endurant. If X is product Y then X is an activity. X is product of Y if and only if Y is product X. |
Typology | The property "is product of" is a sub-property of "is functional participant in". |
Description | If X is product of Y then Y is an activity. If X is product of Y then X is an endurant. X is product of Y if and only if Y is product X. |
Typology | The property "is resource" is a sub-property of "is use of". |
Description | If X is resource Y then Y is an amount of matter. If X is resource Y then X is an activity. X is resource for Y if and only if Y is resource X. |
Typology | The property "is resource for" is a sub-property of "is used in". |
Description | If X is resource for Y then Y is an activity. If X is resource for Y then X is an amount of matter. X is resource for Y if and only if Y is resource X. |
Typology | The property "is result" is a sub-property of "is causally precedes". |
Description | If X is result Y then Y is a perdurant. If X is result Y then X is an activity. X is result of Y if and only if Y is result X. |
Typology | The property "is result of" is a sub-property of "is causally follows". |
Description | If X is result of Y then Y is an activity. If X is result of Y then X is a perdurant. X is result of Y if and only if Y is result X. |
Typology | The property "is state of" is a sub-property of "is substrate". |
Description | If X is state of Y then Y is an endurant. If X is state of Y then X is a state. X is state of Y if and only if Y has as state X. |
Typology | The property "is substrate" is a sub-property of the following properties: "is functional participant" and "is total constant participant". |
Description | The property "is state of" is a sub-property of "is substrate". If X is substrate Y then Y is an endurant. If X is substrate Y then X is a perdurant. X is substrate Y if and only if Y is substrate of X. |
Typology | The property "is substrate of" is a sub-property of the following properties: "is functional participant in" and "is total constant participant in". |
Description | The property "has as state" is a sub-property of "is substrate of". If X is substrate of Y then Y is a perdurant. If X is substrate of Y then X is an endurant. X is substrate Y if and only if Y is substrate of X. |
Typology | The property "is target" is a sub-property of "is patient". |
Description | If X is target Y then Y is an endurant. If X is target Y then X is a perdurant. X is target of Y if and only if Y is target X. |
Typology | The property "is target of" is a sub-property of "is patient of". |
Description | If X is target of Y then Y is a perdurant. If X is target of Y then X is an endurant. X is target of Y if and only if Y is target X. |
Typology | The property "is theme" is a sub-property of "is patient". |
Description | If X is theme Y then Y is an information object. If X is theme Y then X is a perdurant. X is theme of Y if and only if Y is theme X. |
Typology | The property "is theme of" is a sub-property of "is patient of". |
Description | If X is theme of Y then Y is a perdurant. If X is theme of Y then X is an information object. X is theme of Y if and only if Y is theme X. |
Description | The property "is substrate" is a sub-property of "is total constant participant". |
Description | The property "is substrate of" is a sub-property of "is total constant participant in". |
Typology | The property "is use of" is a sub-property of "is functional participant". |
Description | The following properties are sub-properties of "is use of": "is resource" and "is instrument". If X is use of Y then Y is an endurant. If X is use of Y then X is an action. X is used in Y if and only if Y is use of X. |
Typology | The property "is used in" is a sub-property of "is functional participant in". |
Description | The following properties are sub-properties of "is used in": "is resource for" and "is instrument of". If X is used in Y then Y is an action. If X is used in Y then X is an endurant. X is used in Y if and only if Y is use of X. |
Description | If any of the following relationships hold between X and Y then Y is a perdurant: "is theme of", "is target of", "is substrate of", "is result", "is patient of", "is functional participant in" and "is causally precedes". If any of the following relationships hold between X and Y then X is a perdurant: "is theme", "is target", "is substrate", "is result of", "is patient", "is functional participant" and "is causally follows". |
Typology | The property "performs" is a sub-property of "is functional participant in". |
Description | The property "prescribes" is a sub-property of "performs". If X performs Y then Y is an action. If X performs Y then X is an agent. X is performed by Y if and only if Y performs X. |
Description | If X is instrument Y then Y is a physical object. If X is instrument of Y then X is a physical object. |
Description | The property "is causally precedes" is a sub-property of "precedes". The property "precedes" is transitive. |
Typology | The property "prescribes" is a sub-property of "performs". |
Description | If X prescribes Y then Y is an action. If X prescribes Y then X is an agent. X is prescribed by Y if and only if Y prescribes X. |
Description | If X has as state Y then Y is a state. If X is state of Y then X is a state. |