Relationships
|
|
|
|
Children |
恐惧 | (fears ?AGENT ?FORMULA) means that ?AGENT fears that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be undesirable for ?AGENT. |
| 希望 | (hopes ?AGENT ?FORMULA) means that ?AGENT hopes that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be desirable for ?AGENT. |
Instances | 抽象体 | 这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。 |
| 二元谓语 | 这是一个联系两个项目的 Predicate - 它的配价是二。 |
| 二元关系 | BinaryRelation 是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表 BinaryRelation。 |
| 实体 | 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元组。 |
Belongs to Class
|
实体 |
| | |