概念也称观念，是抽象化的、普遍的想法，是充当指明实体、事件或关系的范畴或类的实体。在它们的外延中忽略事物的差异，如同它们是同一的去处理它们，所以概念是抽象的。它们等同的适用于在它们外延中的所有事物，所以它们是普遍的。概念也是命题的基本元素，如同词是句子的基本语义元素一样。
命题，在现代哲学、逻辑学、语言学中是指一个判断的语义，这个概念是可以被定义并观察的现象。命题不是指判断本身。当相异判断具有相同语义的时候，他们表达相同的命题。例如，雪是白色的和 Snow is white是相异的判断，但它们表达的命题是相同的。在同一种语言中，两个相异判断也可能表达相同命题。例如，刚才的命题也可以说成冰的小结晶是白的，不过，之所以是相同命题，取决于冰的小结晶可视为雪的有效定义。
概念也称观念，是抽象化的、普遍的想法，是充当指明实体、事件或关系的范畴或类的实体。在它们的外延中忽略事物的差异，如同它们是同一的去处理它们，所以概念是抽象的。它们等同的适用于在它们外延中的所有事物，所以它们是普遍的。概念也是命题的基本元素，如同词是句子的基本语义元素一样。
在语言和逻辑中，量化是用量词指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量词。在形式语言中，量化是从旧公式产生新公式的公式构造子。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是自由变量和约束变量的实例。
在计算机科学中，指称语义是通过构造表达其语义的数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如计算机网络和并发系统。
形容词是词类中的一类。其根本特点是自由地作定语、修饰名词或名词性短语。在语义上，形容词多表示性质、状态、属性、描述等含意。
面向比特的协议是一种通信协议，它将发送的数据视为“不透明”的无语义或其他意义的比特流。控制字符是根据比特序列而不是字符来定义的。面向比特的协议可以传输数据帧而不管帧的内容如何。它也可以被描述为位填充这种允许数据帧包含任意数量位的技术，并且允许字符代码具有任意数量的位或字符。
理论计算机科学是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在电脑科学的研究者里自成一派。
四声别义，汉语利用四声区别一个汉字的语义，通常用来区别词性。
格罗沙语是一种基于语义的国际辅助语。由语言学家Wendy Ashby和Ross Clark于1972年至1992年间创造。词汇表基于古希腊语和拉丁语，核心词汇大约1000多个。
Mini wiki
