| Steel(steel) | | steel |
| appearance as argument number 1 |
|
|
| (documentation Steel EnglishLanguage "A MetallicAlloy made from Iron and other elements.") | Mid-level-ontology.kif 8532-8532 | |
| (subclass Steel MetallicAlloy) | Mid-level-ontology.kif 8531-8531 | Steel is a subclass of metallic alloy |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Steel "钢") | domainEnglishFormat.kif 55209-55209 | |
| (termFormat ChineseTraditionalLanguage Steel "鋼") | domainEnglishFormat.kif 55208-55208 | |
| (termFormat EnglishLanguage Steel "steel") | domainEnglishFormat.kif 55207-55207 |
| antecedent |
|
|
| (=> (instance ?STEEL Steel) (exists (?IRON) (and (instance ?IRON Iron) (part ?IRON ?STEEL)))) |
Mid-level-ontology.kif 8534-8539 |
|
|
|
|