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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Concrete

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

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


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

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 4957-4962
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))
Economy.kif 4950-4955

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


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


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

Show without tree


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