Kilometer - Sigma Knowledge base Browser

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。 Meter は Kilometer の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

If a process is an instance of atmospheric hazing and the process is located at 2 and a region is an instance of atmospheric region and an object is an instance of PM and the object located at time the time of existence of the process for the region and the visibility at the region during the time of existence of the process is a real number kilometer(s),
then the real number is greater than 2 and the real number is less than 5

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	If a self connected object is an instance of Amphibious Assault Vehicle, then the length of the self connected object is 7.94 meter(s) and the width of the self connected object is 3.27 meter(s) and 22.8 ton mass(s) is a weight of the self connected object and the height of the self connected object is 3.26 meter(s) and 480 kilometer(s) is an effective range of the self connected object
(=> (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	If a self connected object is an instance of AG m114, then the length of the self connected object is 1.63 meter(s) and the width of the self connected object is 0.71 meter(s) and the height of the self connected object is 0.71 meter(s) and 45 kilogram(s) is a weight of the self connected object and 8 kilometer(s) is an effective range of the self connected object
(=> (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	If a self connected object is an instance of AG m65, then the length of the self connected object is 2.55 meter(s) and the width of the self connected object is 0.7 meter(s) and the height of the self connected object is 0.7 meter(s) and 302 kilogram(s) is a weight of the self connected object and 27 kilometer(s) is an effective range of the self connected object
(=> (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	If a self connected object is an instance of A h1, then the length of the self connected object is 17.68 meter(s) and the width of the self connected object is 14.63 meter(s) and the height of the self connected object is 4.44 meter(s) and 4634 kilogram(s) is a weight of the self connected object and 587 kilometer(s) is an effective range of the self connected object
(=> (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	If a self connected object is an instance of AI m9, then the length of the self connected object is 2.85 meter(s) and the width of the self connected object is 0.63 meter(s) and the height of the self connected object is 0.63 meter(s) and 91 kilogram(s) is a weight of the self connected object and 18 kilometer(s) is an effective range of the self connected object
(=> (instance ?BGM71TOW BGM71TOW) (effectiveRange ?BGM71TOW (MeasureFn 3 Kilometer)))	MilitaryDevices.kif 861-864	If a device is an instance of BG m71TO w, then 3 kilometer(s) is an effective range of the device
(=> (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	If a self connected object is an instance of C h46 d, then the length of the self connected object is 25.72 meter(s) and the width of the self connected object is 15.54 meter(s) and the height of the self connected object is 5.1 meter(s) and 7047 kilogram(s) is a weight of the self connected object and 676 kilometer(s) is an effective range of the self connected object
(=> (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	If a self connected object is an instance of C h53 e, then the length of the self connected object is 30.2 meter(s) and the width of the self connected object is 24.1 meter(s) and the height of the self connected object is 8.46 meter(s) and 15071 kilogram(s) is a weight of the self connected object and 2000 kilometer(s) is an effective range of the self connected object
(=> (instance ?DragonWeapon DragonWeapon) (effectiveRange ?DragonWeapon (MeasureFn 1.0 Kilometer)))	MilitaryDevices.kif 713-716	If a device is an instance of dragon weapon, then 1.0 kilometer(s) is an effective range of the device
(=> (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	If a self connected object is an instance of harrier2, then the length of the self connected object is 14.1 meter(s) and the width of the self connected object is 9.2 meter(s) and the height of the self connected object is 3.5 meter(s) and 5700 kilogram(s) is a weight of the self connected object and 1000 kilometer(s) is an effective range of the self connected object
(=> (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	If a self connected object is an instance of LAV25, then the length of the self connected object is 6.39 meter(s) and the width of the self connected object is 2.5 meter(s) and the height of the self connected object is 2.69 meter(s) and 12802.8 kilogram(s) is a weight of the self connected object and 660.1 kilometer(s) is an effective range of the self connected object
(=> (instance ?LCAC LCAC) (and (length ?LCAC (MeasureFn 88 FootLength)) (effectiveRange ?LCAC (MeasureFn 555 Kilometer))))	MilitaryDevices.kif 1966-1972	If a device is an instance of LCAC, then the length of the device is 88 foot length(s) and 555 kilometer(s) is an effective range of the device
(=> (instance ?M240 M240) (effectiveRange ?M240 (MeasureFn 1.8 Kilometer)))	MilitaryDevices.kif 404-407	If a device is an instance of m240, then 1.8 kilometer(s) is an effective range of the device
(=> (instance ?M242 M242) (effectiveRange ?M242 (MeasureFn 2 Kilometer)))	MilitaryDevices.kif 286-289	If a device is an instance of m242, then 2 kilometer(s) is an effective range of the device
(=> (instance ?M2Browning M2Browning) (effectiveRange ?M2Browning (MeasureFn 2 Kilometer)))	MilitaryDevices.kif 508-511	If a device is an instance of m2 browning, then 2 kilometer(s) is an effective range of the device
(=> (instance ?M3M M3M) (effectiveRange ?M3M (MeasureFn 1.85 Kilometer)))	MilitaryDevices.kif 585-588	If a device is an instance of M3M, then 1.85 kilometer(s) is an effective range of the device
(=> (instance ?M60 M60) (effectiveRange ?M60 (MeasureFn 1.1 Kilometer)))	MilitaryDevices.kif 444-447	If a device is an instance of m60, then 1.1 kilometer(s) is an effective range of the device
(=> (instance ?MK19 MK19) (effectiveRange ?MK19 (MeasureFn 1.6 Kilometer)))	MilitaryDevices.kif 647-650	If a device is an instance of Mk19, then 1.6 kilometer(s) is an effective range of the device
(=> (instance ?SMAWBunkerBuster SMAWBunkerBuster) (effectiveRange ?SMAWBunkerBuster (MeasureFn 0.5 Kilometer)))	MilitaryDevices.kif 839-842	If a device is an instance of SMAW bunker buster, then 0.5 kilometer(s) is an effective range of the device
(=> (instance ?XM218 XM218) (effectiveRange ?XM218 (MeasureFn 2 Kilometer)))	MilitaryDevices.kif 542-545	If a device is an instance of XM218, then 2 kilometer(s) is an effective range of the device

statement

(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))

Merge.kif 9870-9873

A real number kilometer(s) is equal to the real number and 1000 meter(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: