| appearance as argument number 1 |
|
| (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 1402-1408 | |
| (partTypes Gunstock Longgun) | Mid-level-ontology.kif 1410-1410 | |
| (relatedInternalConcept Gunstock GunBarrel) | Mid-level-ontology.kif 1411-1411 | |
| (subclass Gunstock EngineeringComponent) | Mid-level-ontology.kif 1401-1401 |
| appearance as argument number 2 |
|
|
| (partTypes Buttstock Gunstock) | Mid-level-ontology.kif 1429-1429 | |
| (partTypes Forestock Gunstock) | Mid-level-ontology.kif 1462-1462 | |
| (termFormat EnglishLanguage Gunstock "gun stock") | Mid-level-ontology.kif 1409-1409 |
| 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 1413-1422 |
| consequent |
|
|
| (=> (instance ?B Buttstock) (exists (?S) (and (instance ?S Gunstock) (part ?B (BackFn ?S))))) |
Mid-level-ontology.kif 1432-1438 | |
| (=> (instance ?F Forestock) (exists (?S) (and (instance ?S Gunstock) (part ?F (FrontFn ?S))))) |
Mid-level-ontology.kif 1465-1471 |
|
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