Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Concrete
Concrete(concrete)
concrete

appearance as argument number 1
-------------------------


(subclass Concrete Mixture) Economy.kif 6312-6312 Concrete is a subclass of mixture
(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 6316-6318 Concrete is a subclass of mixture
(subclass Concrete Artifact) Society.kif 566-566 Concrete is a subclass of artifact
(externalImage Concrete "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Concrete_aggregate_grinding.JPG") pictureList.kif 946-946 Concrete is a subclass of artifact

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


(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 6313-6313 Concrete is an industry product type of concrete pipe brick and block manufacturing
(industryProductType OtherConcreteProductManufacturing Concrete) Economy.kif 6314-6314 Concrete is an industry product type of other concrete product manufacturing
(subclass ReadyMixConcrete Concrete) Economy.kif 6334-6334 Ready mix concrete is a subclass of concrete
(termFormat EnglishLanguage Concrete "concrete") domainEnglishFormat.kif 16476-16476 Ready mix concrete is a subclass of concrete
(termFormat ChineseTraditionalLanguage Concrete "具體") domainEnglishFormat.kif 16477-16477 Ready mix concrete is a subclass of concrete
(termFormat ChineseLanguage Concrete "具体") domainEnglishFormat.kif 16478-16478 Ready mix concrete is a subclass of concrete

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


(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Mineral)
            (component ?PART ?CONCRETE))))		 Economy.kif 6320-6325 If X is an instance of concrete, then there exists Y such that Y is an instance of mineral and Y is a component of X
(=>
    (instance ?CONCRETE Concrete)
    (exists (?PART)
        (and
            (instance ?PART Cement)
            (component ?PART ?CONCRETE))))		 Economy.kif 6327-6332 If X is an instance of concrete, then there exists Y such that Y is an instance of cement and Y is a component of X
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1419-1424 If X is an instance of runway, Y is a surface of X, and Y is an instance of concrete, then X is an instance of paved runway

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


(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))		 Transportation.kif 1404-1410 If X is an instance of paved runway and Y is a surface of X, then Y is an instance of asphalt or Y is an instance of concrete


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners