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

appearance as argument number 2

(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete)	Economy.kif 5896-5896	Concrete is an industry product type of concrete pipe brick and block manufacturing
(industryProductType OtherConcreteProductManufacturing Concrete)	Economy.kif 5897-5897	Concrete is an industry product type of other concrete product manufacturing
(subclass ReadyMixConcrete Concrete)	Economy.kif 5917-5917	Ready mix concrete is a subclass of concrete
(termFormat ChineseLanguage Concrete "具体")	domainEnglishFormat.kif 16492-16492	Ready mix concrete is a subclass of concrete
(termFormat ChineseTraditionalLanguage Concrete "具體")	domainEnglishFormat.kif 16491-16491	Ready mix concrete is a subclass of concrete
(termFormat EnglishLanguage Concrete "concrete")	domainEnglishFormat.kif 16490-16490	Ready mix concrete is a subclass of concrete

antecedent

(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1403-1408	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 5910-5915	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 5903-5908	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 1388-1394