caliber - Sigma Knowledge base Browser

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	domain caliber, 2 and LengthMeasure
(domainSubclass caliber 1 Gun)	MilitaryDevices.kif 211-211	domainSubclass caliber, 1 and Gun
(instance caliber BinaryPredicate)	MilitaryDevices.kif 208-208	instance caliber and BinaryPredicate
(instance caliber TotalValuedRelation)	MilitaryDevices.kif 209-209	instance caliber 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 12667-12667	termFormat ChineseLanguage, caliber and "口径"
(termFormat ChineseTraditionalLanguage caliber "口徑")	domainEnglishFormat.kif 12666-12666	termFormat ChineseTraditionalLanguage, caliber and "口徑"
(termFormat EnglishLanguage caliber "caliber")	domainEnglishFormat.kif 12665-12665	termFormat EnglishLanguage, caliber and "caliber"

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	instance Object and Projectile caliber Gun and LengthMeasure instance Object and Gun width Object and LengthMeasure equal LengthMeasure and LengthMeasure capability KappaFn SymbolicString and instance SymbolicString and Shooting patient SymbolicString and Object, instrument and Object
(=> (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	instance Object and Projectile caliber Gun and LengthMeasure instance Physical and Gun width Object and LengthMeasure equal LengthMeasure and LengthMeasure hasPurpose Physical and entity instance entity and Shooting patient entity and Object instrument entity and Physical
(=> (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	instance Process and Shooting instrument Process and Object patient Process and Object width Object and Entity instance Object and ObjectCLASS instance Object and Projectile caliber ObjectCLASS and LengthMeasure equal LengthMeasure and Entity

appearance as argument number 0

(caliber GAU12U (MeasureFn 25 Millimeter))	MilitaryDevices.kif 316-317	caliber GAU12U and MeasureFn 25 and Millimeter
(caliber M240 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 393-394	caliber M240 and MeasureFn 7.62 and Millimeter
(caliber M242 (MeasureFn 25 Millimeter))	MilitaryDevices.kif 282-283	caliber M242 and MeasureFn 25 and Millimeter
(caliber M2Browning (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 497-498	caliber M2Browning and MeasureFn 12.7 and Millimeter
(caliber M3M (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 574-575	caliber M3M and MeasureFn 12.7 and Millimeter
(caliber M60 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 433-434	caliber M60 and MeasureFn 7.62 and Millimeter
(caliber MK19 (MeasureFn 40 Millimeter))	MilitaryDevices.kif 636-637	caliber MK19 and MeasureFn 40 and Millimeter
(caliber SMAWBunkerBuster (MeasureFn 83 Millimeter))	MilitaryDevices.kif 828-829	caliber SMAWBunkerBuster and MeasureFn 83 and Millimeter
(caliber XM218 (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 531-532	caliber XM218 and MeasureFn 12.7 and Millimeter

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners