Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - length
length

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9913-9928
( ! [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
( ! [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
( ! [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

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
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23099-23114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16482-16497
( ! [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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25