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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mile

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 6894-6894
(instance Mile UnitOfLength) Merge.kif 6893-6893 Mile is an instance of UnitOfLength

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


(termFormat ChineseLanguage Mile "英里") domainEnglishFormat.kif 37444-37444
(termFormat ChineseTraditionalLanguage Mile "英里") domainEnglishFormat.kif 37443-37443
(termFormat EnglishLanguage Mile "mile") domainEnglishFormat.kif 37442-37442

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


(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3703-3705
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3719-3721
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (effectiveRange ?JavelinWeapon
        (MeasureFn 1.5 Mile)))
MilitaryDevices.kif 773-776

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


(earthAltitude OzoneShield
    (MeasureFn 25 Mile))
Geography.kif 2732-2732 Ozone shield is 25 mile(s) above the ground
(equal
    (MeasureFn 1 SquareMile)
    (PerFn
        (MeasureFn 1 Mile)
        (MeasureFn 1 Mile)))
Mid-level-ontology.kif 11310-11314 1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s)
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 6896-6898 A real number mile(s) is equal to the real number and 1609.344 meter(s)


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