Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subrelation

	direct-children	documentation	graph
measure	21	这是一个非常概括的 Predicate，它用于断言一个特定的 Object 是由一种特定的 PhysicalQuantity 来量度。一般来说，这个 Predicate 的第二个参...	^
linearExtent	4	这是一个 BinaryPredicate，它是用于表示量度一个 Object 表面上从一点到另一点间的距离。注：谓词 length 和 distance 之间的分别在于，len...	^
width	.	这是一个 BinaryPredicate，它是用来表示一个 Object 从一边到另一边最大的距离。	^
height	.	一个 Object 的高度是它的顶部和底部之间的距离。	^
length	1	这是一个 BinaryPredicate，它是用来表示一个 Object最长部分的幅度。	^

Relation: Term:

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

View format:

text