Simple Browser : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - NegativeInfinity
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
负无穷大
这是所有其他 TimePoint 之前的 TimePoint。
Relationships      
Instances抽象体这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
 恒量ConstantQuantity 是含不变值的 PhysicalQuantity，如 3 Meter 和 5 HourDuration。所有 ConstantQuantity 的幅度 （见 MagnitudeFn）都是 RealNumber。 ConstantQuantity 有别于 FunctionQuantity， 后者的每一个实例是通过把一个 PhysicalQuantity 连接到另一个 PhysicalQuantity 而成。 每个 ConstantQuantity 的实例使用 BinaryFunction MeasureFn 来表示， 它需要两个参数：一个 Number 和一个 UnitOfMeasure。例如：3 Meter 以 (MeasureFn 3 Meter) 表示。 ConstantQuantity 的实例与 lessThan 关系组成一个部分顺序 （见 PartialOrderingRelation)， 因为 lessThan 是一个 RelationExtendedToQuantities，而 lessThan 以 RealNumber 来定义的。 lessThan 关系不是一个以 ConstantQuantity 类别的 全部顺序 （见 TotalOrderingRelation）因为 ConstantQuantity 一些子类别的元素 （如长度值）和 ConstantQuantity 其他子类别的元素 （如质量） 属完全不同。
 实体The universal class of individuals. This is the root node of the ontology.
 物理量PhysicalQuantity是一种用来衡量建模世界上的 一些可以量度的部分，例如：「地球的直径」（长度固定）和「装满了可变形的固体的应力」（应力的衡量，它是一个有 三个空间坐标的函数）。 PhysicalQuantity 要不是 ConstantQuantity，就是 FunctionQuantity。 ConstantQuantity 的实例需要有一个 UnitOfMeasure，而 FunctionQuantity 的实例是要靠一个 Function， 它把 ConstantQuantity 的实例和其它 ConstantQuantity 的实例联系在一起（举例说， TimeDependentQuantity 属于 FunctionQuantity）。 PhysicalQuantity 这个名字和定义是借用物 理理论，但是 PhysicalQuantity 不一定是指物质上的。 除了长度、时间和速度等这些尺度以外，非物理尺寸如 货币也是可行的。因此，金钱会是 PhysicalQuantity 的实例。 PhysicalQuantity 和纯 Number 的区别在于前者附有一个衡量的尺度。
 数量这是任何表示东西数量或多少的规格。故此 Quantity 共有两个 子类别：Number （数量)和 PhysicalQuantity (多少)。
 时间单位这个是通用时间轴(TimePosition 的实例)上的类别， 它包括时间段(TimeDuration 的实例)，与 TimePoint 和 TimeInterval 的定位。
 时点这是通用时间轴上无法延伸的的一点。 我们在不同程度的准确 和近似值上，可以知道 Process 发生的 TimePoint，但是 TimePoint 在概念上是成点状而非间隔状， 也就是说， 说 TimePoint 持续了多长是没有意义的。
 时间位置这是从 NegativeInfinity到 PositiveInfinity 通用时间轴上的任何 TimePoint 或 TimeInterval。
Belongs to Class 实体


Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners