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
-------------------------


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

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


(termFormat ChineseLanguage Mile "英里") domainEnglishFormat.kif 37532-37532
(termFormat ChineseTraditionalLanguage Mile "英里") domainEnglishFormat.kif 37531-37531
(termFormat EnglishLanguage Mile "mile") domainEnglishFormat.kif 37530-37530

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


(=>
    (and
        (instance ?M HalfMarathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 13.1))
Sports.kif 307-314
(=>
    (and
        (instance ?M Marathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 26.2))
Sports.kif 293-300
(=>
    (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 2091-2097 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)
(=>
    (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 3958-3964
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3993-4000
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (effectiveRange ?JavelinWeapon
        (MeasureFn 1.5 Mile)))
MilitaryDevices.kif 930-933

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


(earthAltitude OzoneShield
    (MeasureFn 25.0 Mile))
Geography.kif 2781-2781 Ozone shield is 25.0 mile(s) above the ground
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 7229-7231 A real number mile(s) is equal to the real number and 1609.344 meter(s)
(equal SquareMile
    (SquareUnitFn Mile))
Mid-level-ontology.kif 15075-15075 Square mile is equal to the square unit of mile


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