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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MetallicAlloy
MetallicAlloy

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 8585-8587
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8584-8584 subclass MetallicAlloy and Mixture

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


(subclass Brass MetallicAlloy) Mid-level-ontology.kif 8609-8609 subclass Brass and MetallicAlloy
(subclass Steel MetallicAlloy) Mid-level-ontology.kif 8599-8599 subclass Steel and MetallicAlloy
(termFormat ChineseLanguage MetallicAlloy "金属合金") domainEnglishFormat.kif 37189-37189 termFormat ChineseLanguage, MetallicAlloy and "金属合金"
(termFormat ChineseTraditionalLanguage MetallicAlloy "金屬合金") domainEnglishFormat.kif 37188-37188 termFormat ChineseTraditionalLanguage, MetallicAlloy and "金屬合金"
(termFormat EnglishLanguage MetallicAlloy "metallic alloy") domainEnglishFormat.kif 37187-37187 termFormat EnglishLanguage, MetallicAlloy and "metallic alloy"

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 8589-8597

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 5861-5870


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