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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 4752-4755
(subclass WasherForBolt Device) Mid-level-ontology.kif 4749-4749

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


(termFormat EnglishLanguage WasherForBolt "washer") Mid-level-ontology.kif 4750-4750

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


(=>
    (instance ?W WasherForBolt)
    (attribute ?W RingTorus))
Mid-level-ontology.kif 4767-4769
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4779-4784
(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?B)
            (and
                (instance ?B Bolt)
                (contains ?W ?B)))))
Mid-level-ontology.kif 4771-4777
(=>
    (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 4757-4765


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