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

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


(termFormat ChineseLanguage WasherForBolt "垫圈") domainEnglishFormat.kif 62161-62161
(termFormat ChineseTraditionalLanguage WasherForBolt "墊圈") domainEnglishFormat.kif 62160-62160
(termFormat EnglishLanguage WasherForBolt "washer") domainEnglishFormat.kif 62159-62159

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


(=>
    (instance ?W WasherForBolt)
    (attribute ?W RingTorus))
Mid-level-ontology.kif 4770-4772
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4782-4787
(=>
    (instance ?W WasherForBolt)
    (hasPurpose ?W
        (exists (?B)
            (and
                (instance ?B Bolt)
                (contains ?W ?B)))))
Mid-level-ontology.kif 4774-4780
(=>
    (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 4760-4768


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