Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subrelation

	direct-children	documentation	graph
partiallyFills	3	(partiallyFills ?OBJ ?HOLE) は、?OBJ が ?HOLE の一部を completelyFills ことを意味する。注１：(partiallyFills ?O...	^
properlyFills	1	(properlyFills ?OBJ ?HOLE) は、?HOLE が ?OBJ によって適切に(おそらく不完全であるが)満たされていることを意味する。例：?HOLE の一部は、?OBJ によ...	^
fills	.	ホールを埋めることができる。(fills ?OBJ ?HOLE) は、 Object ?OBJ が Hole ?HOLEを埋めるということを意味する。注：ここで fills は完全に...	^

Relation: Term:

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

View format:

text