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 6806-6807
(documentation Kilometer JapaneseLanguage "Meter の超多重項。シンボル:km。 Meter は Kilometer の1000番目の部分である。") japanese_format.kif 1216-1217
(instance Kilometer UnitOfLength) Merge.kif 6804-6804 Kilometer est une instance de UnitOfLength

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


(termFormat ChineseLanguage Kilometer "公里") domainEnglishFormat.kif 32568-32568
(termFormat ChineseTraditionalLanguage Kilometer "公里") domainEnglishFormat.kif 32567-32567
(termFormat EnglishLanguage Kilometer "kilometer") domainEnglishFormat.kif 32566-32566

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


(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2.0)
        (lessThan ?VISIBILITY 5.0)))		 Weather.kif 2955-2969

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.0 Kilometer))))		 MilitaryDevices.kif 1819-1831
(=>
    (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.0 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8.0 Kilometer))))		 MilitaryDevices.kif 1392-1404
(=>
    (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.0 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27.0 Kilometer))))		 MilitaryDevices.kif 1312-1324
(=>
    (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.0 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587.0 Kilometer))))		 MilitaryDevices.kif 2057-2069
(=>
    (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.0 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18.0 Kilometer))))		 MilitaryDevices.kif 1346-1358
(=>
    (instance ?BGM71TOW BGM71TOW)
    (effectiveRange ?BGM71TOW
        (MeasureFn 3.0 Kilometer)))		 MilitaryDevices.kif 1019-1022
(=>
    (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.0 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676.0 Kilometer))))		 MilitaryDevices.kif 2017-2029
(=>
    (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.0 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000.0 Kilometer))))		 MilitaryDevices.kif 1945-1957
(=>
    (instance ?DragonWeapon DragonWeapon)
    (effectiveRange ?DragonWeapon
        (MeasureFn 1.0 Kilometer)))		 MilitaryDevices.kif 871-874
(=>
    (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.0 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000.0 Kilometer))))		 MilitaryDevices.kif 1901-1913
(=>
    (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 1699-1711
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88.0 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555.0 Kilometer))))		 MilitaryDevices.kif 2124-2130
(=>
    (instance ?M240 M240)
    (effectiveRange ?M240
        (MeasureFn 1.8 Kilometer)))		 MilitaryDevices.kif 562-565
(=>
    (instance ?M242 M242)
    (effectiveRange ?M242
        (MeasureFn 2.0 Kilometer)))		 MilitaryDevices.kif 444-447
(=>
    (instance ?M2Browning M2Browning)
    (effectiveRange ?M2Browning
        (MeasureFn 2.0 Kilometer)))		 MilitaryDevices.kif 666-669
(=>
    (instance ?M3M M3M)
    (effectiveRange ?M3M
        (MeasureFn 1.85 Kilometer)))		 MilitaryDevices.kif 743-746
(=>
    (instance ?M60 M60)
    (effectiveRange ?M60
        (MeasureFn 1.1 Kilometer)))		 MilitaryDevices.kif 602-605
(=>
    (instance ?MK19 MK19)
    (effectiveRange ?MK19
        (MeasureFn 1.6 Kilometer)))		 MilitaryDevices.kif 805-808
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (effectiveRange ?SMAWBunkerBuster
        (MeasureFn 0.5 Kilometer)))		 MilitaryDevices.kif 997-1000
(=>
    (instance ?XM218 XM218)
    (effectiveRange ?XM218
        (MeasureFn 2.0 Kilometer)))		 MilitaryDevices.kif 700-703