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 4784-4786
(externalImage Concrete "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Concrete_aggregate_grinding.JPG") pictureList.kif 947-947
(subclass Concrete Mixture) Economy.kif 4780-4780

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


(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 4781-4781
(industryProductType OtherConcreteProductManufacturing Concrete) Economy.kif 4782-4782
(subclass ReadyMixConcrete Concrete) Economy.kif 4802-4802
(termFormat ChineseLanguage Concrete "具体") domainEnglishFormat.kif 16405-16405
(termFormat ChineseTraditionalLanguage Concrete "具體") domainEnglishFormat.kif 16404-16404
(termFormat EnglishLanguage Concrete "concrete") domainEnglishFormat.kif 16403-16403

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


(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))
Transportation.kif 1320-1325
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Cement)
            (component ?PART ?CONCRETE))))
Economy.kif 4795-4800
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))
Economy.kif 4788-4793

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners