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

Formal Language: 



KB Term:  Term intersection
English Word: 

  length

Sigma KEE - length
length

appearance as argument number 1
-------------------------


s__documentation(s__length__m,s__ChineseLanguage,'这是一个 BinaryPredicate,它是用来表示一个 Object最 长部分的幅度。')

Merge.kif 7797-7798
s__documentation(s__length__m,s__EnglishLanguage,'BinaryPredicate that is used to state the measure of an Object along its longest span.')

Merge.kif 7795-7796
s__instance(s__length__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 7793-7793 length is an instance of single valued relation
s__subrelation(s__length__m,s__linearExtent__m)

Merge.kif 7794-7794 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 382-382
s__subrelation(s__waterDepth__m,s__length__m)

Mid-level-ontology.kif 15125-15125 water depth is a subrelation of length
s__termFormat(s__ChineseLanguage,s__length__m,'长度')

chinese_format.kif 614-614 "长度" is the printable form of length in ChineseLanguage

antecedent
-------------------------


( ∀ [V__SOURCE,V__PROCESS,V__DEST,V__MEASURE1,V__PATH1,V__DISTANCE]
   ((s__instance(V__SOURCE,s__Object)s__and__ms__instance(V__PROCESS,s__Motion)s__and__ms__instance(V__DEST,s__Object)s__and__ms__instance(V__MEASURE1,s__Quantity)s__and__ms__instance(V__PATH1,s__Object)s__and__ms__instance(V__DISTANCE,s__LengthMeasure))
    s__=>((s__path(V__PROCESS,V__PATH1)
      s__and__ms__origin(V__PROCESS,V__SOURCE)
    s__and__ms__destination(V__PROCESS,V__DEST)
  s__and__ms__length(V__PATH1,V__MEASURE1)
s__and__ms__distance(V__SOURCE,V__DEST,V__DISTANCE)
s__and__m(s__not__ms__greaterThan(V__MEASURE1,V__DISTANCE)))
s__=>(s__forall__m[V__OBJ]
(s__instance(V__OBJ,s__Object)s__=>(s__part(V__OBJ,V__PATH1)
s__=>s__between(V__SOURCE,V__OBJ,V__DEST))))))
)

Merge.kif 11044-11055
( ∀ [V__O,V__M]
   ((s__instance(V__O,s__Object)s__and__ms__instance(V__M,s__Quantity))
    s__=>(s__length(V__O,V__M)
    s__=>(s__not__m(s__exists__m[V__M2]
       (s__instance(V__M2,s__LengthMeasure)s__and__m(s__linearExtent(V__O,V__M2)
      s__and__ms__greaterThan(V__M2,V__M)))))))
)

Merge.kif 7799-7805

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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
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 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
No TPTP formula. May not be expressible in strict first order. 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
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__LongRunwayAirport))
    s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
       (s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
      s__and__ms__length(V__RUNWAY,V__LENGTH)
    s__and__m(s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(2438,s__Meter))
  s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(3047,s__Meter)))))))
)

Transportation.kif 1417-1428
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
    s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
       (s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
      s__and__ms__length(V__RUNWAY,V__LENGTH)
    s__and__m(s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(1524,s__Meter))
  s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(2437,s__Meter)))))))
)

Transportation.kif 1399-1410
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__ShortRunwayAirport))
    s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
       (s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
      s__and__ms__length(V__RUNWAY,V__LENGTH)
    s__and__m(s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(914,s__Meter))
  s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(1523,s__Meter)))))))
)

Transportation.kif 1381-1392
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__VeryLongRunwayAirport))
    s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
       (s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
      s__and__ms__length(V__RUNWAY,V__LENGTH)
    s__and__ms__greaterThan(V__LENGTH,s__MeasureFn(3047,s__Meter))))))
)

Transportation.kif 1435-1444
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__VeryShortRunwayAirport))
    s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
       (s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
      s__and__ms__length(V__RUNWAY,V__LENGTH)
    s__and__ms__lessThan(V__LENGTH,s__MeasureFn(914,s__Meter))))))
)

Transportation.kif 1365-1374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21732-21744
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14774-14786
( ∀ [V__U,V__F,V__H1,V__H2,V__S1,V__HF,V__S2]
   ((s__instance(V__U,s__UnitOfMeasure)s__and__ms__instance(V__F,s__SelfConnectedObject)s__and__ms__instance(V__H1,s__RealNumber)s__and__ms__instance(V__H2,s__RealNumber)s__and__ms__instance(V__S1,s__SelfConnectedObject)s__and__ms__instance(V__HF,s__RealNumber)s__and__ms__instance(V__S2,s__SelfConnectedObject))
    s__=>(s__attribute(V__F,s__LongAndThin)s__=>(s__side(V__S1,V__F)
      s__and__ms__side(V__S2,V__F)
    s__and__ms__meetsSpatially(V__S1,V__S2)
  s__and__m(s__not__m(V__S1s__equal__mV__S2))
s__and__ms__length(V__F,s__MeasureFn(V__HF,V__U))
s__and__ms__length(V__S1,s__MeasureFn(V__H1,V__U))
s__and__ms__length(V__S2,s__MeasureFn(V__H2,V__U))
s__and__ms__lessThan(V__H1,s__MultiplicationFn(3,V__HF))
s__and__ms__lessThan(V__H2,s__MultiplicationFn(3,V__HF)))))
)

Mid-level-ontology.kif 3276-3287

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners