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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KnotUnitOfSpeed
KnotUnitOfSpeed(knot unit of speed)

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


s__documentation(s__KnotUnitOfSpeed,s__EnglishLanguage,'"KnotUnitOfSpeed is a unit for measuring speed. One KnotUnitOfSpeed is equal to one NauticalMile per one HourDuration."')

Geography.kif 3770-3772
s__instance(s__CompositeUnitOfMeasure,s__Class)

s__instance(s__KnotUnitOfSpeed,s__CompositeUnitOfMeasure)

Geography.kif 3769-3769 Knot unit of speed is an instance of CompositeUnitOfMeasure

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


s__abbreviation('"kt"',s__KnotUnitOfSpeed)

Geography.kif 3767-3767 "kt" is an abbreviation of knot unit of speed
s__names('"knot"',s__KnotUnitOfSpeed)

Geography.kif 3766-3766 Knot unit of speed has name "knot"
s__termFormat(s__ChineseLanguage,s__KnotUnitOfSpeed,'"结速度单位"')

domainEnglishFormat.kif 32706-32706
s__termFormat(s__ChineseTraditionalLanguage,s__KnotUnitOfSpeed,'"結速度單位"')

domainEnglishFormat.kif 32705-32705
s__termFormat(s__EnglishLanguage,s__KnotUnitOfSpeed,'"knot unit of speed"')

domainEnglishFormat.kif 32704-32704

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


( ! [V__SPEED,V__PLACE,V__ZEPHYR] :
   ((s__instance(V__SPEED,s__RealNumber) =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__instance(V__PLACE,s__Object) &
             s__partlyLocated(V__ZEPHYR,V__PLACE)
           &
           s__measure(V__ZEPHYR,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed)))
       =>
       (s__surfaceWindSpeed(V__PLACE,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed))))))
)
)

Weather.kif 159-165
( ! [V__FLUID,V__NUM,V__PART] :
   (((s__instance(V__FLUID,s__Substance) &
         s__instance(V__FLUID,s__FlowRegion) &
         s__instance(V__NUM,s__RealNumber) &
         s__instance(V__PART,s__Substance))
       =>
       (((s__measure(s__FlowFn(V__FLUID)
          ,s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))
         &
         s__piece(V__PART,V__FLUID))
     =>
     (s__piece(V__PART,s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))))))
)
)

Geography.kif 4691-4695
( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       (((V__SPEED = s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))
           =>
           ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__NauticalMile),s__MeasureFn(n__1,s__HourDuration)))))))
   )
)

Geography.kif 3778-3780

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


( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((s__instance(V__STRONG,s__RealNumber) &
             (s__instance(V__A1,s__LandArea) &
               s__eventLocated(V__WIND,V__A1)
             &
             s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed))
           &
           s__greaterThan(V__STRONG,n__30)
         &
         s__instance(V__TRANSLOCATE,s__Translocation) &
         s__subProcess(V__TRANSLOCATE,V__DUSTSTORM)
       &
       s__objectTransferred(V__TRANSLOCATE,V__PM)
     &
     s__objectTransferred(V__TRANSLOCATE,V__SAND)
   &
   s__instance(V__PM,s__ParticulateMatter) &
   s__instance(V__SAND,s__Sand) &
   s__instance(V__A2,s__LandArea) &
   s__destination(V__TRANSLOCATE,V__A2)
&
~(s__overlapsSpatially(V__A1,V__A2))))))))
)
)

Weather.kif 1273-1294
( ! [V__SPEED,V__PLACE,V__ZEPHYR] :
   ((s__instance(V__SPEED,s__RealNumber) =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__instance(V__PLACE,s__Object) &
             s__partlyLocated(V__ZEPHYR,V__PLACE)
           &
           s__measure(V__ZEPHYR,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed)))
       =>
       (s__surfaceWindSpeed(V__PLACE,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed))))))
)
)

Weather.kif 159-165
( ! [V__FLUID,V__NUM,V__PART] :
   (((s__instance(V__FLUID,s__Substance) &
         s__instance(V__FLUID,s__FlowRegion) &
         s__instance(V__NUM,s__RealNumber) &
         s__instance(V__PART,s__Substance))
       =>
       (((s__measure(s__FlowFn(V__FLUID)
          ,s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))
         &
         s__piece(V__PART,V__FLUID))
     =>
     (s__piece(V__PART,s__MeasureFn(V__NUM,s__KnotUnitOfSpeed))))))
)
)

Geography.kif 4691-4695
( ! [V__SPEED,V__TIME,V__DISTANCE] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__TIME,s__RealNumber) &
         s__instance(V__DISTANCE,s__RealNumber))
       =>
       (((V__SPEED = s__SpeedFn(s__MeasureFn(V__DISTANCE,s__NauticalMile),s__MeasureFn(V__TIME,s__HourDuration)))
         =>
         ((V__SPEED = s__MeasureFn(s__DivisionFn(V__DISTANCE,V__TIME)
          ,s__KnotUnitOfSpeed))))))
)
)

Geography.kif 3774-3776
No TPTP formula. May not be expressible in strict first order. Weather.kif 2620-2633
No TPTP formula. May not be expressible in strict first order. Weather.kif 2898-2907


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