Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
BinaryRelation	1311	BinaryRelation 是只有在关系联系两样东西的时候才算是真，框架理论以槽代表 BinaryRelation。	^
IntransitiveRelation	13	野葛 BinaryRelation ?REL 是非传递关系除非所有的 ?INST1， ?INST2 和 ?INST3 是 (?REL ?INST1 ?INST2) 和 (?REL ?INST2...	^
immediateInstance	.	如果一个物体是一个 SetOrClass 的 instance，而且它并不是该 SetOrClass 真正的子类别的 instance，那这个物体就是该 SetOrClass 的...	^
inverse	.	BinaryRelation 的相反是一种 Relation, 而属于它原本 Relation 所有元组的值都逆转。换句话说，当一种二元关系和另一种二元关系的参数交换的结果是相等的 ...	^
immediateSubclass	.	一个 SetOrClass 的 ?CLASS1 是另一个 SetOrClass ?CLASS2 的 immediateSubclass, 为免 ?CLASS1 成为 ?CLASS2 的子...	^
member	4	这是对属于 Collection 相同部分的专业常识概念。例如：羊群中的每只羊，跟羊群间，是成员关系。	^
penetrates	.	(penetrates ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 和 ?OBJ2 起码在一整个维度(长度、阔度或深度) connected。	^
meetsTemporally	.	(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTER...	^
parent	2	这是父母身份的概括关系。(parent ?CHILD ?PARENT)的意思是 ?PARENT 是 ?CHILD 的亲生父母。	^

Relation: Term:

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

View format:

text