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 4346-4349
(subclass WasherForBolt Device)	Mid-level-ontology.kif 4343-4343	Washer is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage WasherForBolt "垫圈")	domainEnglishFormat.kif 62276-62276
(termFormat ChineseTraditionalLanguage WasherForBolt "墊圈")	domainEnglishFormat.kif 62275-62275
(termFormat EnglishLanguage WasherForBolt "washer")	domainEnglishFormat.kif 62274-62274

antecedent

(=> (instance ?W WasherForBolt) (attribute ?W RingTorus))	Mid-level-ontology.kif 4361-4363	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 4373-4378	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 4365-4371	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 4351-4359	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