LengthMeasure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LengthMeasure ChineseLanguage "这是 ConstantQuantity 的 subclass，它的实例都是用来量度长度的。")	chinese_format.kif 2403-2404
(documentation LengthMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of length.")	Merge.kif 6154-6155
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png")	pictureList.kif 8572-8572
(subclass LengthMeasure ConstantQuantity)	Merge.kif 6152-6152	subclass LengthMeasure and ConstantQuantity

appearance as argument number 2

(range DatumFn LengthMeasure)	Geography.kif 4756-4756	range DatumFn and LengthMeasure
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 4676-4676	range DiameterFn and LengthMeasure
(range RadiusFn LengthMeasure)	Mid-level-ontology.kif 4690-4690	range RadiusFn and LengthMeasure
(subclass AltitudeMeasure LengthMeasure)	MilitaryDevices.kif 1498-1498	subclass AltitudeMeasure and LengthMeasure
(termFormat ChineseLanguage LengthMeasure "长度测量")	chinese_format.kif 1303-1303
(termFormat EnglishLanguage LengthMeasure "length measure")	english_format.kif 1823-1823

appearance as argument number 3

(domain SpeedFn 1 LengthMeasure)	Merge.kif 6567-6567	domain SpeedFn, 1 and LengthMeasure
(domain VelocityFn 1 LengthMeasure)	Merge.kif 6578-6578	domain VelocityFn, 1 and LengthMeasure
(domain altitude 3 LengthMeasure)	Merge.kif 7614-7614	domain altitude, 3 and LengthMeasure
(domain approximateDiameter 2 LengthMeasure)	Mid-level-ontology.kif 17358-17358	domain approximateDiameter, 2 and LengthMeasure
(domain averageRainfallForPeriod 3 LengthMeasure)	Geography.kif 1312-1312	domain averageRainfallForPeriod, 3 and LengthMeasure
(domain caliber 2 LengthMeasure)	MilitaryDevices.kif 212-212	domain caliber, 2 and LengthMeasure
(domain circumfrence 2 LengthMeasure)	Mid-level-ontology.kif 30534-30534	domain circumfrence, 2 and LengthMeasure
(domain cylinderBore 2 LengthMeasure)	Cars.kif 1536-1536	domain cylinderBore, 2 and LengthMeasure
(domain defaultMaximumHeight 2 LengthMeasure)	Mid-level-ontology.kif 12827-12827	domain defaultMaximumHeight, 2 and LengthMeasure
(domain defaultMaximumLength 2 LengthMeasure)	Mid-level-ontology.kif 12896-12896	domain defaultMaximumLength, 2 and LengthMeasure
(domain defaultMaximumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 12951-12951	domain defaultMaximumSphereRadius, 2 and LengthMeasure
(domain defaultMaximumWidth 2 LengthMeasure)	Mid-level-ontology.kif 12862-12862	domain defaultMaximumWidth, 2 and LengthMeasure
(domain defaultMinimumHeight 2 LengthMeasure)	Mid-level-ontology.kif 12810-12810	domain defaultMinimumHeight, 2 and LengthMeasure
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 12880-12880	domain defaultMinimumLength, 2 and LengthMeasure
(domain defaultMinimumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 12932-12932	domain defaultMinimumSphereRadius, 2 and LengthMeasure
(domain defaultMinimumWidth 2 LengthMeasure)	Mid-level-ontology.kif 12845-12845	domain defaultMinimumWidth, 2 and LengthMeasure
(domain diameter 2 LengthMeasure)	Merge.kif 7574-7574	domain diameter, 2 and LengthMeasure
(domain distance 3 LengthMeasure)	Merge.kif 7592-7592	domain distance, 3 and LengthMeasure
(domain effectiveRange 2 LengthMeasure)	Mid-level-ontology.kif 1349-1349	domain effectiveRange, 2 and LengthMeasure
(domain elevation 2 LengthMeasure)	Geography.kif 1895-1895	domain elevation, 2 and LengthMeasure
(domain geometricDistance 3 LengthMeasure)	Merge.kif 17720-17720	domain geometricDistance, 3 and LengthMeasure
(domain height 2 LengthMeasure)	Merge.kif 7461-7461	domain height, 2 and LengthMeasure
(domain highTide 3 LengthMeasure)	Geography.kif 4910-4910	domain highTide, 3 and LengthMeasure
(domain ladenDraft 2 LengthMeasure)	Transportation.kif 2684-2684	domain ladenDraft, 2 and LengthMeasure
(domain lengthOfBroadGaugeRailway 2 LengthMeasure)	Transportation.kif 175-175	domain lengthOfBroadGaugeRailway, 2 and LengthMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM LengthMeasure) (instance ?VM VolumeMeasure)) (equal ?V1 ?V2))	Mid-level-ontology.kif 17364-17375	approximateDiameter SelfConnectedObject and MeasureFn RealNumber and RealNumberM sphereRadius Object and MeasureFn DivisionFn RealNumber and 2.0 and RealNumberM measure Object and MeasureFn RealNumber and UnitOfMeasure measure SelfConnectedObject and MeasureFn RealNumber and UnitOfMeasure instance RealNumberM and LengthMeasure instance UnitOfMeasure and VolumeMeasure equal RealNumber and RealNumber
(=> (and (instance ?BTS BimetalTemperatureSensor) (instance ?M1 Metal) (instance ?M2 Metal) (not (equal ?M1 ?M2)) (part ?M1 ?BTS) (part ?M2 ?BTS) (instance ?T1 TemperatureMeasure) (instance ?T2 TemperatureMeasure) (instance ?L1 LengthMeasure) (instance ?L2 LengthMeasure) (instance ?L3 LengthMeasure) (instance ?L4 LengthMeasure) (not (equal ?T1 ?T2)) (not (equal ?TM1 ?TM2)) (holdsDuring ?TM1 (and (measure ?BTS ?T1) (measure ?M1 ?L1) (measure ?M2 ?L2))) (holdsDuring ?TM2 (and (measure ?BTS ?T2) (measure ?M1 ?L3) (measure ?M2 ?L4)))) (not (equal (DivisionFn ?L1 ?L2) (DivisionFn ?L3 ?L4))))	Cars.kif 4084-4116	instance Object and BimetalTemperatureSensor instance Object and Metal instance Object and Metal equal Object and Object part Object and Object part Object and Object instance Entity and TemperatureMeasure instance Entity and TemperatureMeasure instance RealNumber and LengthMeasure instance RealNumber and LengthMeasure instance RealNumber and LengthMeasure instance RealNumber and LengthMeasure equal Entity and Entity equal TimePosition and TimePosition holdsDuring TimePosition and measure Object and Entity measure Object and RealNumber measure Object and RealNumber holdsDuring TimePosition and measure Object and Entity measure Object and RealNumber measure Object and RealNumber equal DivisionFn RealNumber and RealNumber and DivisionFn RealNumber and RealNumber

consequent

(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure))	Merge.kif 6268-6272	equal MeasureFn RealNumber and UnitOfMeasure and PhysicalQuantity instance UnitOfMeasure and UnitOfLength instance PhysicalQuantity and LengthMeasure
(=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U LengthMeasure) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST))))))	Weather.kif 1531-1546	instance WaterWave and WaterWave waveHeight WaterWave and LengthMeasure List WaterArea and UnitOfMeasure inList LengthMeasure and List instance WaterArea and WaterArea eventLocated WaterWave and WaterArea instance UnitOfMeasure and LengthMeasure significantWaveHeight WaterArea, WhenFn WaterWave and MeasureFn RealNumber and UnitOfMeasure equal RealNumber and MultiplicationFn 4.0 and StandardDeviationFn List
(=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH))))	Transportation.kif 1305-1310	instance Physical and Runway Entity instance Entity and LengthMeasure length Physical and Entity
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH))))	Geography.kif 837-842	instance Physical and UniformPerimeterArea Entity instance Entity and LengthMeasure width Physical and Entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: