Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - refers
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
refers
(refers ?OBJ1 ?OBJ2) とは、?OBJ1 が O2 への参照に言 及または含むことがあることを意味する。 注:%refersは、おそらく何かがこの他の事を参照している場合に のみ何かを表すことができるので、%refers は represents よりも一般的な意味である。 例:石油価格 の最近の変化をトピックにした記事は、他の多くのことを指すかもしれない。 経済の一般的な状態、カリ フォルニアの天候、地球温暖化の見通し、代替エネルギー源のオプション、様々な石油会社の株価など。
Relationships      
Children deceptiveIdentifier(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(emailAddress ?Address ?Agent) means that ?Address denotes a VirtualPlace at which ?Agent can be contacted.
 names(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(phoneNumber ?Phone ?Agent) holds if ?Phone is a phone number corresponding to the Telephone ?Phone.
 registeredItem(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.
 representsA 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抽象的な物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。
 2進述語Predicate は2つの項目に関連する- その 価数は2である。
 2項関係BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。
 エンティティー個々の普遍集合。 これがオントロジーのノードのルートで ある。
 InheritableRelationRelations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。
 述語Predicate とは、Relation の各タプルが有限で 順序付けされたオブジェクトのシーケンスである文形成 Relation である。 特定のタプルが '(*述語* arg_1 arg_2 .. arg_n)による Predicate の要素であるという事実。 arg_n)'は、arg_i が 関連するオブジェクトである。BinaryPredicates の場合、事実は 'arg_1 は *述語* arg_2' または 'arg_1 の *述語* は arg_2' と読むことができる。
 関係関係の ClassRelation には、PredicateFunction、と List の3種類がある。 %Predicate と Function の両方が、順序付けされた n タプ ルのセットを示す。これら2つの Class の違いは、Predicate カバー式形成演算子、Function カ バー用語形成演算子である。一方、List は特定の順序付けされた n タプルである。
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