length |
appearance as argument number 1 |
(documentation length ChineseLanguage "这是一个 BinaryPredicate,它是用来表示一个 Object最 长部分的幅度。") | chinese_format.kif 2643-2644 | |
(documentation length EnglishLanguage "BinaryPredicate that is used to state the measure of an Object along its longest span.") | Merge.kif 7560-7561 | |
(documentation length JapaneseLanguage "BinaryPredicate は、最も長いスパンに沿って Object のメジャーを述べるために使用される。") | japanese_format.kif 1360-1361 | |
(instance length BinaryPredicate) | Merge.kif 7558-7558 | length は 2進述語 の instance では %n |
(instance length SingleValuedRelation) | Merge.kif 7556-7556 | length は 一価関係 の instance では %n |
(subrelation length linearExtent) | Merge.kif 7557-7557 | length は linearExtent の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage length "%1 的 length %n 是 %2") | chinese_format.kif 613-613 | |
(format EnglishLanguage length "the length of %1 is %n %2") | english_format.kif 616-616 | |
(format FrenchLanguage length "le longueur de %1 est %n %2") | french_format.kif 371-371 | |
(format ItalianLanguage length "la lunghezza di %1 è %n %2") | relations-it.txt 162-162 | |
(format JapaneseLanguage length "%1 の length は %2 では %n ") | japanese_format.kif 2105-2105 | |
(format PortugueseLanguage length "o comprimento de %1 e' %n %2") | portuguese_format.kif 323-323 | |
(format cz length "d�lka %1 %p{je} %n{nen�} %2") | relations-cz.txt 380-380 | |
(format de length "die laenge von %1 ist %2 %n{nicht}") | relations-de.txt 803-803 | |
(format hi length "%1 kii lambaaii %2 %n hai") | relations-hindi.txt 201-201 | |
(format ro length "length%t{lungimea} lui %1 %n{nu} este %2") | relations-ro.kif 393-393 | |
(format sv length "längden av %1 är %n{inte} %2") | relations-sv.txt 412-412 | |
(format tg length "ang haba ng %1 %n ay %2") | relations-tg.txt 323-323 | |
(subrelation waterDepth length) | Mid-level-ontology.kif 17568-17568 | waterDepth は length の subrelation では %n |
(termFormat ChineseLanguage length "长度") | chinese_format.kif 614-614 | |
(termFormat EnglishLanguage length "length") | domainEnglishFormat.kif 65864-65864 | |
(termFormat tg length "haba") | relations-tg.txt 324-324 |
antecedent |
consequent |
(<=> (lengthOfBroadGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS BroadGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 182-189 | lengthOfBroadGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfCrudeOilPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE CrudeOilPipeline) (located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 712-719 | lengthOfCrudeOilPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfDualGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS DualGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 210-217 | lengthOfDualGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfElectrifiedRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS ElectrifiedRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 126-133 | lengthOfElectrifiedRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfExpresswaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Expressway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 568-575 | lengthOfExpresswaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfMultipleTrackRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS MultipleTrackRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 154-161 | lengthOfMultipleTrackRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfNarrowGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS NarrowGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 237-244 | lengthOfNarrowGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfNaturalGasPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE NaturalGasPipeline) (located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 735-742 | lengthOfNaturalGasPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfPavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS SurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 542-549 | lengthOfPavedHighway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfPetroleumProductPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE PetroleumProductPipeline) (located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 758-765 | lengthOfPetroleumProductPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfStandardGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS StandardGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 265-272 | lengthOfStandardGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (located ?RAILWAYS ?AREA) (not (instance ?RAILWAYS (UnionFn StandardGaugeRailway (UnionFn BroadGaugeRailway (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH)) |
Transportation.kif 294-306 | lengthOfUnclassifiedGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (lengthOfUnpavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS UnsurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 601-608 | lengthOfUnpavedHighway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 | totalLengthOfHighwaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (totalLengthOfRailwaySystem ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS Railway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 98-105 | totalLengthOfRailwaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 656-663 | totalLengthOfWaterways 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH)) |
Transportation.kif 685-692 | totalPipelineInArea 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 2438) (lessThanOrEqualTo ?LENGTH 3047))))) |
Transportation.kif 1445-1457 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 1524) (lessThanOrEqualTo ?LENGTH 2437))))) |
Transportation.kif 1426-1438 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 914) (lessThanOrEqualTo ?LENGTH 1523))))) |
Transportation.kif 1407-1419 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryLongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (greaterThan ?LENGTH 3047)))) |
Transportation.kif 1464-1474 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (lessThan ?LENGTH 914)))) |
Transportation.kif 1391-1400 | |
(=> (and (instance ?L Lengthening) (patient ?L ?O)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?L)) (length ?O (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?L)) (length ?O (MeasureFn ?L2 ?U))) (greaterThan ?L2 ?L1)))) |
Mid-level-ontology.kif 23805-23820 |
|
(=> (and (instance ?S Shortening) (patient ?S ?O)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?S)) (length ?O (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (length ?O (MeasureFn ?L2 ?U))) (greaterThan ?L1 ?L2)))) |
Mid-level-ontology.kif 17208-17223 |
|
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 31060-31065 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
(length (ShorelineFn SouthernOcean Antarctica) (MeasureFn 17968.0 (KiloFn Meter))) |
Geography.kif 4671-4674 | ShorelineFn SouthernOcean and Antarctica の length は 17968.0 の 1 の thousand Meters(s) では |