LengthMeasure![]() | ![]() |
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 6269-6270 | |
(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 6267-6267 |
appearance as argument number 2 |
![]() |
(range DatumFn LengthMeasure) | Geography.kif 5079-5079 | |
(range DiameterFn LengthMeasure) | Mid-level-ontology.kif 5568-5568 | |
(range RadiusFn LengthMeasure) | Mid-level-ontology.kif 5587-5587 | |
(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 6682-6682 | |
(domain VelocityFn 1 LengthMeasure) | Merge.kif 6693-6693 | |
(domain altitude 3 LengthMeasure) | Merge.kif 7786-7786 | |
(domain approximateDiameter 2 LengthMeasure) | Mid-level-ontology.kif 19513-19513 | |
(domain arcLength 2 LengthMeasure) | Mid-level-ontology.kif 5676-5676 | |
(domain averageRainfallForPeriod 3 LengthMeasure) | Geography.kif 1438-1438 | |
(domain circumference 2 LengthMeasure) | Mid-level-ontology.kif 33076-33076 | |
(domain cylinderBore 2 LengthMeasure) | Cars.kif 1539-1539 | |
(domain defaultMaximumHeight 2 LengthMeasure) | Mid-level-ontology.kif 14700-14700 | |
(domain defaultMaximumLength 2 LengthMeasure) | Mid-level-ontology.kif 14766-14766 | |
(domain defaultMaximumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 14820-14820 | |
(domain defaultMaximumWidth 2 LengthMeasure) | Mid-level-ontology.kif 14733-14733 | |
(domain defaultMinimumHeight 2 LengthMeasure) | Mid-level-ontology.kif 14684-14684 | |
(domain defaultMinimumLength 2 LengthMeasure) | Mid-level-ontology.kif 14750-14750 | |
(domain defaultMinimumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 14801-14801 | |
(domain defaultMinimumWidth 2 LengthMeasure) | Mid-level-ontology.kif 14717-14717 | |
(domain depth 3 LengthMeasure) | Merge.kif 7810-7810 | |
(domain diameter 2 LengthMeasure) | Merge.kif 7742-7742 | |
(domain distance 3 LengthMeasure) | Merge.kif 7764-7764 | |
(domain distanceOfParallelLinesInSpace 3 LengthMeasure) | Mid-level-ontology.kif 27359-27359 | |
(domain effectiveRange 2 LengthMeasure) | Mid-level-ontology.kif 1605-1605 | |
(domain elevation 2 LengthMeasure) | Geography.kif 2017-2017 | |
(domain geometricDistance 3 LengthMeasure) | Merge.kif 18162-18162 | |
(domain height 2 LengthMeasure) | Merge.kif 7599-7599 | |
(domain highTide 3 LengthMeasure) | Geography.kif 5233-5233 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure)) |
Merge.kif 6383-6387 | |
(=> (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 1064-1074 | |
(=> (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 962-967 |
![]() |
![]() |