Simple Knowledge base Browser

Simple Browser : Welcome guest : log in

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

Sigma KEE - NullList

KB Term:

NullList

項目のない List 。NullList の一意性は、 Lists の拡張性、すなわち、同じ順序で同じ項目を持つ２つの List が同じであるという事実。

Relationships
Instances	抽象的な	物理的媒体における任意の特性/資質の特定の実施形態と区別されるプロパティまたは品質。抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。　しかし、それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはできない。
	エンティティー	個々の普遍集合。　これがオントロジーのノードのルートである。
	リスト	すべての List は、特定の順序付けされた項目の n タプルである。一般的に、List は ListFn Function によって作成され、任意の数の項目を引数として受け取り、同じ順序で項目を持つ List を返す。他の List を含むものはすべて、List 内の項目であってもよい。注：List は拡張子であり、同じ順序で同じ項目を持つ２つのリストが同じである場合もある。　注2：List には項目が含まれていない可能性がある。その場合、List は NullList である。
Belongs to Class	エンティティー