Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
IrreflexiveRelation	335	Relation ?REL 属于非自反关系当且仅当没有一个?INST 是(?REL ?INST ?INST)。	^
AntisymmetricRelation	338	一个 BinaryRelation ?REL 是 AntisymmetricRelation 如果不同的 ?INST1 和 ?INST2 是(?REL ?INST1 ?INST2) 不意味着...	^
AsymmetricRelation	289	一个 BinaryRelation 属于不对称关系当且仅当它既是一个 AntisymmetricRelation 又是一个 IrreflexiveRelation。	^
CaseRole	62	这是一个 Predicate 的 Class，它把 Process 中可以从空间上区别的部分联系起来。 CaseRole 包括 agent、 patient 或行动的 ...	^
PropositionalAttitude	7	这是一个 IntentionalRelation Class，它的 Agent 对 Proposition 有认知。	^

Relation: Term:

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

View format:

text