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 的第二个参...	^
significantWaveHeight	.	有效波高 (significantWaveHeight)是一个三元谓词(TernaryPredicate)。 (significantWaveHeight ?WA ?TIME ?SWH) ?...	^
trackWidth	.		^
fleetGrossRegisteredTonnage	.		^
fleetDeadWeightTonnage	.		^
vesselDisplacement	2		^
memorySize	.		^
absorbedDose	.		^
effectiveRange	.		^
phMeasure	.		^
loudness	.		^
airTemperature	.		^
weight	.	(weight ?O ?MM)的意思是在地球上，这个 SelfConnectedObject ?O 的重量是 ?MM。	^
age	.	这只是把一个 Object 和一个用来指定这个 Object 的岁数的 ConstantQuantity 联系起来。	^
linearExtent	4	这是一个 BinaryPredicate，它是用于表示量度一个 Object 表面上从一点到另一点间的距离。注：谓词 length 和 distance 之间的分别在于，len...	^
barometricPressure	.	(barometricPressure ?AREA ?PRESSURE) 的意思是在 ?AREA 所量度到的气压是?PRESSURE。气压一般以 InchMercury 或 MmMerc...	^

Relation: Term:

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

View format:

text