| Gb | Eng |
|---|
| 根据定义,首都是一个国家的政治文化中心。 | By definition the capital is the political and cultural center of a country. |
| 在一个集合中，具有定义一个集合性质的对象、实体或概念。 | In a set, an object, entity, or concept having the properties that define a set. |
| 词书编纂者必须精於给词语下定义的技巧. | Dictionary writers must be skilled in the art of definition. |
| 词语的定义不应比所解释的词语更难理解. | Definitions should not be more difficult to understand than the words they define. |
| 验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。 | A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state. |
| 轮廓线，外廓线用于定义一形状或描绘一轮廓的线 | A mark used to define a shape or represent a contour. |
| 这两个定义可以合成一个呢, 还是必须分开? | Can these two definitions be conflated, or must they be kept separate? |
|