effectiveRange - Sigma Knowledge base Browser

appearance as argument number 1

(documentation effectiveRange EnglishLanguage "Models the effective range of some device that is able to move by itself (like vehicles, rockets and so on) or move other things (like weapons).")	Mid-level-ontology.kif 1774-1776
(domain effectiveRange 1 Device)	Mid-level-ontology.kif 1772-1772	The number 1 argument of effective range is an instance of device
(domain effectiveRange 2 LengthMeasure)	Mid-level-ontology.kif 1773-1773	The number 2 argument of effective range is an instance of length measure
(instance effectiveRange BinaryPredicate)	Mid-level-ontology.kif 1769-1769	effective range is an instance of binary predicate
(instance effectiveRange SingleValuedRelation)	Mid-level-ontology.kif 1770-1770	effective range is an instance of single valued relation
(subrelation effectiveRange measure)	Mid-level-ontology.kif 1771-1771	effective range is a subrelation of measure

appearance as argument number 2

(format ChineseLanguage effectiveRange "%2 %n 是 %1 的 effective 范围")	domainEnglishFormat.kif 836-836
(format ChineseTraditionalLanguage effectiveRange "%2 %n 是 %1 的 effective 範圍")	domainEnglishFormat.kif 835-835
(format EnglishLanguage effectiveRange "%2 is %n an effective range of %1")	domainEnglishFormat.kif 834-834
(termFormat ChineseLanguage effectiveRange "有效范围")	domainEnglishFormat.kif 21223-21223
(termFormat ChineseTraditionalLanguage effectiveRange "有效範圍")	domainEnglishFormat.kif 21222-21222
(termFormat EnglishLanguage effectiveRange "effective range")	domainEnglishFormat.kif 21221-21221

antecedent

(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1798-1813	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1780-1794	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument

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	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 1235-1247	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 1155-1167	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 1900-1912	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 1189-1201	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 862-865	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 1860-1872	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 1788-1800	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 714-717	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 1744-1756	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 ?JavelinWeapon JavelinWeapon) (effectiveRange ?JavelinWeapon (MeasureFn 1.5 Mile)))	MilitaryDevices.kif 773-776	If a device is an instance of javelin weapon, then 1.5 mile(s) is an effective range of the device
(=> (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	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 1967-1973	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 405-408	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 287-290	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 509-512	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 586-589	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 445-448	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 648-651	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 840-843	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 543-546	If a device is an instance of XM218, then 2 kilometer(s) is an effective range of the device

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: