Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Relation	1769	関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序...	^
InheritableRelation	1765	Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる。	^
TernaryRelation	386	TernaryRelations は３つの項目に関連する。２つの TernaryRelation の　subclass は TernaryPredicate と Binary...	^
BinaryFunction	101	Function の Class は、２つの引数を必要とする。	^
TernaryPredicate	282	Predicates の Class は、正確に3つの引数を必要とする。	^

Relation: Term:

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

View format:

text