Steel |
appearance as argument number 1 |
(documentation Steel EnglishLanguage "A MetallicAlloy made from Iron and other elements.") | Mid-level-ontology.kif 8928-8928 | |
(subclass Steel MetallicAlloy) | Mid-level-ontology.kif 8927-8927 | Steel は MetallicAlloy の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Steel "钢") | domainEnglishFormat.kif 55230-55230 | |
(termFormat ChineseTraditionalLanguage Steel "鋼") | domainEnglishFormat.kif 55229-55229 | |
(termFormat EnglishLanguage Steel "steel") | domainEnglishFormat.kif 55228-55228 |
antecedent |
(=> (instance ?STEEL Steel) (exists (?IRON) (and (instance ?IRON Iron) (part ?IRON ?STEEL)))) |
Mid-level-ontology.kif 8930-8935 |