Concrete - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Concrete EnglishLanguage "Concrete is a class of CompoundSubstances used as building materials. Concrete is made up of Mineral pieces (sand or gravel) and a Cement material used to bind them together.")	Economy.kif 4784-4786
(externalImage Concrete "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Concrete_aggregate_grinding.JPG")	pictureList.kif 947-947
(subclass Concrete Mixture)	Economy.kif 4780-4780	Concrete is a subclass of mixture

appearance as argument number 2

(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete)	Economy.kif 4781-4781	Concrete is an industry product type of concrete pipe brick and block manufacturing
(industryProductType OtherConcreteProductManufacturing Concrete)	Economy.kif 4782-4782	Concrete is an industry product type of other concrete product manufacturing
(subclass ReadyMixConcrete Concrete)	Economy.kif 4802-4802	Ready mix concrete is a subclass of concrete
(termFormat ChineseLanguage Concrete "具体")	domainEnglishFormat.kif 16399-16399
(termFormat ChineseTraditionalLanguage Concrete "具體")	domainEnglishFormat.kif 16398-16398
(termFormat EnglishLanguage Concrete "concrete")	domainEnglishFormat.kif 16397-16397

antecedent

(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1320-1325	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of concrete, then the self connected object is an instance of paved runway
(=> (instance ?CONCRETE Concrete) (exists (?PART) (and (instance ?PART Cement) (component ?PART ?CONCRETE))))	Economy.kif 4795-4800	If a corpuscular object is an instance of concrete, then there exists another corpuscular object such that the other corpuscular object is an instance of cement and the other corpuscular object is a component of the corpuscular object
(=> (instance ?CONCRETE Concrete) (exists (?PART) (and (instance ?PART Mineral) (component ?PART ?CONCRETE))))	Economy.kif 4788-4793	If a corpuscular object is an instance of concrete, then there exists another corpuscular object such that the other corpuscular object is an instance of mineral and the other corpuscular object is a component of the corpuscular object

consequent

(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))

Transportation.kif 1305-1311