Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Entity	15320	個々の普遍集合。　これがオントロジーのノードのルートである。	^
Abstract	6444	物理的媒体における任意の特性/資質の特定の実施形態と区別されるプロパティまたは品質。抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。　しかし、それらは...	^
ProcessTask	2		^
Quantity	453	何かの数や量の任意の仕様。それに応じて、二つの Quantity のサブクラスがある：Number (数)と PhysicalQuantity (量)。	^
Attribute	3773	サブクラスに再び取り入れることができないか、または選択できない品質。	^
SetOrClass	6	Sets の SetOrClass と Classes。　例： elements または instances がある Abstract の任意のインスタンス。	^
Relation	1769	関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序...	^
List	12	すべての List は、特定の順序付けされた項目の n タプルである。一般的に、List は ListFn Function によって作成され、任意の数の項目を引数として受け取り...	^
Proposition	423	Proposition は、完全な思考またはそのような考えのセットを表現する Abstract エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、 Prop...	^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format:

text