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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kilometer
Kilometer(kilometer)kilometer, kilometre, klick, km, 公里

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


(documentation Kilometer ChineseLanguage "这是 Meter 的倍数。符号:km。1 Meter 是1000之 1 Kilometer。") Merge.kif 9864-9865
(documentation Kilometer EnglishLanguage "Supermultiple of Meter. Symbol: km. A Meter is the 1000th part of a Kilometer") Merge.kif 9861-9862
(documentation Kilometer JapaneseLanguage "Meter の超多重項。シンボル:km。 MeterKilometer の1000番目の部分である。") Merge.kif 9867-9868
(instance Kilometer UnitOfLength) Merge.kif 9859-9859 Kilometer is an instance of UnitOfLength

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


(termFormat ChineseLanguage Kilometer "公里") domainEnglishFormat.kif 32467-32467 "公里" is the printable form of kilometer in ChineseLanguage
(termFormat ChineseTraditionalLanguage Kilometer "公里") domainEnglishFormat.kif 32466-32466 "公里" is the printable form of kilometer in ChineseTraditionalLanguage
(termFormat EnglishLanguage Kilometer "kilometer") domainEnglishFormat.kif 32465-32465 "kilometer" is the printable form of kilometer in english language

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


(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA AtmosphericRegion)
        (instance ?PARTICULATE ParticulateMatter)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AREA)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2)
        (lessThan ?VISIBILITY 5)))
Weather.kif 992-1005

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


(=>
    (instance ?AAV AAV)
    (and
        (length ?AAV
            (MeasureFn 7.94 Meter))
        (width ?AAV
            (MeasureFn 3.27 Meter))
        (weight ?AAV
            (MeasureFn 22.8 TonMass))
        (height ?AAV
            (MeasureFn 3.26 Meter))
        (effectiveRange ?AAV
            (MeasureFn 480 Kilometer))))
MilitaryDevices.kif 1661-1673
(=>
    (instance ?AGM114 AGM114)
    (and
        (length ?AGM114
            (MeasureFn 1.63 Meter))
        (width ?AGM114
            (MeasureFn 0.71 Meter))
        (height ?AGM114
            (MeasureFn 0.71 Meter))
        (weight ?AGM114
            (MeasureFn 45 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8 Kilometer))))
MilitaryDevices.kif 1234-1246
(=>
    (instance ?AGM65 AGM65)
    (and
        (length ?AGM65
            (MeasureFn 2.55 Meter))
        (width ?AGM65
            (MeasureFn 0.7 Meter))
        (height ?AGM65
            (MeasureFn 0.7 Meter))
        (weight ?AGM65
            (MeasureFn 302 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27 Kilometer))))
MilitaryDevices.kif 1154-1166
(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587 Kilometer))))
MilitaryDevices.kif 1899-1911
(=>
    (instance ?AIM9 AIM9)
    (and
        (length ?AIM9
            (MeasureFn 2.85 Meter))
        (width ?AIM9
            (MeasureFn 0.63 Meter))
        (height ?AIM9
            (MeasureFn 0.63 Meter))
        (weight ?AIM9
            (MeasureFn 91 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18 Kilometer))))
MilitaryDevices.kif 1188-1200
(=>
    (instance ?BGM71TOW BGM71TOW)
    (effectiveRange ?BGM71TOW
        (MeasureFn 3 Kilometer)))
MilitaryDevices.kif 861-864
(=>
    (instance ?CH46D CH46D)
    (and
        (length ?CH46D
            (MeasureFn 25.72 Meter))
        (width ?CH46D
            (MeasureFn 15.54 Meter))
        (height ?CH46D
            (MeasureFn 5.1 Meter))
        (weight ?CH46D
            (MeasureFn 7047 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676 Kilometer))))
MilitaryDevices.kif 1859-1871
(=>
    (instance ?CH53E CH53E)
    (and
        (length ?CH53E
            (MeasureFn 30.2 Meter))
        (width ?CH53E
            (MeasureFn 24.1 Meter))
        (height ?CH53E
            (MeasureFn 8.46 Meter))
        (weight ?CH53E
            (MeasureFn 15071 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000 Kilometer))))
MilitaryDevices.kif 1787-1799
(=>
    (instance ?DragonWeapon DragonWeapon)
    (effectiveRange ?DragonWeapon
        (MeasureFn 1.0 Kilometer)))
MilitaryDevices.kif 713-716
(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000 Kilometer))))
MilitaryDevices.kif 1743-1755
(=>
    (instance ?LAV LAV25)
    (and
        (length ?LAV
            (MeasureFn 6.39 Meter))
        (width ?LAV
            (MeasureFn 2.5 Meter))
        (height ?LAV
            (MeasureFn 2.69 Meter))
        (weight ?LAV
            (MeasureFn 12802.8 Kilogram))
        (effectiveRange ?LAV
            (MeasureFn 660.1 Kilometer))))
MilitaryDevices.kif 1541-1553
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555 Kilometer))))
MilitaryDevices.kif 1966-1972
(=>
    (instance ?M240 M240)
    (effectiveRange ?M240
        (MeasureFn 1.8 Kilometer)))
MilitaryDevices.kif 404-407
(=>
    (instance ?M242 M242)
    (effectiveRange ?M242
        (MeasureFn 2 Kilometer)))
MilitaryDevices.kif 286-289
(=>
    (instance ?M2Browning M2Browning)
    (effectiveRange ?M2Browning
        (MeasureFn 2 Kilometer)))
MilitaryDevices.kif 508-511
(=>
    (instance ?M3M M3M)
    (effectiveRange ?M3M
        (MeasureFn 1.85 Kilometer)))
MilitaryDevices.kif 585-588
(=>
    (instance ?M60 M60)
    (effectiveRange ?M60
        (MeasureFn 1.1 Kilometer)))
MilitaryDevices.kif 444-447
(=>
    (instance ?MK19 MK19)
    (effectiveRange ?MK19
        (MeasureFn 1.6 Kilometer)))
MilitaryDevices.kif 647-650
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (effectiveRange ?SMAWBunkerBuster
        (MeasureFn 0.5 Kilometer)))
MilitaryDevices.kif 839-842
(=>
    (instance ?XM218 XM218)
    (effectiveRange ?XM218
        (MeasureFn 2 Kilometer)))
MilitaryDevices.kif 542-545