Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  NuclearNonproliferation

 Sigma KEE - Nail
Nail(nail)
brad, clout, clout_nail, doornail, eightpenny_nail, fourpenny_nail, hobnail, nail, sixpenny_nail, spike, staple, stub_nail, tack, tenpenny_nail

appearance as argument number 1
-------------------------


(subclass Nail AttachingDevice) Mid-level-ontology.kif 4868-4868 Nail is a subclass of attaching device
(documentation Nail EnglishLanguage "An AttachingDevice which is a thin piece of metal, with or without a head, that is fastened with a Hammer.") Mid-level-ontology.kif 4869-4870 Nail is a subclass of attaching device
(externalImage Nail "http://upload.wikimedia.org/wikipedia/commons/5/56/ Nail.agr.jpg") pictureList.kif 136-136 Nail is a subclass of attaching device

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


(termFormat EnglishLanguage Nail "nail") domainEnglishFormat.kif 39613-39613
(termFormat ChineseTraditionalLanguage Nail "釘") domainEnglishFormat.kif 39614-39614
(termFormat ChineseLanguage Nail "钉") domainEnglishFormat.kif 39615-39615

consequent
-------------------------


(=>
    (instance ?H Hammer)
    (hasPurpose ?H
        (exists (?I ?N)
            (and
                (instance ?I Impelling)
                (instrument ?I ?H)
                (patient ?I ?N)
                (instance ?N Nail)))))		 Mid-level-ontology.kif 4858-4866 If X is an instance of hammer, then X has the purpose there exist Y, Z such that Y is an instance of impelling, X is an instrument for Y, Z is a patient of Y, and Z is an instance of nail


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners