Soldering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Soldering

Soldering(soldering)

braze, dip_solder, soft-solder, solder

appearance as argument number 1

(documentation Soldering EnglishLanguage "Attaching two things by means of a MetallicAlloy.")	Mid-level-ontology.kif 6177-6177
(externalImage Soldering "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Fitting1537.JPG")	pictureList.kif 6870-6870
(externalImage Soldering "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Desoldering.jpg")	pictureList.kif 7917-7917
(externalImage Soldering "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Ersin_Multicore_Solder_Tube.jpg")	pictureList.kif 7918-7918
(subclass Soldering Attaching)	Mid-level-ontology.kif 6176-6176	Soldering is a subclass of attaching

appearance as argument number 2

(termFormat ChineseLanguage Soldering "焊接")	domainEnglishFormat.kif 53879-53879
(termFormat ChineseTraditionalLanguage Soldering "焊接")	domainEnglishFormat.kif 53878-53878
(termFormat EnglishLanguage Soldering "soldering")	domainEnglishFormat.kif 53877-53877

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 6179-6188	If a process is an instance of soldering and an object is a patient of the process and another object is a patient of the process and the object is not equal to the other object, then there exists a third object such that the third object is an instance of metallic alloy and the third object connects the object and the other object
(=> (instance ?S Soldering) (exists (?M) (and (instance ?M Melting) (subProcess ?M ?S))))	Mid-level-ontology.kif 6208-6213	If a process is an instance of soldering, then there exists another process such that the other process is an instance of melting and the other process is a subprocess of the process
(=> (instance ?S Soldering) (exists (?SI) (and (instance ?SI SolderingIron) (instrument ?S ?SI))))	Mid-level-ontology.kif 6195-6200	If a process is an instance of soldering, then there exists the processI such that the processI is an instance of soldering iron and the processI is an instrument for the process

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