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 7102-7102
(instance Mile UnitOfLength) Merge.kif 7101-7101 instance Mile and UnitOfLength

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


(termFormat ChineseLanguage Mile "英里") domainEnglishFormat.kif 37512-37512
(termFormat ChineseTraditionalLanguage Mile "英里") domainEnglishFormat.kif 37511-37511
(termFormat EnglishLanguage Mile "mile") domainEnglishFormat.kif 37510-37510

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


(=>
    (and
        (instance ?M HalfMarathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 13.1))
Sports.kif 260-267
(=>
    (and
        (instance ?M Marathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 26.2))
Sports.kif 246-253
(=>
    (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 1701-1707 equal FunctionQuantity and MeasureFn RealNumber and MilesPerHour equal FunctionQuantity and SpeedFn MeasureFn RealNumber and Mile and MeasureFn 1 and HourDuration
(=>
    (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 693-706
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3799-3805
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3834-3841
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (effectiveRange ?JavelinWeapon
        (MeasureFn 1.5 Mile)))
MilitaryDevices.kif 773-776

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


(earthAltitude OzoneShield
    (MeasureFn 25.0 Mile))
Geography.kif 2795-2795 earthAltitude OzoneShield and MeasureFn 25.0 and Mile
(equal
    (MeasureFn 1.0 SquareMile)
    (PerFn
        (MeasureFn 1.0 Mile)
        (MeasureFn 1.0 Mile)))
Mid-level-ontology.kif 13162-13166 equal MeasureFn 1.0 and SquareMile and PerFn MeasureFn 1.0 and Mile and MeasureFn 1.0 and Mile
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 7104-7106 equal MeasureFn RealNumber and Mile and MeasureFn MultiplicationFn RealNumber and 1609.344 and Meter


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