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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mile

 Sigma KEE - Mile
Mile(英里)

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


(documentation Mile ChineseLanguage "这是英制长度单位的英里。") chinese_format.kif 2593-2593
(documentation Mile EnglishLanguage "English length unit of miles.") Merge.kif 7199-7199
(documentation Mile JapaneseLanguage "英国でのマイルの長さの単位。") japanese_format.kif 1302-1302
(instance Mile UnitOfLength) Merge.kif 7198-7198 例 英里 and UnitOfLength

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


(termFormat ChineseLanguage Mile "英里") domainEnglishFormat.kif 37523-37523
(termFormat ChineseTraditionalLanguage Mile "英里") domainEnglishFormat.kif 37522-37522
(termFormat EnglishLanguage Mile "mile") domainEnglishFormat.kif 37521-37521

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


(=>
    (and
        (instance ?M HalfMarathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 13.1))		 Sports.kif 295-302
(=>
    (and
        (instance ?M Marathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 26.2))		 Sports.kif 281-288
(=>
    (and
        (lengthOfElectrifiedRailway ?AREA
            (MeasureFn ?LENGTH Mile))
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY ElectrifiedRailway)
            (located ?RAILWAY ?AREA))))		 Transportation.kif 135-143
(=>
    (and
        (lengthOfMultipleTrackRailway ?AREA
            (MeasureFn ?LENGTH Mile))
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY MultipleTrackRailway)
            (located ?RAILWAY ?AREA))))		 Transportation.kif 163-171
(=>
    (and
        (totalLengthOfRailwaySystem ?AREA
            (MeasureFn ?LENGTH Mile))
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY Railway)
            (located ?RAILWAY ?AREA))))		 Transportation.kif 107-115

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


(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 1685-1691 等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度 測量 RealNumber and 英里 and 測量 1 and 小時
(=>
    (and
        (instance ?TC TropicalCyclone)
        (destination ?TC ?DEST)
        (instance ?DEST GeographicArea))
    (not
        (exists (?L ?SL ?X)
            (and
                (instance ?L LandArea)
                (instance ?SL Shoreline)
                (located ?DEST ?L)
                (distance ?L ?SL
                    (MeasureFn ?X Mile))
                (greaterThan ?X 200.0)))))		 Weather.kif 677-690
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))		 Geography.kif 3877-3883
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))		 Geography.kif 3912-3919
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (effectiveRange ?JavelinWeapon
        (MeasureFn 1.5 Mile)))		 MilitaryDevices.kif 773-776

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


(earthAltitude OzoneShield
    (MeasureFn 25.0 Mile))		 Geography.kif 2793-2793 臭氧盾 是 測量 25.0 and 英里 above 地表
(equal
    (MeasureFn 1.0 SquareMile)
    (PerFn
        (MeasureFn 1.0 Mile)
        (MeasureFn 1.0 Mile)))		 Mid-level-ontology.kif 13723-13727 等於 測量 1.0 and 平方英里 and 測量 1.0 and 英里 是 測量 1.0 and 英里 的 per
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))		 Merge.kif 7201-7203 等於 測量 RealNumber and 英里 and 測量 乘法 RealNumber and 1609.344 and 儀表


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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