| Subject | Object |
|---|
| ?:contains | "A contains B iff the spatial region occupied by A has the spatial region occupied by B as a part, and B is not part of A. [T]"@en |
| ?:derives into | "a derives to b if and only if a or some part thereof is consumed in the formation of b."@en |
| ?:has part | "has part is a transitive, reflexive and antisymmetric relation between a whole and itself or a whole and its part."@en |
| ?:is broader than (t) | "A is broader than B (t) iff for A is broader than B."@en |
| ?:is causally related with | "A transitive, symmetric, temporal relation in which one entity is causally related with another non-identical entity."@en |
| ?:is connected to | "A is connected to B iff there exists a fiat, material or temporal path between A and B. [S][T]"@en |
| ?:is contained in | "A is contained in B iff the spatial region occupied by A is part of the spatial region occupied by B and A is not part of B. [T]"@en |
| ?:is derived from | "A transitive temporal relation in which one entity was materially formed from another non-identical entity."@en |
| ?:is equal to | "is equal to is a comparison relation between two quantities whose value are exactly the same."@en |
| ?:is greater than | "is greater than to is a comparison relation between two quantities in which the first has a value larger than the second."@en |
| ?:is greater than or equal to | "is greater than or equal to is a comparison relation between two quantities in which the first has a value larger or equal to the second."@en |
| ?:is lesser than | "is lesser than to is a comparison relation between two quantities in which the first has a value smaller than the second."@en |
| ?:is lesser than or equal to | "is greater than to is a comparison relation between two quantities in which the first has a value smaller or equal to the second."@en |
| ?:is located in | "A is located in B iff the spatial region occupied by A is part of the spatial region occupied by B. [T][R]"@en |
| ?:is location of | "A is location of B iff the spatial region occupied by A has the spatial region occupied by B as a part. [T][R]"@en |
| ?:is narrower than (t) | "A is narrower than B (t) iff for A is narrower than B."@en |
| ?:is part of | "is part of is a transitive, reflexive and anti-symmetric mereological relation between a whole and itself or a part and its whole."@en |
| ?:is positionally after | "is positionally after is a relation between entities placed on a dimensional axis in which the projection of the position of the first entity is numerically greater than the projection of the position of the second entity."@en |
| ?:is positionally before | "is positionally before is a relation between entities placed on a dimensional axis in which the projection of the position of the first entity is numerically less than the projection of the position of the second entity."@en |
| ?:is transformed from | "A transitive temporal relation in which an entity mainstains identity from one state to another."@en |
| ?:is variant of | "is variant of: a relationship indicating that two entities are different (by some measure), but either achieve the same objectives in different ways or are permutations of one another (temporal, logical or otherwise)"@en |
| ?:is version of | "is version of is a relation that holds between any two versions in which one is a subsequent or alternate version of (through a branch)."@en |
| ?:is weakly interacting with (transitive) | "is weakly interacting with is a symmetric relation between two molecular entities (or any part thereof) that are interacting through some weak force (van der waals, hydrogen bonds, electrostatic interactions)"@en |
| ?:precedes | "A transitive, temporal relation in which one process precedes (has occured earlier than) another process."@en |
| ?:transforms into | "A transitive temporal relation in which an entity mainstains identity from one state to another."@en |
