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 8914-8916
(roomTempState MetallicAlloy Solid) Mid-level-ontology.kif 31621-31621 roomTempState metallic alloy and solid
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8913-8913 Metallic alloy is a subclass of mixture

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


(subclass Brass MetallicAlloy) Mid-level-ontology.kif 8938-8938 Brass is a subclass of metallic alloy
(subclass Steel MetallicAlloy) Mid-level-ontology.kif 8928-8928 Steel is a subclass of metallic alloy
(termFormat ChineseLanguage MetallicAlloy "金属合金") domainEnglishFormat.kif 37265-37265
(termFormat ChineseTraditionalLanguage MetallicAlloy "金屬合金") domainEnglishFormat.kif 37264-37264
(termFormat EnglishLanguage MetallicAlloy "metallic alloy") domainEnglishFormat.kif 37263-37263

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 8918-8926

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 5630-5639


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