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


KB Term:  Term intersection
English Word: 

Sigma KEE - effectiveRange
effectiveRange

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


(instance effectiveRange BinaryPredicate) Mid-level-ontology.kif 1651-1651 effective range is an instance of binary predicate
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1652-1652 effective range is an instance of single valued relation
(subrelation effectiveRange measure) Mid-level-ontology.kif 1653-1653 effective range is a subrelation of measure
(domain effectiveRange 1 Device) Mid-level-ontology.kif 1654-1654 The number 1 argument of effective range is an instance of device
(domain effectiveRange 2 LengthMeasure) Mid-level-ontology.kif 1655-1655 The number 2 argument of effective range is an instance of length measure
(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 1656-1658 The number 2 argument of effective range is an instance of length measure

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


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

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


(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?DAMAGING)
        (capability
            (KappaFn ?DAMAGING
                (and
                    (instance ?DAMAGING Damaging)
                    (patient ?DAMAGING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1662-1680 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) there doesn't exist U such that U is between W and X (6) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1684-1703 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) W is an instance of organism (6) there doesn't exist U such that U is between W and X (7) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument

consequent
-------------------------


(=>
    (instance ?M242 M242)
    (effectiveRange ?M242
        (MeasureFn 2.0 Kilometer)))		 MilitaryDevices.kif 444-447 If X is an instance of m242, then 2.0 kilometer(s) is an effective range of X
(=>
    (instance ?M240 M240)
    (effectiveRange ?M240
        (MeasureFn 1.8 Kilometer)))		 MilitaryDevices.kif 562-565 If X is an instance of m240, then 1.8 kilometer(s) is an effective range of X
(=>
    (instance ?M60 M60)
    (effectiveRange ?M60
        (MeasureFn 1.1 Kilometer)))		 MilitaryDevices.kif 602-605 If X is an instance of m60, then 1.1 kilometer(s) is an effective range of X
(=>
    (instance ?M2Browning M2Browning)
    (effectiveRange ?M2Browning
        (MeasureFn 2.0 Kilometer)))		 MilitaryDevices.kif 666-669 If X is an instance of m2 browning, then 2.0 kilometer(s) is an effective range of X
(=>
    (instance ?XM218 XM218)
    (effectiveRange ?XM218
        (MeasureFn 2.0 Kilometer)))		 MilitaryDevices.kif 700-703 If X is an instance of XM218, then 2.0 kilometer(s) is an effective range of X
(=>
    (instance ?M3M M3M)
    (effectiveRange ?M3M
        (MeasureFn 1.85 Kilometer)))		 MilitaryDevices.kif 743-746 If X is an instance of M3M, then 1.85 kilometer(s) is an effective range of X
(=>
    (instance ?MK19 MK19)
    (effectiveRange ?MK19
        (MeasureFn 1.6 Kilometer)))		 MilitaryDevices.kif 805-808 If X is an instance of Mk19, then 1.6 kilometer(s) is an effective range of X
(=>
    (instance ?DragonWeapon DragonWeapon)
    (effectiveRange ?DragonWeapon
        (MeasureFn 1.0 Kilometer)))		 MilitaryDevices.kif 871-874 If X is an instance of dragon weapon, then 1.0 kilometer(s) is an effective range of X
(=>
    (instance ?JavelinWeapon JavelinWeapon)
    (effectiveRange ?JavelinWeapon
        (MeasureFn 1.5 Mile)))		 MilitaryDevices.kif 930-933 If X is an instance of javelin weapon, then 1.5 mile(s) is an effective range of X
(=>
    (instance ?SMAWBunkerBuster SMAWBunkerBuster)
    (effectiveRange ?SMAWBunkerBuster
        (MeasureFn 0.5 Kilometer)))		 MilitaryDevices.kif 997-1000 If X is an instance of SMAW bunker buster, then 0.5 kilometer(s) is an effective range of X
(=>
    (instance ?BGM71TOW BGM71TOW)
    (effectiveRange ?BGM71TOW
        (MeasureFn 3.0 Kilometer)))		 MilitaryDevices.kif 1019-1022 If X is an instance of BG m71TO w, then 3.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of AG m65, then the length of X is 2.55 meter(s), the width of X is 0.7 meter(s), the height of X is 0.7 meter(s), 302.0 kilogram(s) is a weight of X, and 27.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of AI m9, then the length of X is 2.85 meter(s), the width of X is 0.63 meter(s), the height of X is 0.63 meter(s), 91.0 kilogram(s) is a weight of X, and 18.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of AG m114, then the length of X is 1.63 meter(s), the width of X is 0.71 meter(s), the height of X is 0.71 meter(s), 45.0 kilogram(s) is a weight of X, and 8.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of LAV25, then the length of X is 6.39 meter(s), the width of X is 2.5 meter(s), the height of X is 2.69 meter(s), 12802.8 kilogram(s) is a weight of X, and 660.1 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of Amphibious Assault Vehicle, then the length of X is 7.94 meter(s), the width of X is 3.27 meter(s), 22.8 ton mass(s) is a weight of X, the height of X is 3.26 meter(s), and 480.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of harrier2, then the length of X is 14.1 meter(s), the width of X is 9.2 meter(s), the height of X is 3.5 meter(s), 5700.0 kilogram(s) is a weight of X, and 1000.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of C h53 e, then the length of X is 30.2 meter(s), the width of X is 24.1 meter(s), the height of X is 8.46 meter(s), 15071.0 kilogram(s) is a weight of X, and 2000.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of C h46 d, then the length of X is 25.72 meter(s), the width of X is 15.54 meter(s), the height of X is 5.1 meter(s), 7047.0 kilogram(s) is a weight of X, and 676.0 kilometer(s) is an effective range of X
(=>
    (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 If X is an instance of A h1, then the length of X is 17.68 meter(s), the width of X is 14.63 meter(s), the height of X is 4.44 meter(s), 4634.0 kilogram(s) is a weight of X, and 587.0 kilometer(s) is an effective range of X
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88.0 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555.0 Kilometer))))		 MilitaryDevices.kif 2124-2130 If X is an instance of LCAC, then the length of X is 88.0 foot length(s) and 555.0 kilometer(s) is an effective range of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners