Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GunChamber
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GunChamber Artifact) | Mid-level-ontology.kif 1350-1350 | Gun chamber is a subclass of artifact |
| (documentation GunChamber EnglishLanguage "A GunChamber is the cavity at the back end of a breech-loading gun's barrel where the cartridge is inserted in position ready to be fired. In most firearms (rifles, shotguns, machine guns and pistols), the chamber is an integral part of the barrel, often made by simply reaming the rear bore of a barrel blank, with a single chamber within a single barrel.[10] In revolvers, the chamber is a component of the gun's cylinder and completely separate from the barrel, with a single cylinder having multiple chambers that are rotated in turns into alignment with the barrel in anticipation of being fired.[Wikipedia]") | Mid-level-ontology.kif 1351-1358 | Gun chamber is a subclass of artifact |
| (relatedInternalConcept GunChamber GunMuzzle) | Mid-level-ontology.kif 1360-1360 | Gun chamber is internally related to gun muzzle |
| (typicalPart GunChamber GunBarrel) | Mid-level-ontology.kif 1361-1361 | A gun chamber is typically a part of a gun barrel |
| (typicalPart GunChamber GunCylinder) | Mid-level-ontology.kif 1362-1362 | A gun chamber is typically a part of a gun cylinder |
| (relatedInternalConcept GunChamber GunCylinder) | Mid-level-ontology.kif 2149-2149 | Gun chamber is internally related to gun cylinder |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GunChamber "gun chamber") | Mid-level-ontology.kif 1359-1359 | |
| (relatedInternalConcept GunBore GunChamber) | Mid-level-ontology.kif 1425-1425 | Gun bore is internally related to gun chamber |
| antecedent |
|
|
| (=> (instance ?C GunChamber) (hasPurpose ?C (exists (?B) (and (instance ?B BulletCartridge) (contains ?C ?B))))) |
Mid-level-ontology.kif 1364-1370 | If X is an instance of gun chamber, then X has the purpose there exists Y such that Y is an instance of bullet cartridge and X contains Y |
| consequent |
|
|
| (=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S)))))) |
Mid-level-ontology.kif 1372-1387 | If X is an instance of shooting, Y is an instrument for X, and Y is an instance of gun, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of gun chamber (3) Z is a part of Y (4) W is an instance of inserting (5) V is an instance of bullet cartridge (6) W ends up at Z (7) the object transferred in W is V (8) the end of the time of existence of W happens before the beginning of the time of existence of X |
| (=> (instance ?GUN Pistol) (exists (?B ?C) (and (part ?B ?GUN) (instance ?B GunBarrel) (part ?C ?B) (instance ?C GunChamber) (not (exists (?C2) (and (instance ?C2 GunChamber) (part ?C2 ?B) (not (equal ?C ?C2)))))))) |
Mid-level-ontology.kif 2087-2101 | If X is an instance of pistol, then All of the following hold: (1) there exist Y (2) Z such that Y is a part of X (3) Y is an instance of gun barrel (4) Z is a part of Y (5) Z is an instance of gun chamber (6) there doesn't exist W such that W is an instance of gun chamber (7) W is a part of Y (8) equal Z (9) W |
| (=> (instance ?GUN RevolverGun) (exists (?CY ?COLL ?C ?BC) (and (part ?CY ?GUN) (instance ?CY GunCylinder) (part ?COLL ?CY) (instance ?COLL CollectionOfObjects) (member ?C ?COLL) (instance ?C GunChamber) (contains ?C ?BC) (instance ?BC BulletCartridge) (not (exists (?BC2) (and (instance ?BC2 BulletCartridge) (not (equal ?BC ?BC2)) (contains ?C ?BC2))))))) |
Mid-level-ontology.kif 2110-2128 | If X is an instance of revolver gun, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a part of X (3) Y is an instance of gun cylinder (4) Z is a part of Y (5) Z is an instance of collection (6) W is a member of Z (7) W is an instance of gun chamber (8) W contains V (9) V is an instance of bullet cartridge (10) there doesn't exist U such that U is an instance of bullet cartridge (11) equal V (12) U (13) W contains U |
| (=> (and (instance ?GUN RevolverGun) (part ?CY ?GUN) (instance ?CY GunCylinder)) (modalAttribute (exists (?COLL) (and (part ?COLL ?CY) (instance ?COLL CollectionOfObjects) (memberType ?COLL GunChamber) (memberCount ?COLL 6))) Likely)) |
Mid-level-ontology.kif 2130-2141 | If X is an instance of revolver gun, Y is a part of X, and Y is an instance of gun cylinder, then the statement there exists Z such that Z is a part of Y, Z is an instance of collection, gun chamber is a member type of Z, and 6 is a member count of Z has the modal force of likely |
|