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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Soil

Sigma KEE - Soil
Soil(soil)
dirt, earth, ground, mulch, soil

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


(documentation Soil EnglishLanguage "Soil is a substance composed of fine rock material disintegrated by geological processes, mixed with humus, the organic remains of decomposed vegetation.") Mid-level-ontology.kif 17314-17315
(externalImage Soil "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ soil.png") pictureList.kif 741-741
(subclass Soil Mixture) Mid-level-ontology.kif 17313-17313 Soil is a subclass of mixture

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


(subclass Clay Soil) Mid-level-ontology.kif 17353-17353 Clay is a subclass of soil
(subclass Loam Soil) Geography.kif 4258-4258 Loam is a subclass of soil
(subclass Mud Soil) Cars.kif 4984-4984 Mud is a subclass of soil
(subclass Sand Soil) Geography.kif 4283-4283 Sand is a subclass of soil
(subclass Silt Soil) Geography.kif 4318-4318 Silt is a subclass of soil
(termFormat ChineseLanguage Soil "泥") domainEnglishFormat.kif 53733-53733
(termFormat ChineseTraditionalLanguage Soil "泥") domainEnglishFormat.kif 53732-53732
(termFormat EnglishLanguage Soil "soil") domainEnglishFormat.kif 53731-53731

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


(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1846-1852
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1838-1844
(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))
Mid-level-ontology.kif 17317-17324

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


(=>
    (and
        (instance ?TILL Tilling)
        (patient ?TILL ?SOIL))
    (instance ?SOIL Soil))
Mid-level-ontology.kif 17416-17420
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 17390-17397
(=>
    (instance ?D Digging)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Soil))))
Mid-level-ontology.kif 17403-17408
(=>
    (instance ?Humus Humus)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Humus ?Soil))))
Mid-level-ontology.kif 17378-17383
(=>
    (instance ?PROCESS SoilSalination)
    (exists (?SOIL)
        (and
            (instance ?SOIL Soil)
            (resource ?PROCESS ?SOIL))))
Geography.kif 2876-2881
(=>
    (instance ?Solution SoilSolution)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Solution ?Soil))))
Geography.kif 4251-4256


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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