Simple Knowledge base Browser - eventLocated

Simple Browser : Welcome guest : log in

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

Sigma KEE - eventLocated

KB Term:

eventLocated

(eventLocated ?PROC ?OBJ) 的意思是整个 Process ?PROC 是位于 Object ?OBJ，也就是说所有 ?PROC 的 subProcess 是位于 ?OBJ。

Relationships
Parents	eventPartlyLocated	(eventPartlyLocated ?PROC ?OBJ) means that some subProcess of Process ?PROC is located in Object ?OBJ.
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。
	格角色	这是一个 Predicate 的 Class，它把 Process 中可以从空间上区别的部分联系起来。 CaseRole 包括 agent、 patient 或行动的 destination 这些例子、燃烧过程中的易燃物质，或是降雨过程中的雨水。
	实体	The universal class of individuals. This is the root node of the ontology.
	可继承的关系	这是一个 Relation 类别，它的特性可以是通过 subrelation Predicate 把特性在类别的层次结构承传下去。
	非自反关系	Relation ?REL 属于非自反关系当且仅当没有一个?INST 是(?REL ?INST ?INST)。
	部分值关系	一个 Relation 是 PartialValuedRelation 是为了确保它不是一个 TotalValuedRelation，也就是说除了最后一个之外给每一个参数位置分配一个值，但这不一定等于已经为最后一个参数位置设定赋值。注：如果一个 Relation既是 PartialValuedRelation 又是 SingleValuedRelation的话，那么它就是一个部分函数。
	谓语	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元组。
	总值关系	一个 Relation 是 TotalValuedRelation 以防该 Relation 最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都有一个赋值。注：声明一个 Relation 既是 TotalValuedRelation 又是 SingleValuedRelation 表示这是一个总函数。
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