Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 4280-4283
(subclass WasherForBolt Device) Mid-level-ontology.kif 4277-4277 垫圈设备subclass

appearance as argument number 2

(termFormat ChineseLanguage WasherForBolt "垫圈") domainEnglishFormat.kif 62253-62253
(termFormat ChineseTraditionalLanguage WasherForBolt "墊圈") domainEnglishFormat.kif 62252-62252
(termFormat EnglishLanguage WasherForBolt "washer") domainEnglishFormat.kif 62251-62251


    (instance ?W WasherForBolt)
    (attribute ?W RingTorus))
Mid-level-ontology.kif 4295-4297
    (instance ?W WasherForBolt)
    (exists (?H)
            (instance ?H HoleRegion)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4307-4312
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?B)
                (instance ?B Bolt)
                (contains ?W ?B)))))
Mid-level-ontology.kif 4299-4305
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?O1 ?O2)
                (instance ?O1 CorpuscularObject)
                (instance ?O2 AttachingDevice)
                (meetsSpatially ?O1 ?W)
                (contains ?W ?O2)))))
Mid-level-ontology.kif 4285-4293

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

Show without tree

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