1、A formal definition for the net is given and its representation power is discussed.
對(duì)該網(wǎng)進(jìn)行了形式定義，并討論了它的表示能力。

2、Let me first give you the formal definition of gravitational potential energy.
我先給你一個(gè)對(duì)于，重力勢(shì)能的形式定義。

3、XPath 1.0: Read the formal definition of XPath in the original specification.
XPath 1.0：查閱原始規(guī)范中對(duì)XPath的正式定義。

formal definition翻譯