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

appearance as argument number 2

(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete)	Economy.kif 6294-6294	Concrete is an industry product type of concrete pipe brick and block manufacturing
(industryProductType OtherConcreteProductManufacturing Concrete)	Economy.kif 6295-6295	Concrete is an industry product type of other concrete product manufacturing
(subclass ReadyMixConcrete Concrete)	Economy.kif 6315-6315	Ready mix concrete is a subclass of concrete
(termFormat ChineseLanguage Concrete "具体")	domainEnglishFormat.kif 16485-16485	Ready mix concrete is a subclass of concrete
(termFormat ChineseTraditionalLanguage Concrete "具體")	domainEnglishFormat.kif 16484-16484	Ready mix concrete is a subclass of concrete
(termFormat EnglishLanguage Concrete "concrete")	domainEnglishFormat.kif 16483-16483	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 6308-6313	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 6301-6306	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