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 6235-6236
(documentation LengthMeasure JapaneseLanguage "ConstantQuantity の subclass、そのインスタンスは長さの尺度である。")	japanese_format.kif 1086-1087
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png")	pictureList.kif 8570-8570
(subclass LengthMeasure ConstantQuantity)	Merge.kif 6233-6233

appearance as argument number 2

(range DatumFn LengthMeasure)	Geography.kif 4927-4927
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 5180-5180
(range RadiusFn LengthMeasure)	Mid-level-ontology.kif 5199-5199
(subclass AltitudeMeasure LengthMeasure)	MilitaryDevices.kif 1498-1498
(termFormat ChineseLanguage LengthMeasure "长度测量")	chinese_format.kif 1303-1303
(termFormat EnglishLanguage LengthMeasure "length measure")	english_format.kif 1823-1823
(termFormat FrenchLanguage LengthMeasure "mesure de longueur")	french_format.kif 981-981
(termFormat Hindi LengthMeasure "lambaaI maapa")	terms-hindi.txt 516-516
(termFormat ItalianLanguage LengthMeasure "MisuraDiLunghezza")	terms-it.txt 520-520
(termFormat JapaneseLanguage LengthMeasure "長さ測定")	japanese_format.kif 2665-2665
(termFormat PortugueseLanguage LengthMeasure "Medida de Comprimento")	portuguese_format.kif 933-933
(termFormat cz LengthMeasure "length measure")	terms-cz.txt 556-556
(termFormat de LengthMeasure "Laengemass")	terms-de.txt 815-815
(termFormat ro LengthMeasure "mãsurã de lungime")	relations-ro.kif 1002-1002
(termFormat tg LengthMeasure "sukat ng haba")	terms-tg.txt 521-521

appearance as argument number 3

(domain SpeedFn 1 LengthMeasure)	Merge.kif 6648-6648
(domain VelocityFn 1 LengthMeasure)	Merge.kif 6659-6659
(domain altitude 3 LengthMeasure)	Merge.kif 7746-7746
(domain approximateDiameter 2 LengthMeasure)	Mid-level-ontology.kif 19031-19031
(domain arcLength 2 LengthMeasure)	Mid-level-ontology.kif 5288-5288
(domain averageRainfallForPeriod 3 LengthMeasure)	Geography.kif 1301-1301
(domain caliber 2 LengthMeasure)	MilitaryDevices.kif 212-212
(domain circumference 2 LengthMeasure)	Mid-level-ontology.kif 32254-32254
(domain cylinderBore 2 LengthMeasure)	Cars.kif 1539-1539
(domain defaultMaximumHeight 2 LengthMeasure)	Mid-level-ontology.kif 14257-14257
(domain defaultMaximumLength 2 LengthMeasure)	Mid-level-ontology.kif 14323-14323
(domain defaultMaximumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 14377-14377
(domain defaultMaximumWidth 2 LengthMeasure)	Mid-level-ontology.kif 14290-14290
(domain defaultMinimumHeight 2 LengthMeasure)	Mid-level-ontology.kif 14241-14241
(domain defaultMinimumLength 2 LengthMeasure)	Mid-level-ontology.kif 14307-14307
(domain defaultMinimumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 14358-14358
(domain defaultMinimumWidth 2 LengthMeasure)	Mid-level-ontology.kif 14274-14274
(domain diameter 2 LengthMeasure)	Merge.kif 7702-7702
(domain distance 3 LengthMeasure)	Merge.kif 7724-7724
(domain effectiveRange 2 LengthMeasure)	Mid-level-ontology.kif 1381-1381
(domain elevation 2 LengthMeasure)	Geography.kif 1880-1880
(domain geometricDistance 3 LengthMeasure)	Merge.kif 18080-18080
(domain height 2 LengthMeasure)	Merge.kif 7561-7561
(domain highTide 3 LengthMeasure)	Geography.kif 5081-5081
(domain ladenDraft 2 LengthMeasure)	Transportation.kif 3205-3205

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (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 4142-4174
(=> (and (instance ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST ?U) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice))))))))	Cars.kif 2970-2996

consequent

(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure))	Merge.kif 6349-6353
(=> (and (instance ?A CoffeeGrindAttribute) (attribute ?C ?A) (instance ?C CoffeeGrind)) (exists (?L ?X) (and (grainSize ?C ?L) (instance ?X LengthMeasure) (equal ?X (MeasureFn ?L Millimeter)))))	Food.kif 1063-1073
(=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH))))	Transportation.kif 1377-1382
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH))))	Geography.kif 825-830

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: