Gravel - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Gravel ChineseLanguage "Gravel 是由 &Pebble 组成的混合物，按照溫特瓦分級，它的 approximateDiameter 在 2 Millimeter 和 256 Millimeter 之间。")	Geography.kif 4503-4504
(documentation Gravel EnglishLanguage "Gravel is a mixture of &Pebbles which are between 2 Millimeter to 64 Millimeter in approximateDiameter in the Wentworth Scale.")	Geography.kif 4499-4501
(externalImage Gravel "http://articulatesoftware.com/SUMOpictures/working/ vehicles/ gravel.png")	pictureList.kif 472-472
(roomTempState Gravel Solid)	Mid-level-ontology.kif 32730-32730	roomTempState gravel and solid
(subclass Gravel Mixture)	Geography.kif 4509-4509	Gravel is a subclass of mixture

appearance as argument number 2

(termFormat ChineseLanguage Gravel "砾石")	domainEnglishFormat.kif 26530-26530
(termFormat ChineseTraditionalLanguage Gravel "礫石")	domainEnglishFormat.kif 26529-26529
(termFormat EnglishLanguage Gravel "gravel")	domainEnglishFormat.kif 26528-26528

antecedent

(=>
    (instance ?GRAVEL Gravel)
    (exists (?P)
        (and
            (part ?P ?GRAVEL)
            (instance ?P Pebble))))

Geography.kif 4511-4516

If an object is an instance of gravel,
then there exists another object such that the other object is a part of the object and the other object is an instance of pebble

consequent

(=>
    (instance ?Loam Loam)
    (exists (?Clay ?Sand ?Gravel ?Silt ?Organic)
        (and
            (instance ?Clay Clay)
            (piece ?Clay ?Loam)
            (instance ?Gravel Gravel)
            (piece ?Gravel ?Loam)
            (instance ?Sand Sand)
            (piece ?Sand ?Loam)
            (instance ?Silt Silt)
            (piece ?Silt ?Loam)
            (instance ?Organic BodySubstance)
            (piece ?Organic ?Loam))))

Geography.kif 4409-4422

If a substance is an instance of loam,
then there exist another substance, a third substance,, , a fourth substance,, , a fifth substance and a sixth substance such that the other substance is an instance of clay and the other substance is a piece of the substance and the fourth substance is an instance of gravel and the fourth substance is a piece of the substance and the third substance is an instance of sand and the third substance is a piece of the substance and the fifth substance is an instance of silt and the fifth substance is a piece of the substance and the sixth substance is an instance of body substance and the sixth substance is a piece of the substance

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

KB Term:			Term intersection

English Word: