|
Relationships
|
|
|
|
| Children |
欺骗性标识符 | (deceptiveIdentifier ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not. |
| | describes | (describes ?FORMULA ?OBJECT) means that some Formula ?FORMULA, as said by some AutonomousAgent regarding some Object ?OBJECT |
| | 电子邮件地址 | (emailAddress ?Address ?Agent) means that ?Address denotes a VirtualPlace at which ?Agent can be contacted. |
| | 命名 | (names ?STRING ?ENTITY) means that the thing ?ENTITY has the SymbolicString ?STRING as its name. Note that names and represents are the two immediate subrelations of refers. The predicate names is used when the referring item is merely a tag without connotative content, while the predicate represents is used for referring items that have such content. |
| | 电话号码 | (phoneNumber ?Phone ?Agent) holds if ?Phone is a phone number corresponding to the Telephone ?Phone. |
| | 注册项目 | (registeredItem ?DOCUMENT ?ITEM) means that the Text ?DOCUMENT contains an official record of the Physical thing ?ITEM. The registered item could be an object or an event, e.g., an automobile, a ship, a marriage, an adoption. |
| | 表示 | A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing. See the documentation string for names. |
| 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
|
实体 |
| | |