Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Concrete
Concrete

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 est une sous-classe de mixture

appearance as argument number 2
-------------------------


(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 5896-5896 industryProductType ConcretePipeBrickAndBlockManufacturing and Concrete
(industryProductType OtherConcreteProductManufacturing Concrete) Economy.kif 5897-5897 industryProductType OtherConcreteProductManufacturing and Concrete
(subclass ReadyMixConcrete Concrete) Economy.kif 5917-5917 ReadyMixConcrete est une sous-classe de Concrete
(termFormat ChineseLanguage Concrete "具体") domainEnglishFormat.kif 16476-16476
(termFormat ChineseTraditionalLanguage Concrete "具體") domainEnglishFormat.kif 16475-16475
(termFormat EnglishLanguage Concrete "concrete") domainEnglishFormat.kif 16474-16474

antecedent
-------------------------


(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))
Transportation.kif 1331-1336
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Cement)
            (component ?PART ?CONCRETE))))
Economy.kif 5910-5915
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))
Economy.kif 5903-5908

consequent
-------------------------


(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))
Transportation.kif 1316-1322


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners