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 4942-4944
(externalImage Concrete "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Concrete_aggregate_grinding.JPG")	pictureList.kif 947-947
(subclass Concrete Mixture)	Economy.kif 4938-4938	Concrete is a subclass of mixture

appearance as argument number 2

(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete)	Economy.kif 4939-4939	Concrete is an industry product type of concrete pipe brick and block manufacturing
(industryProductType OtherConcreteProductManufacturing Concrete)	Economy.kif 4940-4940	Concrete is an industry product type of other concrete product manufacturing
(subclass ReadyMixConcrete Concrete)	Economy.kif 4960-4960	Ready mix concrete is a subclass of concrete
(termFormat ChineseLanguage Concrete "具体")	domainEnglishFormat.kif 16467-16467
(termFormat ChineseTraditionalLanguage Concrete "具體")	domainEnglishFormat.kif 16466-16466
(termFormat EnglishLanguage Concrete "concrete")	domainEnglishFormat.kif 16465-16465

antecedent

(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1331-1336	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 4953-4958	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 4946-4951	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 1316-1322