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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kilometer
Kilometer

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


(documentation Kilometer ChineseLanguage "这是 Meter 的倍数。符号：km。1 Meter 是1000之 1 Kilometer。") chinese_format.kif 2516-2517
(documentation Kilometer EnglishLanguage "Supermultiple of Meter. Symbol: km. A Meter is the 1000th part of a Kilometer") Merge.kif 6509-6510
(instance Kilometer UnitOfLength) Merge.kif 6507-6507

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


(termFormat ChineseLanguage Kilometer "公里") domainEnglishFormat.kif 32485-32485
(termFormat ChineseTraditionalLanguage Kilometer "公里") domainEnglishFormat.kif 32484-32484
(termFormat EnglishLanguage Kilometer "kilometer") domainEnglishFormat.kif 32483-32483

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

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 1662-1674
(=>
    (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 1235-1247
(=>
    (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 1155-1167
(=>
    (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 1900-1912
(=>
    (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 1189-1201
(=>
    (instance ?BGM71TOW BGM71TOW)
    (effectiveRange ?BGM71TOW
        (MeasureFn 3 Kilometer)))		 MilitaryDevices.kif 862-865
(=>
    (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 1860-1872
(=>
    (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 1788-1800
(=>
    (instance ?DragonWeapon DragonWeapon)
    (effectiveRange ?DragonWeapon
        (MeasureFn 1.0 Kilometer)))		 MilitaryDevices.kif 714-717
(=>
    (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 1744-1756
(=>
    (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 1542-1554
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555 Kilometer))))		 MilitaryDevices.kif 1967-1973
(=>
    (instance ?M240 M240)
    (effectiveRange ?M240
        (MeasureFn 1.8 Kilometer)))		 MilitaryDevices.kif 405-408
(=>
    (instance ?M242 M242)
    (effectiveRange ?M242
        (MeasureFn 2 Kilometer)))		 MilitaryDevices.kif 287-290
(=>
    (instance ?M2Browning M2Browning)
    (effectiveRange ?M2Browning
        (MeasureFn 2 Kilometer)))		 MilitaryDevices.kif 509-512
(=>
    (instance ?M3M M3M)
    (effectiveRange ?M3M
        (MeasureFn 1.85 Kilometer)))		 MilitaryDevices.kif 586-589
(=>
    (instance ?M60 M60)
    (effectiveRange ?M60
        (MeasureFn 1.1 Kilometer)))		 MilitaryDevices.kif 445-448
(=>
    (instance ?MK19 MK19)
    (effectiveRange ?MK19
        (MeasureFn 1.6 Kilometer)))		 MilitaryDevices.kif 648-651
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (effectiveRange ?SMAWBunkerBuster
        (MeasureFn 0.5 Kilometer)))		 MilitaryDevices.kif 840-843
(=>
    (instance ?XM218 XM218)
    (effectiveRange ?XM218
        (MeasureFn 2 Kilometer)))		 MilitaryDevices.kif 543-546