TreeView 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 7215-7216
(instance length BinaryPredicate)	Merge.kif 7213-7213	length is an instance of binary predicate
(instance length SingleValuedRelation)	Merge.kif 7211-7211	length is an instance of single valued relation
(subrelation length linearExtent)	Merge.kif 7212-7212	length is a subrelation of linearExtent

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 619-619
(subrelation waterDepth length)	Mid-level-ontology.kif 15153-15153	water depth is a subrelation of length
(termFormat ChineseLanguage length "长度")	chinese_format.kif 614-614

antecedent

(=> (and (path ?PROCESS ?PATH1) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST) (length ?PATH1 ?MEASURE1) (distance ?SOURCE ?DEST ?DISTANCE) (not (greaterThan ?MEASURE1 ?DISTANCE))) (forall (?OBJ) (=> (part ?OBJ ?PATH1) (between ?SOURCE ?OBJ ?DEST))))	Merge.kif 10372-10383	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 quantity and the distance between the other object and the third object is a length measure and the quantity is not greater than the length measure, then for all a fourth object if the fourth object is a part of the object, then the fourth object is between the other object and the third object
(=> (length ?O ?M) (not (exists (?M2) (and (linearExtent ?O ?M2) (greaterThan ?M2 ?M)))))	Merge.kif 7218-7224	If the length of an object is a quantity, then there doesn't exist the quantity2 such that the linear extent of the object is the quantity2 and the quantity2 is greater than the quantity

consequent

(<=> (lengthOfBroadGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS BroadGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 179-186	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 701-708	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 207-214	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 125-132	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 558-565	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 152-159	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 234-241	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 724-731	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 532-539	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 747-754	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 262-269	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 291-303	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 590-597	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 478-485	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 645-652	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 674-681	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 ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 2438 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 3047 Meter))))))	Transportation.kif 1432-1443	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 quantity 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 quantity and the quantity is greater than or equal to 2438 meter(s) or the quantity is less than or equal to 3047 meter(s)
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 1524 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 2437 Meter))))))	Transportation.kif 1414-1425	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 quantity 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 quantity and the quantity is greater than or equal to 1524 meter(s) or the quantity is less than or equal to 2437 meter(s)
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (or (greaterThanOrEqualTo ?LENGTH (MeasureFn 914 Meter)) (lessThanOrEqualTo ?LENGTH (MeasureFn 1523 Meter))))))	Transportation.kif 1396-1407	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 quantity 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 quantity and the quantity is greater than or equal to 914 meter(s) or the quantity is less than or equal to 1523 meter(s)
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryLongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (greaterThan ?LENGTH (MeasureFn 3047 Meter)))))	Transportation.kif 1450-1459	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 quantity 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 quantity and the quantity is greater than 3047 meter(s)
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY ?LENGTH) (lessThan ?LENGTH (MeasureFn 914 Meter)))))	Transportation.kif 1380-1389	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 quantity 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 quantity and the quantity is less than 914 meter(s)
(=> (and (instance ?L Lengthening) (patient ?L ?O)) (exists (?L1 ?L2) (and (holdsDuring (BeginFn (WhenFn ?L)) (length ?O ?L1)) (holdsDuring (EndFn (WhenFn ?L)) (length ?O ?L2)) (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 21776-21788	If a process is an instance of lengthening and an entity is a patient of the process, then there exist the process1 and the process2 such that the length of the entity is the process1 holds during the beginning of the time of existence of the process and the length of the entity is the process2 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) (and (holdsDuring (BeginFn (WhenFn ?S)) (length ?O ?L1)) (holdsDuring (EndFn (WhenFn ?S)) (length ?O ?L2)) (greaterThan ?L1 ?L2))))	Mid-level-ontology.kif 14802-14814	If a process is an instance of shortening and an entity is a patient of the process, then there exist a quantity and another quantity such that the length of the entity is the quantity holds during the beginning of the time of existence of the process and the length of the entity is the other quantity holds during the end of the time of existence of the process and the quantity is greater than the other quantity
(=> (attribute ?F LongAndThin) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (length ?F (MeasureFn ?HF ?U)) (length ?S1 (MeasureFn ?H1 ?U)) (length ?S2 (MeasureFn ?H2 ?U)) (lessThan ?H1 (MultiplicationFn 3 ?HF)) (lessThan ?H2 (MultiplicationFn 3 ?HF))))	Mid-level-ontology.kif 3277-3288	If long and thin is an attribute of a self connected object, then a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the length of the self connected object is a real number an unit of measure(s) and the length of the other self connected object is another real number the unit of measure(s) and the length of the third self connected object is a third real number the unit of measure(s) and the other real number is less than 3 and the real number and the third real number is less than 3 and the real number

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
        (KiloFn Meter)))

Geography.kif 4393-4393

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: