Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Buttstock
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Buttstock Artifact) | Mid-level-ontology.kif 1459-1459 | Butt stock is a subclass of artifact |
| (documentation Buttstock EnglishLanguage "A Buttstock is the rear portion of the Gunstock. It is braced against the shooter's shoulder for stability and also interacts with the trigger hand. [Wikipedia]") | Mid-level-ontology.kif 1460-1462 | Butt stock is a subclass of artifact |
| (partTypes Buttstock Gunstock) | Mid-level-ontology.kif 1464-1464 | Every butt stock is a part of a gun stock |
| (relatedInternalConcept Buttstock Forestock) | Mid-level-ontology.kif 1465-1465 | Butt stock is internally related to fore stock |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Buttstock "butt stock") | Mid-level-ontology.kif 1463-1463 |
| antecedent |
|
|
| (=> (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 ?B Buttstock) (hasPurpose ?B (exists (?L ?S ?A ?SH) (and (instance ?L Longgun) (part ?B ?L) (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (part ?SH ?A) (instance ?SH Shoulder) (holdsDuring (WhenFn ?S) (meetsSpatially ?S ?B)))))) |
Mid-level-ontology.kif 1475-1490 | If X is an instance of butt stock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of long gun (3) X is a part of Y (4) Z is an instance of shooting (5) Y is an instrument for Z (6) W is an agent of Z (7) W is an instance of human (8) V is a part of W (9) V is an instance of shoulder (10) Z meets X holds during the time of existence of Z |
|