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 4742-4745
(subclass WasherForBolt Device)	Mid-level-ontology.kif 4739-4739	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 4757-4759	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 4769-4774	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 4761-4767	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 4747-4755	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