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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4784-4786
(externalImage Concrete "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Concrete_aggregate_grinding.JPG") pictureList.kif 947-947 "http://upload.wikimedia.org/wikipedia/commons/2/25/ Concrete_aggregate_grinding.JPG" is a URL depicting concrete
(subclass Concrete Artifact) Society.kif 564-564 Concrete is a subclass of artifact
(subclass Concrete Mixture) Economy.kif 4780-4780 Concrete is a subclass of mixture

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


(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 4781-4781 Concrete is an industry product type of concrete pipe brick and block manufacturing
(industryProductType OtherConcreteProductManufacturing Concrete) Economy.kif 4782-4782 Concrete is an industry product type of other concrete product manufacturing
(subclass ReadyMixConcrete Concrete) Economy.kif 4802-4802 Ready mix concrete is a subclass of concrete
(termFormat EnglishLanguage Concrete "concrete") domainEnglishFormat.kif 3167-3167 "concrete" is the printable form of concrete in english language

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


(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))
Transportation.kif 1278-1283
(=>
    (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 1263-1269


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