TreeView Knowledge Base Browser

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 6700-6701
(instance Kilometer UnitOfLength)	Merge.kif 6698-6698	instance Kilometer and UnitOfLength

appearance as argument number 2

(termFormat ChineseLanguage Kilometer "公里")	domainEnglishFormat.kif 32544-32544
(termFormat ChineseTraditionalLanguage Kilometer "公里")	domainEnglishFormat.kif 32543-32543
(termFormat EnglishLanguage Kilometer "kilometer")	domainEnglishFormat.kif 32542-32542

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 2565-2579

instance Process and AtmosphericHazing eventLocated Process and Region instance Region and GeographicArea instance Object and AtmosphericRegion orientation Object, Region and Above locatedAtTime Object, WhenFn Process and Object visibilityInMeteorology Region, WhenFn Process and MeasureFn RealNumber and Kilometer
greaterThan RealNumber and 2.0 lessThan RealNumber and 5.0

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 1662-1674	instance SelfConnectedObject and AAV length SelfConnectedObject and MeasureFn 7.94 and Meter width SelfConnectedObject and MeasureFn 3.27 and Meter weight SelfConnectedObject and MeasureFn 22.8 and TonMass height SelfConnectedObject and MeasureFn 3.26 and Meter effectiveRange SelfConnectedObject and MeasureFn 480.0 and Kilometer
(=> (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 1235-1247	instance SelfConnectedObject and AGM114 length SelfConnectedObject and MeasureFn 1.63 and Meter width SelfConnectedObject and MeasureFn 0.71 and Meter height SelfConnectedObject and MeasureFn 0.71 and Meter weight SelfConnectedObject and MeasureFn 45.0 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 8.0 and Kilometer
(=> (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 1155-1167	instance SelfConnectedObject and AGM65 length SelfConnectedObject and MeasureFn 2.55 and Meter width SelfConnectedObject and MeasureFn 0.7 and Meter height SelfConnectedObject and MeasureFn 0.7 and Meter weight SelfConnectedObject and MeasureFn 302.0 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 27.0 and Kilometer
(=> (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 1900-1912	instance SelfConnectedObject and AH1 length SelfConnectedObject and MeasureFn 17.68 and Meter width SelfConnectedObject and MeasureFn 14.63 and Meter height SelfConnectedObject and MeasureFn 4.44 and Meter weight SelfConnectedObject and MeasureFn 4634.0 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 587.0 and Kilometer
(=> (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 1189-1201	instance SelfConnectedObject and AIM9 length SelfConnectedObject and MeasureFn 2.85 and Meter width SelfConnectedObject and MeasureFn 0.63 and Meter height SelfConnectedObject and MeasureFn 0.63 and Meter weight SelfConnectedObject and MeasureFn 91.0 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 18.0 and Kilometer
(=> (instance ?BGM71TOW BGM71TOW) (effectiveRange ?BGM71TOW (MeasureFn 3.0 Kilometer)))	MilitaryDevices.kif 862-865	instance Device and BGM71TOW effectiveRange Device and MeasureFn 3.0 and Kilometer
(=> (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 1860-1872	instance SelfConnectedObject and CH46D length SelfConnectedObject and MeasureFn 25.72 and Meter width SelfConnectedObject and MeasureFn 15.54 and Meter height SelfConnectedObject and MeasureFn 5.1 and Meter weight SelfConnectedObject and MeasureFn 7047.0 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 676.0 and Kilometer
(=> (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 1788-1800	instance SelfConnectedObject and CH53E length SelfConnectedObject and MeasureFn 30.2 and Meter width SelfConnectedObject and MeasureFn 24.1 and Meter height SelfConnectedObject and MeasureFn 8.46 and Meter weight SelfConnectedObject and MeasureFn 15071.0 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 2000.0 and Kilometer
(=> (instance ?DragonWeapon DragonWeapon) (effectiveRange ?DragonWeapon (MeasureFn 1.0 Kilometer)))	MilitaryDevices.kif 714-717	instance Device and DragonWeapon effectiveRange Device and MeasureFn 1.0 and Kilometer
(=> (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 1744-1756	instance SelfConnectedObject and Harrier2 length SelfConnectedObject and MeasureFn 14.1 and Meter width SelfConnectedObject and MeasureFn 9.2 and Meter height SelfConnectedObject and MeasureFn 3.5 and Meter weight SelfConnectedObject and MeasureFn 5700.0 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 1000.0 and Kilometer
(=> (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 SelfConnectedObject and LAV25 length SelfConnectedObject and MeasureFn 6.39 and Meter width SelfConnectedObject and MeasureFn 2.5 and Meter height SelfConnectedObject and MeasureFn 2.69 and Meter weight SelfConnectedObject and MeasureFn 12802.8 and Kilogram effectiveRange SelfConnectedObject and MeasureFn 660.1 and Kilometer
(=> (instance ?LCAC LCAC) (and (length ?LCAC (MeasureFn 88.0 FootLength)) (effectiveRange ?LCAC (MeasureFn 555.0 Kilometer))))	MilitaryDevices.kif 1967-1973	instance Device and LCAC length Device and MeasureFn 88.0 and FootLength effectiveRange Device and MeasureFn 555.0 and Kilometer
(=> (instance ?M240 M240) (effectiveRange ?M240 (MeasureFn 1.8 Kilometer)))	MilitaryDevices.kif 405-408	instance Device and M240 effectiveRange Device and MeasureFn 1.8 and Kilometer
(=> (instance ?M242 M242) (effectiveRange ?M242 (MeasureFn 2.0 Kilometer)))	MilitaryDevices.kif 287-290	instance Device and M242 effectiveRange Device and MeasureFn 2.0 and Kilometer
(=> (instance ?M2Browning M2Browning) (effectiveRange ?M2Browning (MeasureFn 2.0 Kilometer)))	MilitaryDevices.kif 509-512	instance Device and M2Browning effectiveRange Device and MeasureFn 2.0 and Kilometer
(=> (instance ?M3M M3M) (effectiveRange ?M3M (MeasureFn 1.85 Kilometer)))	MilitaryDevices.kif 586-589	instance Device and M3M effectiveRange Device and MeasureFn 1.85 and Kilometer
(=> (instance ?M60 M60) (effectiveRange ?M60 (MeasureFn 1.1 Kilometer)))	MilitaryDevices.kif 445-448	instance Device and M60 effectiveRange Device and MeasureFn 1.1 and Kilometer
(=> (instance ?MK19 MK19) (effectiveRange ?MK19 (MeasureFn 1.6 Kilometer)))	MilitaryDevices.kif 648-651	instance Device and MK19 effectiveRange Device and MeasureFn 1.6 and Kilometer
(=> (instance ?SMAWBunkerBuster SMAWBunkerBuster) (effectiveRange ?SMAWBunkerBuster (MeasureFn 0.5 Kilometer)))	MilitaryDevices.kif 840-843	instance Device and SMAWBunkerBuster effectiveRange Device and MeasureFn 0.5 and Kilometer
(=> (instance ?XM218 XM218) (effectiveRange ?XM218 (MeasureFn 2.0 Kilometer)))	MilitaryDevices.kif 543-546	instance Device and XM218 effectiveRange Device and MeasureFn 2.0 and Kilometer

statement

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

Merge.kif 6703-6706

equal MeasureFn RealNumber and Kilometer and MeasureFn MultiplicationFn RealNumber and 1000 and Meter

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

KB Term:			Term intersection

English Word: