| WasherForBolt | |
| appearance as argument number 1 |
|
|
| (documentation WasherForBolt EnglishLanguage "A thin plate made of a durable material in the shape of a Circle with a HoleRegion in it, designed to isolate an object fixed by a Bolt from the head of the bolt or from contact with a MechanicalNut.") | Mid-level-ontology.kif 4723-4726 | |
| (subclass WasherForBolt Device) | Mid-level-ontology.kif 4720-4720 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WasherForBolt "垫圈") | domainEnglishFormat.kif 62247-62247 | |
| (termFormat ChineseTraditionalLanguage WasherForBolt "墊圈") | domainEnglishFormat.kif 62246-62246 | |
| (termFormat EnglishLanguage WasherForBolt "washer") | domainEnglishFormat.kif 62245-62245 |
| antecedent |
|
|
| (=> (instance ?W WasherForBolt) (attribute ?W RingTorus)) |
Mid-level-ontology.kif 4738-4740 | |
| (=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H HoleRegion) (equal ?W (HoleHostFn ?H))))) |
Mid-level-ontology.kif 4750-4755 | |
| (=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?B) (and (instance ?B Bolt) (contains ?W ?B))))) |
Mid-level-ontology.kif 4742-4748 | |
| (=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 AttachingDevice) (meetsSpatially ?O1 ?W) (contains ?W ?O2))))) |
Mid-level-ontology.kif 4728-4736 |
|
|
|