Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
IrreflexiveRelation	335	Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。	^
AntisymmetricRelation	338	BinaryRelation ?REL は、明確な ?INST1 および ?INST2 の場合は AR であり、(?REL ?INST1 ?INST2) は (?REL ?INST2 ?INST...	^
AsymmetricRelation	289	%BinaryRelation は %AntisymmetricRelation と IrreflexiveRelation の両方である場合のみ非対称でる。	^
CaseRole	62	Predicates の Class は、Process の空間的に区別されたパーツに関連する。CaseRoles は、例えば、作用の agent 、patient または...	^
PropositionalAttitude	7	Agent が Proposition の認識を持っている IntentionalRelations IR の Class。	^

Relation: Term:

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

View format:

text