| Cement(cement)
| | Portland_cement, cement, ferroconcrete, hydraulic_cement, mortar, reinforced_concrete |
| appearance as argument number 1 |
|
|
| s__documentation(s__Cement,s__EnglishLanguage,'"Cement is a subclass of CompoundSubstance whose instances may contain various minerals or ores, prepared by heating and pulverizing, and used in binding Concrete or in laying brick or stone."')
|
Economy.kif 4808-4811 | |
| s__externalImage(s__Cement,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ construction/ Cement_1.png"')
|
pictureList.kif 332-332 | |
| s__instance(s__Cement,s__SetOrClass) s__instance(s__CompoundSubstance,s__SetOrClass) s__subclass(s__Cement,s__CompoundSubstance)
|
Economy.kif 4806-4806 | Cement is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| s__industryProductType(s__CementManufacturing,s__Cement)
|
Economy.kif 1712-1712 | Cement is an industry product type of cement manufacturing |
| s__termFormat(s__ChineseLanguage,s__Cement,'"水泥"')
|
domainEnglishFormat.kif 13666-13666 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__Cement,'"水泥"')
|
domainEnglishFormat.kif 13665-13665 | |
| s__termFormat(s__EnglishLanguage,s__Cement,'"cement"')
|
domainEnglishFormat.kif 13664-13664 |
| consequent |
|
|
| ( ! [V__CONCRETE] : ((s__instance(V__CONCRETE,s__Concrete) => (( ? [V__PART] : ((s__instance(V__PART,s__Cement) & s__component(V__PART,V__CONCRETE)))))) ) )
|
Economy.kif 4795-4800 |
|
|
|
|