SolderingIron - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SolderingIron ElectricDevice)	Mid-level-ontology.kif 6760-6760	Soldering iron is a subclass of electric device
(documentation SolderingIron EnglishLanguage "An ElectricDevice for melting Solder and thereby Attaching metallic objects to one another.")	Mid-level-ontology.kif 6761-6763	Soldering iron is a subclass of electric device

appearance as argument number 2

(termFormat EnglishLanguage SolderingIron "soldering iron")	domainEnglishFormat.kif 53847-53847
(termFormat ChineseTraditionalLanguage SolderingIron "烙鐵")	domainEnglishFormat.kif 53848-53848
(termFormat ChineseLanguage SolderingIron "烙铁")	domainEnglishFormat.kif 53849-53849

antecedent

(=>
    (instance ?SI SolderingIron)
    (exists (?X)
        (and
            (part ?X ?SI)
            (material Metal ?X))))

If X is an instance of soldering iron, then there exists Y such that Y is a part of X and Y is made of metal

consequent

(=>
    (instance ?S Soldering)
    (exists (?SI)
        (and
            (instance ?SI SolderingIron)
            (instrument ?S ?SI))))

If X is an instance of soldering, then there exists Y such that Y is an instance of soldering iron and Y is an instrument for X