Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - caliber
caliber

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


(documentation caliber EnglishLanguage "(caliber ?G ?L) means that the gun ?G is designed to shoot projectiles with a diameter of ?L.") MilitaryDevices.kif 214-215
(domain caliber 2 LengthMeasure) MilitaryDevices.kif 212-212 口徑, 2 and LengthMeasure
(domainSubclass caliber 1 Gun) MilitaryDevices.kif 211-211 域子類 口徑, 1 and
(instance caliber BinaryPredicate) MilitaryDevices.kif 208-208 口徑 and BinaryPredicate
(instance caliber TotalValuedRelation) MilitaryDevices.kif 209-209 口徑 and TotalValuedRelation

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


(format ChineseLanguage caliber "%2 %n 是 %1 的 caliber ") domainEnglishFormat.kif 336-336
(format ChineseTraditionalLanguage caliber "%2 %n 是 %1 的 caliber ") domainEnglishFormat.kif 335-335
(format EnglishLanguage caliber "%1 weapons can%n{not} shoot projectiles with a caliber of %2.") MilitaryDevices.kif 2036-2036
(format EnglishLanguage caliber "%2 is %n a caliber of %1") domainEnglishFormat.kif 334-334
(termFormat ChineseLanguage caliber "口径") domainEnglishFormat.kif 12721-12721
(termFormat ChineseTraditionalLanguage caliber "口徑") domainEnglishFormat.kif 12720-12720
(termFormat EnglishLanguage caliber "caliber") domainEnglishFormat.kif 12719-12719

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


(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (capability
        (KappaFn ?SHOOTING
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ))) instrument ?GUN))
MilitaryDevices.kif 233-245
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (hasPurpose ?GUN
        (exists (?SHOOTING)
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ)
                (instrument ?SHOOTING ?GUN)))))
MilitaryDevices.kif 250-262
(=>
    (and
        (instance ?SHOT Shooting)
        (instrument ?SHOT ?GUN)
        (patient ?SHOT ?PROJ)
        (width ?PROJ ?LM1)
        (instance ?GUN ?GUNCLASS)
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM))
    (equal ?LM ?LM1))
MilitaryDevices.kif 219-228

appearance as argument number 0
-------------------------


(caliber GAU12U
    (MeasureFn 25.0 Millimeter))
MilitaryDevices.kif 316-317 測量 25.0 and 毫米GAU12Ucaliber
(caliber M240
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 393-394 測量 7.62 and 毫米M240caliber
(caliber M242
    (MeasureFn 25.0 Millimeter))
MilitaryDevices.kif 282-283 測量 25.0 and 毫米M242caliber
(caliber M2Browning
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 497-498 測量 12.7 and 毫米m2褐變caliber
(caliber M3M
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 574-575 測量 12.7 and 毫米M3Mcaliber
(caliber M60
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 433-434 測量 7.62 and 毫米M60caliber
(caliber MK19
    (MeasureFn 40.0 Millimeter))
MilitaryDevices.kif 636-637 測量 40.0 and 毫米Mk19caliber
(caliber SMAWBunkerBuster
    (MeasureFn 83.0 Millimeter))
MilitaryDevices.kif 828-829 測量 83.0 and 毫米SMAW掩體破壞者caliber
(caliber XM218
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 531-532 測量 12.7 and 毫米XM218caliber


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