Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subrelation

	direct-children	documentation	graph
instance	2	オブジェクトがその SetOrClass に含まれている場合、オブジェクトは SetOrClass の instance である。個々は多くのクラスSetOrClass ins...	^
immediateInstance	.	オブジェクトがその SetOrClass の instance で、かつ SetOrClass の適切なサブクラスのinstance でない場合、オブジェクトは、 SetOrC...	^
element	.	(element ?ENTITY ?SET) は、?ENTITY が Set ?SETに含まれている場合に当てはまる。Entity は、後者が Set の場合にのみ、別の Enti...	^

Relation: Term:

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

View format:

text