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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mile
Mile(mile)international_mile, land_mile, mi, milage, mile, mileage, miler, stat_mi, statute_mile

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


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

chinese_format.kif 2593-2593
s__documentation(s__Mile,s__EnglishLanguage,'"English length unit of miles."')

Merge.kif 6986-6986
s__instance(s__Mile,s__UnitOfLength)

s__instance(s__UnitOfLength,s__Class)

Merge.kif 6985-6985 Mile is an instance of UnitOfLength

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


s__termFormat(s__ChineseLanguage,s__Mile,'"英里"')

domainEnglishFormat.kif 37512-37512
s__termFormat(s__ChineseTraditionalLanguage,s__Mile,'"英里"')

domainEnglishFormat.kif 37511-37511
s__termFormat(s__EnglishLanguage,s__Mile,'"mile"')

domainEnglishFormat.kif 37510-37510

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


( ! [V__P,V__H,V__M,V__N] :
   (((s__instance(V__P,s__Transitway) &
         s__instance(V__H,s__Agent) &
         s__instance(V__N,s__UnitOfMeasure))
       =>
       (((s__instance(V__M,s__HalfMarathon) &
             s__agent(V__M,V__H)
           &
           s__path(V__M,V__P)
         &
         s__distanceOnPath(s__MeasureFn(s__Mile,V__N)
      ,V__P))
   =>
   ((V__N = n__13_1)))))
)
)

Sports.kif 260-267
( ! [V__P,V__H,V__M,V__N] :
   (((s__instance(V__P,s__Transitway) &
         s__instance(V__H,s__Agent) &
         s__instance(V__N,s__UnitOfMeasure))
       =>
       (((s__instance(V__M,s__Marathon) &
             s__agent(V__M,V__H)
           &
           s__path(V__M,V__P)
         &
         s__distanceOnPath(s__MeasureFn(s__Mile,V__N)
      ,V__P))
   =>
   ((V__N = n__26_2)))))
)
)

Sports.kif 246-253
( ! [V__AREA,V__LENGTH] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__LENGTH,s__RealNumber))
       =>
       (((s__lengthOfElectrifiedRailway(V__AREA,s__MeasureFn(V__LENGTH,s__Mile))
           &
           s__greaterThan(V__LENGTH,n__0))
       =>
       (( ? [V__RAILWAY] :
           ((s__instance(V__RAILWAY,s__ElectrifiedRailway) &
               s__located(V__RAILWAY,V__AREA))))))))
)
)

Transportation.kif 135-143
( ! [V__AREA,V__LENGTH] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__LENGTH,s__RealNumber))
       =>
       (((s__lengthOfMultipleTrackRailway(V__AREA,s__MeasureFn(V__LENGTH,s__Mile))
           &
           s__greaterThan(V__LENGTH,n__0))
       =>
       (( ? [V__RAILWAY] :
           ((s__instance(V__RAILWAY,s__MultipleTrackRailway) &
               s__located(V__RAILWAY,V__AREA))))))))
)
)

Transportation.kif 163-171
( ! [V__AREA,V__LENGTH] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__LENGTH,s__RealNumber))
       =>
       (((s__totalLengthOfRailwaySystem(V__AREA,s__MeasureFn(V__LENGTH,s__Mile))
           &
           s__greaterThan(V__LENGTH,n__0))
       =>
       (( ? [V__RAILWAY] :
           ((s__instance(V__RAILWAY,s__Railway) &
               s__located(V__RAILWAY,V__AREA))))))))
)
)

Transportation.kif 107-115

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


( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       ((((V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))
             =>
             (V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration))))
         &
         ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration)))
         =>
         (V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))))))
)
)

Weather.kif 1701-1707 A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
( ! [V__DEST,V__TC] :
   (((s__instance(V__TC,s__TropicalCyclone) &
         s__destination(V__TC,V__DEST)
       &
       s__instance(V__DEST,s__GeographicArea))
     =>
     (~(( ? [V__L, V__SL, V__X] :
           ((s__instance(V__X,s__RealNumber) &
               (s__instance(V__L,s__LandArea) &
                 s__instance(V__SL,s__Shoreline) &
                 s__located(V__DEST,V__L)
               &
               s__distance(V__L,V__SL,s__MeasureFn(V__X,s__Mile))
             &
             s__greaterThan(V__X,n__200))))))))
)
)

Weather.kif 693-706
( ! [V__AMOUNT,V__NUM] :
   (((s__instance(V__AMOUNT,s__PhysicalQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       (((V__AMOUNT = s__MeasureFn(V__NUM,s__NauticalMile))
           =>
           ((V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1_151)
            ,s__Mile))))))
   )
)

Geography.kif 3746-3748
( ! [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__1_151)
          ,s__Mile))))))
)
)

Geography.kif 3762-3764
( ! [V__JavelinWeapon] :
   ((s__instance(V__JavelinWeapon,s__JavelinWeapon) =>
       (s__effectiveRange(V__JavelinWeapon,s__MeasureFn(n__1_5,s__Mile))))
   )
)

MilitaryDevices.kif 773-776

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


s__earthAltitude(s__OzoneShield,s__MeasureFn(n__25,s__Mile))

Geography.kif 2754-2754 Ozone shield is 25 mile(s) above the ground
(s__MeasureFn(n__1,s__SquareMile) = s__PerFn(s__MeasureFn(n__1,s__Mile),s__MeasureFn(n__1,s__Mile)))

Mid-level-ontology.kif 13022-13026 1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s)
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__Mile) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__1609_344)
        ,s__Meter))))
   )
)

Merge.kif 6988-6990 A real number mile(s) is equal to the real number and 1609.344 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