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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gravel
Gravel

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


(documentation Gravel ChineseLanguage "Gravel 是由 &Pebble 组成的混合物,按照溫特瓦分級,它的 approximateDiameter 在 2 Millimeter 和 256 Millimeter 之间。") Geography.kif 4434-4435
(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 4430-4432
(externalImage Gravel "http://articulatesoftware.com/SUMOpictures/working/ vehicles/ gravel.png") pictureList.kif 472-472
(roomTempState Gravel Solid) Mid-level-ontology.kif 31607-31607
(subclass Gravel Mixture) Geography.kif 4440-4440

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


(termFormat ChineseLanguage Gravel "砾石") domainEnglishFormat.kif 26502-26502
(termFormat ChineseTraditionalLanguage Gravel "礫石") domainEnglishFormat.kif 26501-26501
(termFormat EnglishLanguage Gravel "gravel") domainEnglishFormat.kif 26500-26500

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


(=>
    (instance ?GRAVEL Gravel)
    (exists (?P)
        (and
            (part ?P ?GRAVEL)
            (instance ?P Pebble))))
Geography.kif 4442-4447

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 4340-4353


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