Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Forestock(fore stock) |
| appearance as argument number 1 |
|
| (subclass Forestock Artifact) | Mid-level-ontology.kif 1492-1492 | Fore stock is a subclass of artifact |
| (documentation Forestock EnglishLanguage "A Forestock is the fore-end of the Gunstock. It affixes and supports the receiver, and relays the recoil impulse from the barrel via a recoil lug. [Wikipedia]") | Mid-level-ontology.kif 1493-1495 | Fore stock is a subclass of artifact |
| (partTypes Forestock Gunstock) | Mid-level-ontology.kif 1497-1497 | Every fore stock is a part of a gun stock |
| (relatedInternalConcept Forestock GunBarrel) | Mid-level-ontology.kif 1498-1498 | Fore stock is internally related to gun barrel |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Buttstock Forestock) | Mid-level-ontology.kif 1465-1465 | Butt stock is internally related to fore stock |
| (termFormat EnglishLanguage Forestock "fore stock") | Mid-level-ontology.kif 1496-1496 | Butt stock is internally related to fore stock |
| antecedent |
|
|
| (=> (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 |
|