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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MetallicAlloy
MetallicAlloy(metallic alloy)fusible_metal, hard_solder, silver_solder, soft_solder, solder

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


(documentation MetallicAlloy EnglishLanguage "A Mixture of two or more Metals, and possibly nonmetallic elements as well. For example, steel is an alloy containing iron and manganese.") Mid-level-ontology.kif 8563-8565
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8562-8562 Metallic alloy is a subclass of mixture

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


(subclass Brass MetallicAlloy) Mid-level-ontology.kif 8587-8587 Brass is a subclass of metallic alloy
(subclass Steel MetallicAlloy) Mid-level-ontology.kif 8577-8577 Steel is a subclass of metallic alloy
(termFormat ChineseLanguage MetallicAlloy "金属合金") domainEnglishFormat.kif 37254-37254
(termFormat ChineseTraditionalLanguage MetallicAlloy "金屬合金") domainEnglishFormat.kif 37253-37253
(termFormat EnglishLanguage MetallicAlloy "metallic alloy") domainEnglishFormat.kif 37252-37252

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


(=>
    (instance ?ALLOY MetallicAlloy)
    (exists (?METAL1 ?METAL2)
        (and
            (instance ?METAL1 Metal)
            (instance ?METAL2 Metal)
            (not
                (equal ?METAL1 ?METAL2))
            (part ?METAL1 ?ALLOY)
            (part ?METAL2 ?ALLOY))))
Mid-level-ontology.kif 8567-8575

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


(=>
    (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 5337-5346


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