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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FootLength
FootLength(foot length)
foot, ft

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


s__documentation(s__FootLength,s__ChineseLanguage,'"这是英制长度单位的英尺。"')

chinese_format.kif 2591-2591
s__documentation(s__FootLength,s__EnglishLanguage,'"English length unit of feet."')

Merge.kif 6972-6972
s__externalImage(s__FootLength,'"http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png"')

pictureList.kif 9233-9233
s__externalImage(s__FootLength,'"http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg"')

pictureList.kif 9232-9232
s__instance(s__UnitOfLength,s__Class)

s__instance(s__FootLength,s__UnitOfLength)

Merge.kif 6970-6970 Foot length is an instance of UnitOfLength

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__FootLength,'"脚长"')

domainEnglishFormat.kif 24609-24609
s__termFormat(s__ChineseTraditionalLanguage,s__FootLength,'"腳長"')

domainEnglishFormat.kif 24608-24608
s__termFormat(s__EnglishLanguage,s__FootLength,'"foot length"')

domainEnglishFormat.kif 24607-24607

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


( ! [V__N1,V__N2,V__N3,V__N4,V__QUANT] :
   (((s__instance(V__N1,s__RealNumber) &
         s__instance(V__N2,s__RealNumber) &
         s__instance(V__N3,s__RealNumber) &
         s__instance(V__N4,s__RealNumber) &
         s__instance(V__QUANT,s__Number) &
         s__instance(V__QUANT,s__PhysicalQuantity))
       =>
       ((((V__N4 = s__MultiplicationFn(V__N1,s__MultiplicationFn(V__N2,V__N3)))
         &
         (V__QUANT = s__MultiplicationFn(s__MeasureFn(V__N1,s__FootLength),s__MultiplicationFn(s__MeasureFn(V__N2,s__FootLength),s__MeasureFn(V__N3,s__FootLength)))))
   =>
   ((V__QUANT = s__MeasureFn(V__N4,s__CubicFoot))))))
)
)

Mid-level-ontology.kif 12974-12984
( ! [V__SZ,V__X] :
   (((s__instance(V__SZ,s__SurfZone) &
         s__instance(V__X,s__LengthMeasure) &
         s__significantWaveHeight(V__SZ,s__WhenFn(V__SZ)
      ,s__MeasureFn(V__X,s__FootLength))
     &
     s__greaterThan(V__X,n__8))
=>
(s__attribute(V__SZ,s__RedFlagSwimmingCondition)))
)
)

Weather.kif 1396-1404
( ! [V__DIST,V__TIME,V__PLACE,V__ZEPHYR,V__X] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__X,s__RealNumber))
       =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__instance(V__PLACE,s__Object) &
             s__partlyLocated(V__ZEPHYR,V__PLACE)
           &
           s__elevation(V__ZEPHYR,s__MeasureFn(V__X,s__FootLength))
         &
         s__lessThanOrEqualTo(V__X,n__500)
       &
       s__measure(V__ZEPHYR,s__SpeedFn(V__DIST,V__TIME)))
=>
(s__surfaceWindSpeed(V__PLACE,s__SpeedFn(V__DIST,V__TIME))))))
)
)

Weather.kif 148-157

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


( ! [V__TOP,V__SEA] :
   ((s__instance(V__TOP,s__SelfConnectedObject) =>
       (((s__instance(V__SEA,s__Sea) &
             s__top(V__TOP,V__SEA))
         =>
         (s__altitude(V__TOP,s__SeaLevel,s__MeasureFn(n__0,s__FootLength))))))
)
)

Geography.kif 4562-4566
( ! [V__ocean,V__top] :
   ((s__instance(V__top,s__SelfConnectedObject) =>
       (((s__instance(V__ocean,s__Ocean) &
             s__surface(V__top,V__ocean))
         =>
         (s__elevation(V__top,s__MeasureFn(n__0,s__FootLength))))))
)
)

Geography.kif 4624-4628
( ! [V__NUM] :
   ((s__instance(V__NUM,s__RealNumber) =>
       (((V__NUM = s__MultiplicationFn(n__1,V__NUM))
         =>
         ((s__MeasureFn(V__NUM,s__NauticalMile) = s__MeasureFn(s__MultiplicationFn(V__NUM,n__6076_1)
          ,s__FootLength))))))
)
)

Geography.kif 3758-3760
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       (((V__NUMBER = s__MultiplicationFn(n__1,V__NUMBER))
         =>
         ((s__MeasureFn(V__NUMBER,s__Fathom) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__6)
          ,s__FootLength))))))
)
)

Geography.kif 3722-3726
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       (((V__NUMBER = s__MultiplicationFn(n__1,V__NUMBER))
         =>
         ((s__MeasureFn(V__NUMBER,s__YardLength) = s__MeasureFn(s__MultiplicationFn(n__3,V__NUMBER)
          ,s__FootLength))))))
)
)

Mid-level-ontology.kif 18279-18283
( ! [V__HARBOR] :
   ((s__instance(V__HARBOR,s__DeepDraftHarbor) =>
       (s__navigableForDraft(V__HARBOR,s__MeasureFn(n__45,s__FootLength))))
   )
)

Transportation.kif 904-906
( ! [V__HS] :
   ((s__instance(V__HS,s__HeavySurf) =>
       (( ? [V__SZ, V__SWH] :
           ((s__instance(V__SWH,s__RealNumber) &
               (s__instance(V__SZ,s__SurfZone) &
                 s__eventLocated(V__HS,V__SZ)
               &
               s__significantWaveHeight(V__SZ,s__WhenFn(V__HS)
            ,s__MeasureFn(V__SWH,s__FootLength))
           &
           s__greaterThanOrEqualTo(V__SWH,n__13)))))))
)
)

Weather.kif 1556-1565
( ! [V__LCAC] :
   ((s__instance(V__LCAC,s__LCAC) =>
       ((s__length(V__LCAC,s__MeasureFn(n__88,s__FootLength))
         &
         s__effectiveRange(V__LCAC,s__MeasureFn(n__555,s__Kilometer)))))
)
)

MilitaryDevices.kif 1967-1973

statement
-------------------------


(s__MeasureFn(n__1,s__CubicFoot) = s__MultiplicationFn(s__MeasureFn(n__1,s__FootLength),s__MultiplicationFn(s__MeasureFn(n__1,s__FootLength),s__MeasureFn(n__1,s__FootLength))))

Mid-level-ontology.kif 12966-12972 1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(s)
(s__MeasureFn(n__1,s__Fathom) = s__MeasureFn(n__6,s__FootLength))

Geography.kif 3720-3720 1 Fathom(s) is equal to 6 foot length(s)
(s__MeasureFn(n__1,s__NauticalMile) = s__MeasureFn(n__6076_1,s__FootLength))

Geography.kif 3739-3739 1 Nautical mile(s) is equal to 6076.1 foot length(s)
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__FootLength) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__0_3048)
        ,s__Meter))))
   )
)

Merge.kif 6974-6976 A real number foot length(s) is equal to the real number and 0.3048 meter(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