WasherForBolt - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WasherForBolt

WasherForBolt(washer)

lock_ring, lock_washer, lockring

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	Washer is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage WasherForBolt "垫圈")	domainEnglishFormat.kif 62301-62301
(termFormat ChineseTraditionalLanguage WasherForBolt "墊圈")	domainEnglishFormat.kif 62300-62300
(termFormat EnglishLanguage WasherForBolt "washer")	domainEnglishFormat.kif 62299-62299

antecedent

(=> (instance ?W WasherForBolt) (attribute ?W RingTorus))	Mid-level-ontology.kif 4288-4290	If an object is an instance of washer, then ring torus is an attribute of the object
(=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H HoleRegion) (equal ?W (HoleHostFn ?H)))))	Mid-level-ontology.kif 4300-4305	If an object is an instance of washer, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
(=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?B) (and (instance ?B Bolt) (contains ?W ?B)))))	Mid-level-ontology.kif 4292-4298	If a physical is an instance of washer, then the physical has the purpose there exists an entity such that the entity is an instance of bolt and the physical contains the entity
(=> (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	If a physical is an instance of washer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of attaching device and the entity meets the physical and the physical contains the other entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners