Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MetallicAlloy(metallic alloy) |  | fusible_metal, hard_solder, silver_solder, soft_solder, solder |
| appearance as argument number 1 |
|
|
| (subclass MetallicAlloy Mixture) | Mid-level-ontology.kif 10280-10280 | Metallic alloy is a subclass of mixture |
| (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 10281-10283 | Metallic alloy is a subclass of mixture |
| (roomTempState MetallicAlloy Solid) | Mid-level-ontology.kif 34068-34068 | room temperature state metallic alloy and solid |
| appearance as argument number 2 |
|
|
| 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 10285-10293 | If X is an instance of metallic alloy, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of metal (3) Z is an instance of metal (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
| 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 6749-6758 | If X is an instance of soldering, Y is a patient of X, Z is a patient of X, and equal Y and Z, then there exists W such that W is an instance of metallic alloy, W connects Y, and Z |
|