Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
BinaryRelation	1311	BinaryRelation は relation で、それはペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。	^
IntransitiveRelation	13	BinaryRelation ?REL は、 (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST3) がすべての ?INST1、?INST2、および ?INS...	^
immediateInstance	.	オブジェクトがその SetOrClass の instance で、かつ SetOrClass の適切なサブクラスのinstance でない場合、オブジェクトは、 SetOrC...	^
inverse	.	BinaryRelation の逆は Relation であり、元の Relation のすべてのタプルが逆になる。　言い換えれば、BinaryRelation は、引数が交換された...	^
immediateSubclass	.	SetOrClass ?CLASS1 は別の SetOrClass ?CLASS2 の immediateSubclass。万が一に備えて ?CLASS1 が ?CLASS2 のサブク...	^
member	4	Collections の均一パーツの専門常識の概念の部分。　例えば、群れの各羊が、群れのメンバーとして関係を持つ、など。	^
penetrates	.	(penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して connected ことを意味する。	^
meetsTemporally	.	(meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERV...	^
parent	2		^

Relation: Term:

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

View format:

text