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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15624-15625
(externalImage Soil "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ soil.png") pictureList.kif 741-741
(subclass Soil Mixture) Mid-level-ontology.kif 15623-15623 Soil is a subclass of mixture

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


(subclass Clay Soil) Mid-level-ontology.kif 15666-15666 Clay is a subclass of soil
(subclass Loam Soil) Geography.kif 4115-4115 Loam is a subclass of soil
(subclass Mud Soil) Cars.kif 4961-4961 Mud is a subclass of soil
(subclass Sand Soil) Geography.kif 4140-4140 Sand is a subclass of soil
(subclass Silt Soil) Geography.kif 4175-4175 Silt is a subclass of soil
(termFormat ChineseLanguage Soil "泥") domainEnglishFormat.kif 53647-53647
(termFormat ChineseTraditionalLanguage Soil "泥") domainEnglishFormat.kif 53646-53646
(termFormat EnglishLanguage Soil "soil") domainEnglishFormat.kif 53645-53645

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


(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1796-1802
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1788-1794
(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))
Mid-level-ontology.kif 15627-15634

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


(=>
    (and
        (instance ?TILL Tilling)
        (patient ?TILL ?SOIL))
    (instance ?SOIL Soil))
Mid-level-ontology.kif 15727-15731
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 15702-15709
(=>
    (instance ?D Digging)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Soil))))
Mid-level-ontology.kif 15714-15719
(=>
    (instance ?Humus Humus)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Humus ?Soil))))
Mid-level-ontology.kif 15691-15696
(=>
    (instance ?PROCESS SoilSalination)
    (exists (?SOIL)
        (and
            (instance ?SOIL Soil)
            (resource ?PROCESS ?SOIL))))
Geography.kif 2813-2818
(=>
    (instance ?Solution SoilSolution)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Solution ?Soil))))
Geography.kif 4108-4113


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