TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Cement CompoundSubstance)	Economy.kif 6338-6338	Cement is a subclass of compound substance
(documentation Cement 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 6340-6343	Cement is a subclass of compound substance
(subclass Cement Artifact)	Society.kif 564-564	Cement is a subclass of artifact
(externalImage Cement "http://articulatesoftware.com/SUMOpictures/working/ construction/ Cement_1.png")	pictureList.kif 332-332	Cement is a subclass of artifact

appearance as argument number 2

(industryProductType CementManufacturing Cement)	Economy.kif 1828-1828	Cement is an industry product type of cement manufacturing
(termFormat EnglishLanguage Cement "cement")	domainEnglishFormat.kif 13728-13728	Cement is an industry product type of cement manufacturing
(termFormat ChineseTraditionalLanguage Cement "水泥")	domainEnglishFormat.kif 13729-13729	Cement is an industry product type of cement manufacturing
(termFormat ChineseLanguage Cement "水泥")	domainEnglishFormat.kif 13730-13730	Cement is an industry product type of cement manufacturing

consequent

(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Cement)
            (component ?PART ?CONCRETE))))

If X is an instance of concrete, then there exists Y such that Y is an instance of cement and Y is a component of X