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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Soil
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 15651-15652
(externalImage Soil "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ soil.png") pictureList.kif 741-741
(subclass Soil Mixture) Mid-level-ontology.kif 15650-15650

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


(subclass Clay Soil) Mid-level-ontology.kif 15693-15693
(subclass Loam Soil) Geography.kif 4174-4174
(subclass Mud Soil) Cars.kif 5004-5004
(subclass Sand Soil) Geography.kif 4199-4199
(subclass Silt Soil) Geography.kif 4234-4234
(termFormat ChineseLanguage Soil "泥") domainEnglishFormat.kif 53744-53744
(termFormat ChineseTraditionalLanguage Soil "泥") domainEnglishFormat.kif 53743-53743
(termFormat EnglishLanguage Soil "soil") domainEnglishFormat.kif 53742-53742

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


(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1814-1820
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1806-1812
(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))
Mid-level-ontology.kif 15654-15661

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


(=>
    (and
        (instance ?TILL Tilling)
        (patient ?TILL ?SOIL))
    (instance ?SOIL Soil))
Mid-level-ontology.kif 15754-15758
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 15729-15736
(=>
    (instance ?D Digging)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Soil))))
Mid-level-ontology.kif 15741-15746
(=>
    (instance ?Humus Humus)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Humus ?Soil))))
Mid-level-ontology.kif 15718-15723
(=>
    (instance ?PROCESS SoilSalination)
    (exists (?SOIL)
        (and
            (instance ?SOIL Soil)
            (resource ?PROCESS ?SOIL))))
Geography.kif 2835-2840
(=>
    (instance ?Solution SoilSolution)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Solution ?Soil))))
Geography.kif 4167-4172


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