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 Hole 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 4749-4752
(subclass WasherForBolt Device) Mid-level-ontology.kif 4746-4746 Washer is a subclass of device

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage WasherForBolt "垫圈") domainEnglishFormat.kif 62140-62140
(termFormat ChineseTraditionalLanguage WasherForBolt "墊圈") domainEnglishFormat.kif 62139-62139
(termFormat EnglishLanguage WasherForBolt "washer") domainEnglishFormat.kif 62138-62138

antecedent
-------------------------


(=>
    (instance ?W WasherForBolt)
    (attribute ?W RingTorus))
Mid-level-ontology.kif 4764-4766
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4776-4781
(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?B)
            (and
                (instance ?B Bolt)
                (contains ?W ?B)))))
Mid-level-ontology.kif 4768-4774
(=>
    (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 4754-4762


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners