1) internal semantic form
内部语义形式
1.
This article cuts out a typical dialogue from the novel named A Dream of Red Mansions, and initially analyses the presuppositions interrogative discourse in the dialogue to simply analyse the important function of the context and the comprehension of the words internal semantic form on the premise of the presuppositions polysemy tendency.
文章截取《红楼梦》中的一段较典型的对话,对其特指疑问话语的预设进行初步分析,浅论预设多义化倾向的前提下语境及词的内部语义形式的理解在话语交际中的重要作用。
2) linguistic inner form
语言的内部形式
3) phonetic-semantic level
语音形式-语义内容层面
4) formal semantics
形式语义
1.
A formal semantics of VHDL based on duration calculus;
一种基于时段演算的VHDL的形式语义
2.
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发,对IEC 61850的建模方法和所给出的模型进行了研究。
3.
A topological space structure of component sets is proposed on the basis of component and reference formalization, and a new method based on topological dynamical systems is used to study the formal semantics with parallel recursive reference of components.
在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法,将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点,同时将引用过程描述为系统的轨迹。
5) formal semantic
形式语义
1.
In this article, the interoperability of semantic information modeling of IEC61850 is investigated from formal semantic theory.
这里尝试从形式语义学的角度对标准的语义信息模型的互操作性进行分析,认为标准的语义信息模型为各种技术的展开奠定了基础;同时,各技术的实施应该基于标准信息模型完备集的同构才能从完全意义上实现标准的互操作性。
2.
In this paper,according to the internal and international research development about formal semantic expression in existed digital right expression models,we give a new model that has some dynamic reasoning abilities and is based on the theory of finite automation.
该文的主要工作是依据国内外已有数字权限描述模型关于形式语义的研究进展,提出一种数字权限描述模型,该模型通过描述动作的状态及其变迁来表达数字权限证书动态语义。
6) semantic formulae
语义形式
补充资料：内部形式与外部形式
标示形式自身相互区别的一对哲学范畴，即表现事物内容的两种不同的方式。内部形式是内容的内在组织结构，内容诸要素间的本质联系；外部形式是内容的外在的非本质的联系方式，是使不同内容的事物相互区别的外部形态、外部表现。内部形式和内容不可分割，和内容一起表现着事物的本质方面，其发展变化直接影响着内容的发展变化。它包含在内容自身之中，在一定意义上是内容的组成部分、因素和环节，和内容是直接统一的。外部形式同事物的现象相联系,是内容的外观,它以外在的表现形式对内容发生影响。外部形式同内容的联系不具有内部形式那样的内在性、直接性，它和内容不是直接统一的。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条