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 The number 2 argument of caliber is an instance of length measure
(domainSubclass caliber 1 Gun) MilitaryDevices.kif 211-211 The number 1 argument of caliber is a subclass of gun
(instance caliber BinaryPredicate) MilitaryDevices.kif 208-208 caliber is an instance of binary predicate
(instance caliber TotalValuedRelation) MilitaryDevices.kif 209-209 caliber is an instance of total valued relation

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 12661-12661
(termFormat ChineseTraditionalLanguage caliber "口徑") domainEnglishFormat.kif 12660-12660
(termFormat EnglishLanguage caliber "caliber") domainEnglishFormat.kif 12659-12659

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 Millimeter))
MilitaryDevices.kif 316-317 25 Millimeter(s) is a caliber of GAU12U
(caliber M240
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 393-394 7.62 Millimeter(s) is a caliber of m240
(caliber M242
    (MeasureFn 25 Millimeter))
MilitaryDevices.kif 282-283 25 Millimeter(s) is a caliber of m242
(caliber M2Browning
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 497-498 12.7 Millimeter(s) is a caliber of m2 browning
(caliber M3M
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 574-575 12.7 Millimeter(s) is a caliber of M3M
(caliber M60
    (MeasureFn 7.62 Millimeter))
MilitaryDevices.kif 433-434 7.62 Millimeter(s) is a caliber of m60
(caliber MK19
    (MeasureFn 40 Millimeter))
MilitaryDevices.kif 636-637 40 Millimeter(s) is a caliber of Mk19
(caliber SMAWBunkerBuster
    (MeasureFn 83 Millimeter))
MilitaryDevices.kif 828-829 83 Millimeter(s) is a caliber of SMAW bunker buster
(caliber XM218
    (MeasureFn 12.7 Millimeter))
MilitaryDevices.kif 531-532 12.7 Millimeter(s) is a caliber of XM218


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