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 8914-8916
(roomTempState MetallicAlloy Solid) Mid-level-ontology.kif 31621-31621 roomTempState MetallicAlloy and Solid
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8913-8913 MetallicAlloy est une sous-classe de mixture

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


(subclass Brass MetallicAlloy) Mid-level-ontology.kif 8938-8938 Brass est une sous-classe de MetallicAlloy
(subclass Steel MetallicAlloy) Mid-level-ontology.kif 8928-8928 Steel est une sous-classe de MetallicAlloy
(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