| MetallicAlloy(metallic alloy) | | fusible_metal, hard_solder, silver_solder, soft_solder, solder |
| 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 9687-9689 | |
| (roomTempState MetallicAlloy Solid) | Mid-level-ontology.kif 32744-32744 | roomTempState metallic alloy and solid |
| (subclass MetallicAlloy Mixture) | Mid-level-ontology.kif 9686-9686 | Metallic alloy is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (subclass Brass MetallicAlloy) | Mid-level-ontology.kif 9711-9711 | Brass is a subclass of metallic alloy |
| (subclass Steel MetallicAlloy) | Mid-level-ontology.kif 9701-9701 | Steel is a subclass of metallic alloy |
| (termFormat ChineseLanguage MetallicAlloy "金属合金") | domainEnglishFormat.kif 37291-37291 | Steel is a subclass of metallic alloy |
| (termFormat ChineseTraditionalLanguage MetallicAlloy "金屬合金") | domainEnglishFormat.kif 37290-37290 | Steel is a subclass of metallic alloy |
| (termFormat EnglishLanguage MetallicAlloy "metallic alloy") | domainEnglishFormat.kif 37289-37289 | Steel is a subclass of 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 9691-9699 |
|
| 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 6179-6188 |
|
|
|
|