Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Abstract	6444	这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间和地点。	^
SetOrClass	6	这是 Set 和 Class 的 SetOrClass，也就是说任何 Abstract 有 element 或 instance的实例。	^
Class	.	Class 在三个重要方面与 Set 不同：第一，我们不假设 Class 为能延伸的，也就是说不同的 Class 可能由完全相同的实例。第二，Class 通常有一个决定该 ...	^
Set	4	这是个 SetOrClass 能满足延伸性和由集合理论的某些选择所指定的其他约束。Set 在两个重要方面与 Classes 不同：第一，Sets 是可以延伸的 - 两个拥有一样 &...	^

Relation: Term:

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

View format:

text