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	这是我们不能够或选择不去具体化为 Object 的子类别的质量。	^
SetOrClass	6	这是 Set 和 Class 的 SetOrClass，也就是说任何 Abstract 有 element 或 instance的实例。	^
Relation	1769	这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组...	^
List	12	每个 List 是项目一个独特有序的n元组。一般来说，List 是由 ListFn Function 来造成的，它可以接受任何数量的参数，然后交出一个有相同顺序项目的 List...	^
Proposition	423	Proposition 是 Abstract 实体，它表达一个完整的意思或是一套想法。例如：公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑...	^

Relation: Term:

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

View format:

text