length - Sigma Knowledge base Browser

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 7561-7562
(documentation length JapaneseLanguage "BinaryPredicate は、最も長いスパンに沿って Object のメジャーを述べるために使用される。")	japanese_format.kif 1360-1361
(instance length BinaryPredicate)	Merge.kif 7559-7559	length is an instance of binary predicate
(instance length SingleValuedRelation)	Merge.kif 7557-7557	length is an instance of single valued relation
(subrelation length linearExtent)	Merge.kif 7558-7558	length is a subrelation of linear extent

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 17826-17826	water depth is a subrelation of length
(termFormat ChineseLanguage length "长度")	chinese_format.kif 614-614	water depth is a subrelation of length
(termFormat EnglishLanguage length "length")	domainEnglishFormat.kif 65917-65917	water depth is a subrelation of length
(termFormat tg length "haba")	relations-tg.txt 324-324	water depth is a subrelation of length

antecedent

(=> (and (instance ?CPR CPR) (instance ?C Compressing) (path ?C ?P) (subProcess ?C ?CPR) (length ?P (MeasureFn ?L Centimeter))) (and (greaterThan ?L 5.0) (lessThan ?L 6.0)))	Medicine.kif 620-630	If a process is an instance of cardio-pulmonary resuscitation and a motion is an instance of compressing and an object is path along which the motion occurs and the motion is a subprocess of the process and the length of the object is a real number centimeter(s), then the real number is greater than 5.0 and the real number is less than 6.0
(=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5))	Anatomy.kif 1567-1574	If an object is an instance of auditory canal and the object is a part of another object and healthy is an attribute of the other object and the length of the object is a real number centimeter(s), then the approximate value of the real number is 2.5
(=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 35.0))	Anatomy.kif 1517-1524	If an object is an instance of Eustachian tube and the object is a part of another object and healthy is an attribute of the other object and the length of the object is a real number centimeter(s), then the approximate value of the real number is 35.0
(=> (and (instance ?MC MuscleRelaxing) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 10773-10788	If a process is an instance of muscle relaxing and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the other real number is greater than the real number
(=> (and (instance ?MC MuscularContraction) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N1 ?N2))	Mid-level-ontology.kif 10751-10766	If a process is an instance of muscular contraction and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
(=> (and (path ?PROCESS ?PATH1) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST) (length ?PATH1 (MeasureFn ?MEASURE1 ?U)) (distance ?SOURCE ?DEST (MeasureFn ?DISTANCE ?U)) (not (greaterThan ?MEASURE1 ?DISTANCE)) (part ?OBJ ?PATH1)) (between ?SOURCE ?OBJ ?DEST))	Merge.kif 11116-11126	If an object is path along which a motion occurs and the motion originates at another object and the motion ends up at a third object and the length of the object is a real number an unit of measure(s) and the distance between the other object and the third object is another real number the unit of measure(s) and the real number is not greater than the other real number and a fourth object is a part of the object, then the fourth object is between the other object and the third object
(=> (and (relativeAngle ?O1 ?O2 ?N) (physicalEnd ?E1 ?O1) (physicalEnd ?E2 ?O1) (not (equal ?E1 ?E2)) (length ?O1 (MeasureFn ?N1 ?U)) (length ?O2 (MeasureFn ?N2 ?U)) (distance ?E1 ?E3 (MeasureFn ?N3 ?U)) (physicalEnd ?E3 ?O2) (physicalEnd ?E4 ?O2) (not (equal ?E3 ?E4)) (not (meetsSpatially ?E1 ?E3))) (equal ?N (ArcCosineFn (DivisionFn (SubtractionFn (SubtractionFn (MultiplicationFn ?N3 ?N3) (MultiplicationFn ?N1 ?N1)) (MultiplicationFn ?N2 ?N2)) (MultiplicationFn 2.0 (MultiplicationFn ?N1 ?N2))))))	Merge.kif 17985-18010	If the relative angle between an object and another object is a real number and one end of the object is a third object and one end of the object is a fourth object and the third object is not equal to the fourth object and the length of the object is the real number1 an unit of measure(s) and the length of the other object is the real number2 the unit of measure(s) and the distance between the third object and a fifth object is the real number3 the unit of measure(s) and one end of the other object is the fifth object and one end of the other object is a sixth object and the fifth object is not equal to the sixth object and the third object doesn't meet the fifth object, then the real number is equal to the arccosine of ((the real number3 and the real number3 and the real number1 and the real number1) and the real number2 and the real number2) and 2.0 and the real number1 and the real number2
(=> (length ?O (MeasureFn ?M ?U)) (not (exists (?M2) (and (linearExtent ?O (MeasureFn ?M2 ?U)) (greaterThan ?M2 ?M)))))	Merge.kif 7564-7572	If the length of a physical is a real number an unit of measure(s), then there doesn't exist the real number2 such that the linear extent of the physical is the real number2 the unit of measure(s) and the real number2 is greater than the real number

consequent

(<=> (lengthOfBroadGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS BroadGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 182-189	A length measure is a length of broad gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfCrudeOilPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE CrudeOilPipeline) (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 712-719	A length measure is a length of crude oil pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfDualGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS DualGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 210-217	A length measure is a length of dual gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfElectrifiedRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS ElectrifiedRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 126-133	A length measure is a length of electrified railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfExpresswaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Expressway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 568-575	A length measure is a length of expressway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfMultipleTrackRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS MultipleTrackRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 154-161	A length measure is a length of multiple track railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfNarrowGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS NarrowGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 237-244	A length measure is a length of narrow gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfNaturalGasPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE NaturalGasPipeline) (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 735-742	A length measure is a length of natural gas pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfPavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS SurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 542-549	A length measure is a length of paved highway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfPetroleumProductPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE PetroleumProductPipeline) (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 758-765	A length measure is a length of petroleum product pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfStandardGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS StandardGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 265-272	A length measure is a length of standard gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (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	A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfUnpavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS UnsurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 601-608	A length measure is a length of unpaved highway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 484-491	A length measure is a total length of highway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (totalLengthOfRailwaySystem ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS Railway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 98-105	A length measure is a total length of railway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))	Transportation.kif 656-663	A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH))	Transportation.kif 685-692	A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=> (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 1574-1586	If an object is an instance of airport and long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 2438 or the real number is less than or equal to 3047
(=> (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 1555-1567	If an object is an instance of airport and medium length runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 1524 or the real number is less than or equal to 2437
(=> (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 1536-1548	If an object is an instance of airport and short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 914 or the real number is less than or equal to 1523
(=> (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 1593-1603	If an object is an instance of airport and very long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than 3047
(=> (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 1520-1529	If an object is an instance of airport and very short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is less than 914
(=> (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 24093-24108	If a process is an instance of lengthening and an entity is a patient of the process, then there exist the process1, the process2 and another entity such that the other entity is an instance of unit of length and the length of the entity is the process1 the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the process2 the other entity(s) holds during the end of the time of existence of the process and the process2 is greater than the process1
(=> (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 17466-17481	If a process is an instance of shortening and an entity is a patient of the process, then there exist a real number, another real number and another entity such that the other entity is an instance of unit of length and the length of the entity is the real number the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the other real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 31317-31322	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the length of the physical is the length measure

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

The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s)

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: