Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| caliber |
| appearance as argument number 1 |
|
| (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 |
| (domainSubclass caliber 1 Gun) | MilitaryDevices.kif 368-368 | The number 1 argument of caliber is a subclass of gun |
| (domain caliber 2 LengthMeasure) | MilitaryDevices.kif 369-369 | The number 2 argument of caliber is an instance of length measure |
| (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 | The number 2 argument of caliber is an instance of length measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage caliber "%1 weapons can%n{not} shoot projectiles with a caliber of %2.") | MilitaryDevices.kif 2189-2189 | |
| (format EnglishLanguage caliber "%2 is %n a caliber of %1") | domainEnglishFormat.kif 334-334 | |
| (format ChineseTraditionalLanguage caliber "%2 %n 是 %1 的 caliber ") | domainEnglishFormat.kif 335-335 | |
| (format ChineseLanguage caliber "%2 %n 是 %1 的 caliber ") | domainEnglishFormat.kif 336-336 | |
| (termFormat EnglishLanguage caliber "caliber") | domainEnglishFormat.kif 12727-12727 | |
| (termFormat ChineseTraditionalLanguage caliber "口徑") | domainEnglishFormat.kif 12728-12728 | |
| (termFormat ChineseLanguage caliber "口径") | domainEnglishFormat.kif 12729-12729 |
| antecedent |
|
|
| (=> (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 All of the following hold: (1) X is an instance of shooting (2) Y is an instrument for X (3) Z is a patient of X (4) the width of Z is W (5) Y is an instance of V (6) Z is an instance of projectile (7) U is a caliber of V, then equal U and W |
| (=> (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 X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W is capable of doing the class described by U 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 X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W has the purpose there exists U such that U is an instance of shooting, X is a patient of U, and W is an instrument for U |
| appearance as argument number 0 |
|
|
|