length - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__length__m,s__ChineseLanguage,'"这是一个 BinaryPredicate，它是用来表示一个 Object最长部分的幅度。"')	chinese_format.kif 2643-2644
s__documentation(s__length__m,s__EnglishLanguage,'"BinaryPredicate that is used to state the measure of an Object along its longest span."')	Merge.kif 7348-7349
s__instance(s__BinaryPredicate,s__Class) s__instance(s__length__m,s__BinaryPredicate)	Merge.kif 7346-7346	length is an instance of binary predicate
s__instance(s__SingleValuedRelation,s__Class) s__instance(s__length__m,s__SingleValuedRelation)	Merge.kif 7344-7344	length is an instance of single valued relation
s__subrelation(s__length__m,s__linearExtent__m)	Merge.kif 7345-7345	length is a subrelation of linearExtent

appearance as argument number 2

s__format(s__ChineseLanguage,s__length__m,'"%1 的 length %n 是 %2"')	chinese_format.kif 613-613
s__format(s__EnglishLanguage,s__length__m,'"the length of %1 is %n %2"')	english_format.kif 616-616
s__subrelation(s__waterDepth__m,s__length__m)	Mid-level-ontology.kif 16840-16840	water depth is a subrelation of length
s__termFormat(s__ChineseLanguage,s__length__m,'"长度"')	chinese_format.kif 614-614

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9935-9950	If a process is an instance of MuscleRelaxing 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 quantity another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another quantity the other entity(s) holds during immediately after the time of existence of the process, then the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9913-9928	If a process is an instance of MuscularContraction 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 quantity another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another quantity the other entity(s) holds during immediately after the time of existence of the process, then the quantity is greater than the other quantity
( ! [V__SOURCE,V__PROCESS,V__DEST,V__MEASURE1,V__PATH1,V__DISTANCE] : (((s__instance(V__SOURCE,s__Object) & s__instance(V__PROCESS,s__Motion) & s__instance(V__DEST,s__Object) & s__instance(V__MEASURE1,s__Quantity) & s__instance(V__PATH1,s__Object) & s__instance(V__DISTANCE,s__LengthMeasure)) => (((s__path(V__PROCESS,V__PATH1) & s__origin(V__PROCESS,V__SOURCE) & s__destination(V__PROCESS,V__DEST) & s__length(V__PATH1,V__MEASURE1) & s__distance(V__SOURCE,V__DEST,V__DISTANCE) & ~(s__greaterThan(V__MEASURE1,V__DISTANCE))) => (( ! [V__OBJ] : ((s__instance(V__OBJ,s__Object) => ((s__part(V__OBJ,V__PATH1) => (s__between(V__SOURCE,V__OBJ,V__DEST))))))))))) ) )	Merge.kif 10649-10660	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
( ! [V__O1,V__O2,V__N1,V__N2,V__N3,V__U,V__E1,V__E2,V__E3,V__E4,V__N] : (((s__instance(V__O1,s__Object) & s__instance(V__O2,s__Object) & s__instance(V__N1,s__RealNumber) & s__instance(V__N2,s__RealNumber) & s__instance(V__N3,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__E1,s__Object) & s__instance(V__E2,s__Object) & s__instance(V__E3,s__Object) & s__instance(V__E4,s__Object) & s__instance(V__N,s__RealNumber)) => (((s__relativeAngle(V__O1,V__O2,s__MeasureFn(V__N,s__AngularDegree)) & s__physicalEnd(V__E1,V__O1) & s__physicalEnd(V__E2,V__O1) & ~((V__E1 = V__E2)) & s__length(V__O1,s__MeasureFn(V__N1,V__U)) & s__length(V__O2,s__MeasureFn(V__N2,V__U)) & s__distance(V__E1,V__E3,s__MeasureFn(V__N3,V__U)) & s__physicalEnd(V__E3,V__O2) & s__physicalEnd(V__E4,V__O2) & ~((V__E3 = V__E4)) & ~(s__meetsSpatially(V__E1,V__E3))) => ((V__N = s__ArcCosineFn(s__DivisionFn(s__SubtractionFn(s__SubtractionFn(s__MultiplicationFn(V__N3,V__N3) ,s__MultiplicationFn(V__N1,V__N1)) ,s__MultiplicationFn(V__N2,V__N2)) ,s__MultiplicationFn(n__2,s__MultiplicationFn(V__N1,V__N2))))))))) ) )	Merge.kif 17201-17227	If the relative angle between an object and another object is a real number angular degree(s) 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 and the real number1 and the real number2
( ! [V__O,V__M] : (((s__instance(V__O,s__Physical) & s__instance(V__M,s__Quantity)) => ((s__length(V__O,V__M) => (~(( ? [V__M2] : ((s__instance(V__M2,s__LengthMeasure) & (s__linearExtent(V__O,V__M2) & s__greaterThan(V__M2,V__M)))))))))) ) )	Merge.kif 7351-7357	If the length of a physical is a quantity, then there doesn't exist the quantity2 such that the linear extent of the physical is the quantity2 and the quantity2 is greater than the quantity

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__AIRPORT] : (((s__instance(V__AIRPORT,s__Airport) & s__attribute(V__AIRPORT,s__LongRunwayAirport)) => (( ? [V__RUNWAY, V__LENGTH] : ((s__instance(V__LENGTH,s__RealNumber) & (s__instance(V__RUNWAY,s__Runway) & s__part(V__RUNWAY,V__AIRPORT) & s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter)) & (s__greaterThanOrEqualTo(V__LENGTH,n__2438) \| s__lessThanOrEqualTo(V__LENGTH,n__3047)))))))) ) )	Transportation.kif 1445-1457	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
( ! [V__AIRPORT] : (((s__instance(V__AIRPORT,s__Airport) & s__attribute(V__AIRPORT,s__MediumLengthRunwayAirport)) => (( ? [V__RUNWAY, V__LENGTH] : ((s__instance(V__LENGTH,s__RealNumber) & (s__instance(V__RUNWAY,s__Runway) & s__part(V__RUNWAY,V__AIRPORT) & s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter)) & (s__greaterThanOrEqualTo(V__LENGTH,n__1524) \| s__lessThanOrEqualTo(V__LENGTH,n__2437)))))))) ) )	Transportation.kif 1426-1438	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
( ! [V__AIRPORT] : (((s__instance(V__AIRPORT,s__Airport) & s__attribute(V__AIRPORT,s__ShortRunwayAirport)) => (( ? [V__RUNWAY, V__LENGTH] : ((s__instance(V__LENGTH,s__RealNumber) & (s__instance(V__RUNWAY,s__Runway) & s__part(V__RUNWAY,V__AIRPORT) & s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter)) & (s__greaterThanOrEqualTo(V__LENGTH,n__914) \| s__lessThanOrEqualTo(V__LENGTH,n__1523)))))))) ) )	Transportation.kif 1407-1419	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
( ! [V__AIRPORT] : (((s__instance(V__AIRPORT,s__Airport) & s__attribute(V__AIRPORT,s__VeryLongRunwayAirport)) => (( ? [V__RUNWAY, V__LENGTH] : ((s__instance(V__LENGTH,s__RealNumber) & (s__instance(V__RUNWAY,s__Runway) & s__part(V__RUNWAY,V__AIRPORT) & s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter)) & s__greaterThan(V__LENGTH,n__3047))))))) ) )	Transportation.kif 1464-1474	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
( ! [V__AIRPORT] : (((s__instance(V__AIRPORT,s__Airport) & s__attribute(V__AIRPORT,s__VeryShortRunwayAirport)) => (( ? [V__RUNWAY, V__LENGTH] : ((s__instance(V__LENGTH,s__RealNumber) & (s__instance(V__RUNWAY,s__Runway) & s__part(V__RUNWAY,V__AIRPORT) & s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter)) & s__lessThan(V__LENGTH,n__914))))))) ) )	Transportation.kif 1391-1400	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23099-23114	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 UnitOfLength 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16482-16497	If a process is an instance of shortening and an entity is a patient of the process, then there exist a quantity, another quantity and another entity such that the other entity is an instance of UnitOfLength and the length of the entity is the quantity 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 quantity the other entity(s) holds during the end of the time of existence of the process and the quantity is greater than the other quantity
( ! [V__O,V__Q,V__S,V__M] : (((s__instance(V__O,s__Physical) & s__instance(V__Q,s__Quantity) & s__instance(V__M,s__MeasurementAttribute)) => (((s__memberMeasure(V__S,V__M,V__Q) & s__instance(V__S,s__Set) & s__member(V__O,V__S)) => (s__length(V__O,V__Q))))) ) )	Mid-level-ontology.kif 30290-30295	If members of a collection have the measure a quantity in terms of a measurement attribute and the collection is an instance of set and a physical is a member of the collection, then the length of the physical is the quantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

s__length(s__ShorelineFn(s__SouthernOcean,s__Antarctica),s__MeasureFn(n__17968,s__KiloFn(s__Meter)))

Geography.kif 4478-4478

The length of the shoreline of southern ocean and antarctica is 17968 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: