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 10120-10122
(roomTempState MetallicAlloy Solid) Mid-level-ontology.kif 33566-33566 roomTempState MetallicAlloy and Solid
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 10119-10119 MetallicAlloy混合物subclass では

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


(subclass Brass MetallicAlloy) Mid-level-ontology.kif 10144-10144 BrassMetallicAlloysubclass では
(subclass Steel MetallicAlloy) Mid-level-ontology.kif 10134-10134 SteelMetallicAlloysubclass では
(termFormat ChineseLanguage MetallicAlloy "金属合金") domainEnglishFormat.kif 37274-37274 SteelMetallicAlloysubclass では
(termFormat ChineseTraditionalLanguage MetallicAlloy "金屬合金") domainEnglishFormat.kif 37273-37273 SteelMetallicAlloysubclass では
(termFormat EnglishLanguage MetallicAlloy "metallic alloy") domainEnglishFormat.kif 37272-37272 SteelMetallicAlloysubclass では

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 10124-10132

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 6567-6576


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