| 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 4273-4276 | |
| (subclass WasherForBolt Device) | Mid-level-ontology.kif 4270-4270 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WasherForBolt "垫圈") | domainEnglishFormat.kif 62278-62278 | |
| (termFormat ChineseTraditionalLanguage WasherForBolt "墊圈") | domainEnglishFormat.kif 62277-62277 | |
| (termFormat EnglishLanguage WasherForBolt "washer") | domainEnglishFormat.kif 62276-62276 |
| antecedent |
|
|
| (=> (instance ?W WasherForBolt) (attribute ?W RingTorus)) |
Mid-level-ontology.kif 4288-4290 | |
| (=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H HoleRegion) (equal ?W (HoleHostFn ?H))))) |
Mid-level-ontology.kif 4300-4305 | |
| (=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?B) (and (instance ?B Bolt) (contains ?W ?B))))) |
Mid-level-ontology.kif 4292-4298 | |
| (=> (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 4278-4286 |
|
|
|