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

appearance as argument number 2

(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete)	Economy.kif 6289-6289	industryProductType ConcretePipeBrickAndBlockManufacturing and Concrete
(industryProductType OtherConcreteProductManufacturing Concrete)	Economy.kif 6290-6290	industryProductType OtherConcreteProductManufacturing and Concrete
(subclass ReadyMixConcrete Concrete)	Economy.kif 6310-6310	ReadyMixConcrete is a subclass of Concrete
(termFormat ChineseLanguage Concrete "具体")	domainEnglishFormat.kif 16484-16484	ReadyMixConcrete is a subclass of Concrete
(termFormat ChineseTraditionalLanguage Concrete "具體")	domainEnglishFormat.kif 16483-16483	ReadyMixConcrete is a subclass of Concrete
(termFormat EnglishLanguage Concrete "concrete")	domainEnglishFormat.kif 16482-16482	ReadyMixConcrete 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 PavedRunway
(=> (instance ?CONCRETE Concrete) (exists (?PART) (and (instance ?PART Cement) (component ?PART ?CONCRETE))))	Economy.kif 6303-6308	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 6296-6301	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