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 17922-17923
(externalImage Soil "http://articulatesoftware.com/SUMOpictures/working/ agricultural/ soil.png") pictureList.kif 741-741
(roomTempState Soil Solid) Mid-level-ontology.kif 31652-31652 roomTempState soil and solid
(subclass Soil Mixture) Mid-level-ontology.kif 17921-17921 Soil is a subclass of mixture

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


(subclass Clay Soil) Mid-level-ontology.kif 17961-17961 Clay is a subclass of soil
(subclass Loam Soil) Geography.kif 4336-4336 Loam is a subclass of soil
(subclass Mud Soil) Cars.kif 4981-4981 Mud is a subclass of soil
(subclass Sand Soil) Geography.kif 4361-4361 Sand is a subclass of soil
(subclass Silt Soil) Geography.kif 4418-4418 Silt is a subclass of soil
(termFormat ChineseLanguage Soil "泥") domainEnglishFormat.kif 53750-53750
(termFormat ChineseTraditionalLanguage Soil "泥") domainEnglishFormat.kif 53749-53749
(termFormat EnglishLanguage Soil "soil") domainEnglishFormat.kif 53748-53748

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


(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1843-1849
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1835-1841
(=>
    (instance ?S Soil)
    (capability Salination patient ?S))
Geography.kif 2911-2913
(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))
Mid-level-ontology.kif 17925-17932

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


(=>
    (and
        (instance ?TILL Tilling)
        (patient ?TILL ?SOIL))
    (instance ?SOIL Soil))
Mid-level-ontology.kif 18024-18028
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 17998-18005
(=>
    (instance ?D Digging)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Soil))))
Mid-level-ontology.kif 18011-18016
(=>
    (instance ?Humus Humus)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Humus ?Soil))))
Mid-level-ontology.kif 17986-17991
(=>
    (instance ?PROCESS SoilSalination)
    (exists (?SOIL)
        (and
            (instance ?SOIL Soil)
            (resource ?PROCESS ?SOIL))))
Geography.kif 2954-2959
(=>
    (instance ?Solution SoilSolution)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Solution ?Soil))))
Geography.kif 4329-4334


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