Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Gunstock
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Gunstock EngineeringComponent) | Mid-level-ontology.kif 1436-1436 | Gun stock is a subclass of engineering component |
| (documentation Gunstock EnglishLanguage "A Gunstock is a part of a long gun that provides structural support, to which the barrel, action, and firing mechanism are attached. The stock also provides a means for the shooter to firmly brace the gun and easily aim with stability by being held against the user's shoulder when shooting the gun, and helps to counter muzzle rise by transmitting recoil straight into the shooter's body. A gunstock is broadly divided into two parts (with the boundary roughly at where the trigger is. The rear portion is the butt, and front portion is the fore-end. [Wikipedia]") | Mid-level-ontology.kif 1437-1443 | Gun stock is a subclass of engineering component |
| (partTypes Gunstock Longgun) | Mid-level-ontology.kif 1445-1445 | Every gun stock is a part of a long gun |
| (relatedInternalConcept Gunstock GunBarrel) | Mid-level-ontology.kif 1446-1446 | Gun stock is internally related to gun barrel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Gunstock "gun stock") | Mid-level-ontology.kif 1444-1444 | |
| (partTypes Buttstock Gunstock) | Mid-level-ontology.kif 1464-1464 | Every butt stock is a part of a gun stock |
| (partTypes Forestock Gunstock) | Mid-level-ontology.kif 1497-1497 | Every fore stock is a part of a gun stock |
| antecedent |
|
|
| (=> (instance ?S Gunstock) (hasPurpose ?S (exists (?G ?GRAB) (and (instance ?G Longgun) (part ?S ?G) (instance ?GRAB Grabbing) (patient ?GRAB ?S) (destination ?GRAB ?G))))) |
Mid-level-ontology.kif 1448-1457 | If X is an instance of gun stock, then X has the purpose there exist Y, Z such that Y is an instance of long gun, X is a part of Y, Z is an instance of grabbing, X is a patient of Z, and Z ends up at Y |
| consequent |
|
|
| (=> (instance ?B Buttstock) (exists (?S) (and (instance ?S Gunstock) (part ?B (BackFn ?S))))) |
Mid-level-ontology.kif 1467-1473 | If X is an instance of butt stock, then there exists Y such that Y is an instance of gun stock and X is a part of the back of Y |
| (=> (instance ?F Forestock) (exists (?S) (and (instance ?S Gunstock) (part ?F (FrontFn ?S))))) |
Mid-level-ontology.kif 1500-1506 | If X is an instance of fore stock, then there exists Y such that Y is an instance of gun stock and X is a part of the front of Y |
|