Simple Knowledge base Browser - electricityExportInPeriod

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Sigma KEE - electricityExportInPeriod

KB Term:

电力出口期间

(electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?PERIOD.

Relationships
Instances	抽象体	这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间和地点。
	实体	The universal class of individuals. This is the root node of the ontology.
	可继承的关系	这是一个 Relation 类别，它的特性可以是通过 subrelation Predicate 把特性在类别的层次结构承传下去。
	谓语	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元组。
	三元谓语	这是一个需要三个参数的 Predicate Class。
	三元关系	TernaryRelation 连接三个项目， TernaryRelation 的两个 subclass 是 TernaryPredicate 和 BinaryFunction。
Belongs to Class	实体