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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Soldering
Soldering

VerbNet: tape-22.4|solder,


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


(documentation Soldering EnglishLanguage "Attaching two things by means of a MetallicAlloy.") Mid-level-ontology.kif 5861-5861
(externalImage Soldering "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Fitting1537.JPG") pictureList.kif 6872-6872 externalImage Soldering and "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Fitting1537.JPG"
(externalImage Soldering "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Desoldering.jpg") pictureList.kif 7920-7920 externalImage Soldering and "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Desoldering.jpg"
(externalImage Soldering "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Ersin_Multicore_Solder_Tube.jpg") pictureList.kif 7921-7921 externalImage Soldering and "http://upload.wikimedia.org/wikipedia/commons/d/db/ Ersin_Multicore_Solder_Tube.jpg"
(subclass Soldering Attaching) Mid-level-ontology.kif 5860-5860 subclass Soldering and Attaching

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


(termFormat ChineseLanguage Soldering "焊接") domainEnglishFormat.kif 53785-53785 termFormat ChineseLanguage, Soldering and "焊接"
(termFormat ChineseTraditionalLanguage Soldering "焊接") domainEnglishFormat.kif 53784-53784 termFormat ChineseTraditionalLanguage, Soldering and "焊接"
(termFormat EnglishLanguage Soldering "soldering") domainEnglishFormat.kif 53783-53783 termFormat EnglishLanguage, Soldering and "soldering"

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


(=>
    (and
        (instance ?S Soldering)
        (patient ?S ?OBJ1)
        (patient ?S ?OBJ2)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (exists (?A)
        (and
            (instance ?A MetallicAlloy)
            (connects ?A ?OBJ1 ?OBJ2))))
Mid-level-ontology.kif 5863-5872
(=>
    (instance ?S Soldering)
    (exists (?M)
        (and
            (instance ?M Melting)
            (subProcess ?M ?S))))
Mid-level-ontology.kif 5892-5897
(=>
    (instance ?S Soldering)
    (exists (?SI)
        (and
            (instance ?SI SolderingIron)
            (instrument ?S ?SI))))
Mid-level-ontology.kif 5879-5884


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