| Subject | English | Japanese |
| gen. | conditional implication | 含意 (operation, がん'い) |
| comp., MS | interface implication | インターフェイス包含 (If an interface implies another interface, then any class that implements the first interface must also implement the second interface. Interface implication is used in an information model to get some of the effects of multiple inheritance) |
| phys. | strict implication | 厳密含意 (げんみつ・がん'い) |