|
|
   LengthMeasure
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LengthMeasure ChineseLanguage "这是 ConstantQuantity 的 subclass，它的实例 都是用来量度长度的。") | Merge.kif 6372-6373 | |
| (documentation LengthMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of length.") | Merge.kif 6370-6371 | |
| (externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 8574-8574 | |
| (subclass LengthMeasure ConstantQuantity) | Merge.kif 6369-6369 |
| appearance as argument number 2 |
|
|
| (range DatumFn LengthMeasure) | Geography.kif 4531-4531 | |
| (range DiameterFn LengthMeasure) | Mid-level-ontology.kif 5252-5252 | |
| (range RadiusFn LengthMeasure) | Mid-level-ontology.kif 5266-5266 | |
| (subclass AltitudeMeasure LengthMeasure) | MilitaryDevices.kif 1497-1497 | |
| (termFormat ChineseLanguage LengthMeasure "长度测量") | chinese_format.kif 1303-1303 | |
| (termFormat EnglishLanguage LengthMeasure "length measure") | english_format.kif 990-990 | |
| (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 518-518 | |
| (termFormat PortugueseLanguage LengthMeasure "Medida de Comprimento") | portuguese_format.kif 933-933 | |
| (termFormat cz LengthMeasure "length measure") | terms-cz.txt 556-556 | |
| (termFormat tg LengthMeasure "sukat ng haba") | terms-tg.txt 521-521 |
| appearance as argument number 3 |
|
|
| (domain SpeedFn 1 LengthMeasure) | Merge.kif 6854-6854 | |
| (domain VelocityFn 1 LengthMeasure) | Merge.kif 6867-6867 | |
| (domain approximateDiameter 2 LengthMeasure) | Geography.kif 6420-6420 | |
| (domain averageRainfallForPeriod 3 LengthMeasure) | Geography.kif 1279-1279 | |
| (domain caliber 2 LengthMeasure) | MilitaryDevices.kif 211-211 | |
| (domain cylinderBore 2 LengthMeasure) | Cars.kif 1531-1531 | |
| (domain defaultMaximumHeight 2 LengthMeasure) | Mid-level-ontology.kif 10973-10973 | |
| (domain defaultMaximumLength 2 LengthMeasure) | Mid-level-ontology.kif 11033-11033 | |
| (domain defaultMaximumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 11082-11082 | |
| (domain defaultMaximumWidth 2 LengthMeasure) | Mid-level-ontology.kif 11003-11003 | |
| (domain defaultMinimumHeight 2 LengthMeasure) | Mid-level-ontology.kif 10958-10958 | |
| (domain defaultMinimumLength 2 LengthMeasure) | Mid-level-ontology.kif 11018-11018 | |
| (domain defaultMinimumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 11065-11065 | |
| (domain defaultMinimumWidth 2 LengthMeasure) | Mid-level-ontology.kif 10988-10988 | |
| (domain diameter 2 LengthMeasure) | Merge.kif 7849-7849 | |
| (domain distance 3 LengthMeasure) | Merge.kif 7868-7868 | |
| (domain effectiveRange 2 LengthMeasure) | Mid-level-ontology.kif 1772-1772 | |
| (domain elevation 2 LengthMeasure) | Geography.kif 1833-1833 | |
| (domain geometricDistance 3 LengthMeasure) | Merge.kif 18315-18315 | |
| (domain height 2 LengthMeasure) | Merge.kif 7775-7775 | |
| (domain highTide 3 LengthMeasure) | Geography.kif 4680-4680 | |
| (domain ladenDraft 2 LengthMeasure) | Transportation.kif 2591-2591 | |
| (domain lengthLimit 2 LengthMeasure) | Robot.kif 53-53 | |
| (domain lengthOfBroadGaugeRailway 2 LengthMeasure) | Transportation.kif 172-172 | |
| (domain lengthOfCrudeOilPipeline 2 LengthMeasure) | Transportation.kif 668-668 | |
| 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)) (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 4047-4077 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure)) |
Merge.kif 6502-6506 | |
| (=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH)))) |
Transportation.kif 1252-1257 | |
| (=> (instance ?X RadiatingXRay) (exists (?M) (and (instance ?M LengthMeasure) (wavelength ?X ?M) (greaterThanOrEqualTo ?X (MeasureFn 0.01 Nanometer)) (greaterThan (MeasureFn 10 Nanometer) ?X)))) |
Mid-level-ontology.kif 792-801 | |
| (=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH)))) |
Geography.kif 822-827 |
|
|
|
