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 8596-8598
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8595-8595 subclass MetallicAlloy and Mixture

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


(subclass Brass MetallicAlloy) Mid-level-ontology.kif 8620-8620 subclass Brass and MetallicAlloy
(subclass Steel MetallicAlloy) Mid-level-ontology.kif 8610-8610 subclass Steel and MetallicAlloy
(termFormat ChineseLanguage MetallicAlloy "金属合金") domainEnglishFormat.kif 37165-37165
(termFormat ChineseTraditionalLanguage MetallicAlloy "金屬合金") domainEnglishFormat.kif 37164-37164
(termFormat EnglishLanguage MetallicAlloy "metallic alloy") domainEnglishFormat.kif 37163-37163

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 8600-8608

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 5869-5878


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