Relationships
|
|
|
|
Children |
吸收剂量 | The amount of energy imparted by nuclear (or ionizing) radiation to unit mass of absorbing material. The unit is the rad. |
| 年龄 | Simply relates an Object to a ConstantQuantity specifying the age of the Object. |
| 气温 | (airTemperature ?AREA ?TEMP) means that the temperature of the air at ?AREA is ?TEMP. Temperature may be expressed in units of TemperatureMeasure, including CelsiusDegree and FahrenheitDegree, among others. |
| 气压 | (barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of InchMercury or MmMercury. For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (barometricPressure SeaLevel (MeasureFn 29.92 InchMercury)). |
| 有效范围 | Models the effective range of some device that is able to move by itself (like vehicles, rockets and so on) or move other things (like weapons). |
| 舰队载重吨位 | (fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a total carrying capacity of ?AMOUNT in LongTons. This is the total vesselDeadWeightTonnage of all the vessels combined. Dead Weight Tonnage, or DWT, is the weight of cargo plus stores that a vessel can carry when immersed to the proper load line. |
| 船队总注册吨位 | (fleetGrossRegisteredTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a total carrying capacity of ?AMOUNT in RegistryTons. This is the total vesselGrossRegisteredTonnage of all the vessels combined. Gross Registered Tonnage, or GRT, is the capacity of a vessel calculated on an equivalence of 100 cubic feet of sheltered area per ton. |
| linearExtent | BinaryPredicate that is used to state the measure of an Object from one point to another point along its surface. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects. |
| loudness | |
| 记忆体大小 | (memorySize ?System ?Size) holds if ?Size is the required memory size for the ComputationalSystem ?System. |
| phMeasure | |
| 有效波高 | significantWaveHeight is a TernaryPredicate. (significantWaveHeight ?WA ?TIME ?SWH) ?SWH is a LengthMeasure used to describe the average wave height, from trough to crest, of the highest third the waves for a ?WA (WaterArea) for a ?TIME (TimeInterval). It is defined as four times the standard deviation of the height of all waves. |
| 轨道宽度 | The distance between the two rails of a Railway. |
| 船只位移 | (vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the PhysicalQuantity ?AMOUNT. The displacement of a vessel may be measured in LongTons (Dead Weight Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT). |
| 重量 | (weight ?O ?MM) means that on planet earth the SelfConnectedObject ?O has the weight ?MM. |
Instances | 抽象体 | 这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。 |
| 反对称关系 | 一个 BinaryRelation ?REL 是 AntisymmetricRelation 如果不同的 ?INST1 和 ?INST2 是(?REL ?INST1 ?INST2) 不意味着 (?REL ?INST2 ?INST1)。也就是说当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2)和 (?REL ?INST2 ?INST1) 意味着 ?INST1 和 ?INST2 是相同的。注:一个AntisymmetricRelation 有可能 是一个 ReflexiveRelation。 |
| 非对称关系 | 一个 BinaryRelation 属于不对称关系 当且仅当它既是一个 AntisymmetricRelation 又是一个 IrreflexiveRelation。 |
| 二元谓语 | 这是一个联系两个项目的 Predicate - 它的配价是二。 |
| 二元关系 | BinaryRelation 是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表 BinaryRelation。 |
| 实体 | The universal class of individuals. This is the root node of the ontology. |
| 可继承的关系 | 这是一个 Relation 类别,它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。 |
| 非自反关系 | Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。 |
| 谓语 | Predicate 是一个作句的 Relation,这个 Relation 的每一个元组都是物体有限、有序的的句子。一个特定组员是一个 Predicate 的元素这事实,由 '(*predicate* arg_1 arg_2 .. arg_n)'来表示, arg_i 是关联的事物。在 BinaryPredicate 的情况下, 可以读成 `arg_1 是 *predicate* arg_2' 或者 `arg_1 的一个 *predicate* 是 arg_2'。 |
| 关系 | 这是关系的 Class。现有三类的 Relation: Predicate, Function 和 List。 Predicate 和Function 皆表示有序的n元组集合, 这两个 Class 的差别在于 Predicate 包括组成公式的运算符,而Function 则包括组成 术语的运算符,而一个 List 却是一个特定的有序n元组。 |
Belongs to Class
|
实体 |
| | |