| 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 4247-4250 | |
| (subclass WasherForBolt Device) | Mid-level-ontology.kif 4244-4244 | WasherForBolt est une sous-classe de appareil |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WasherForBolt "垫圈") | domainEnglishFormat.kif 62262-62262 | |
| (termFormat ChineseTraditionalLanguage WasherForBolt "墊圈") | domainEnglishFormat.kif 62261-62261 | |
| (termFormat EnglishLanguage WasherForBolt "washer") | domainEnglishFormat.kif 62260-62260 |
| antecedent |
|
|
| (=> (instance ?W WasherForBolt) (attribute ?W RingTorus)) |
Mid-level-ontology.kif 4262-4264 | |
| (=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H HoleRegion) (equal ?W (HoleHostFn ?H))))) |
Mid-level-ontology.kif 4274-4279 |
|
| (=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?B) (and (instance ?B Bolt) (contains ?W ?B))))) |
Mid-level-ontology.kif 4266-4272 | |
| (=> (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 4252-4260 |
|
|
|