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 371-372
(domain caliber 2 LengthMeasure)	MilitaryDevices.kif 369-369	The number 2 argument of caliber is an instance of length measure
(domainSubclass caliber 1 Gun)	MilitaryDevices.kif 368-368	The number 1 argument of caliber is a subclass of gun
(instance caliber BinaryPredicate)	MilitaryDevices.kif 365-365	caliber is an instance of binary predicate
(instance caliber TotalValuedRelation)	MilitaryDevices.kif 366-366	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 2193-2193
(format EnglishLanguage caliber "%2 is %n a caliber of %1")	domainEnglishFormat.kif 334-334
(termFormat ChineseLanguage caliber "口径")	domainEnglishFormat.kif 12729-12729
(termFormat ChineseTraditionalLanguage caliber "口徑")	domainEnglishFormat.kif 12728-12728
(termFormat EnglishLanguage caliber "caliber")	domainEnglishFormat.kif 12727-12727

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 390-402	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and an object is an instance of a kind of gun and the width of the physical is the length measure1 and equal the length measure and the length measure1, then the object is capable of doing the class described by a symbolic string as a instrument
(=> (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 407-419	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and another physical is an instance of a kind of gun and the width of the physical is the length measure1 and equal the length measure and the length measure1, then the other physical has the purpose there exists an entity such that the entity is an instance of shooting and the physical is a patient of the entity and the other physical is an instrument for the entity
(=> (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 376-385	If a process is an instance of shooting and an object is an instrument for the process and a physical is a patient of the process and the width of the physical is a length measure and the object is an instance of the objectCLASS and the physical is an instance of projectile and another length measure is a caliber of the objectCLASS, then equal the other length measure and the length measure

appearance as argument number 0

(caliber GAU12U (MeasureFn 25.0 Millimeter))	MilitaryDevices.kif 473-474	25.0 Millimeter(s) is a caliber of GAU12U
(caliber M240 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 550-551	7.62 Millimeter(s) is a caliber of m240
(caliber M242 (MeasureFn 25.0 Millimeter))	MilitaryDevices.kif 439-440	25.0 Millimeter(s) is a caliber of m242
(caliber M2Browning (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 654-655	12.7 Millimeter(s) is a caliber of m2 browning
(caliber M3M (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 731-732	12.7 Millimeter(s) is a caliber of M3M
(caliber M60 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 590-591	7.62 Millimeter(s) is a caliber of m60
(caliber MK19 (MeasureFn 40.0 Millimeter))	MilitaryDevices.kif 793-794	40.0 Millimeter(s) is a caliber of Mk19
(caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter))	MilitaryDevices.kif 985-986	83.0 Millimeter(s) is a caliber of SMAW bunker buster
(caliber XM218 (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 688-689	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