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 | Brass は MetallicAlloy の subclass では |
(subclass Steel MetallicAlloy) | Mid-level-ontology.kif 10134-10134 | Steel は MetallicAlloy の subclass では |
(termFormat ChineseLanguage MetallicAlloy "金属合金") | domainEnglishFormat.kif 37274-37274 | Steel は MetallicAlloy の subclass では |
(termFormat ChineseTraditionalLanguage MetallicAlloy "金屬合金") | domainEnglishFormat.kif 37273-37273 | Steel は MetallicAlloy の subclass では |
(termFormat EnglishLanguage MetallicAlloy "metallic alloy") | domainEnglishFormat.kif 37272-37272 | Steel は MetallicAlloy の subclass では |
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 |
![]() |
![]() |