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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WasherForBolt

Sigma KEE - WasherForBolt
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 WasherForBolt est une sous-classe de appareil

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

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


(=>
    (instance ?W WasherForBolt)
    (attribute ?W RingTorus))
Mid-level-ontology.kif 4295-4297
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4307-4312
(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?B)
            (and
                (instance ?B Bolt)
                (contains ?W ?B)))))
Mid-level-ontology.kif 4299-4305
(=>
    (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 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