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 19493-19494
(externalImage Soil "http://articulatesoftware.com/SUMOpictures/working/ agricultural/ soil.png") pictureList.kif 741-741
(roomTempState Soil Solid) Mid-level-ontology.kif 33599-33599 room temperature state soil and solid
(subclass Soil Mixture) Mid-level-ontology.kif 19492-19492 Soil is a subclass of mixture

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


(subclass Clay Soil) Mid-level-ontology.kif 19532-19532 Clay is a subclass of soil
(subclass Loam Soil) Geography.kif 4406-4406 Loam is a subclass of soil
(subclass Mud Soil) Cars.kif 5042-5042 Mud is a subclass of soil
(subclass Sand Soil) Geography.kif 4431-4431 Sand is a subclass of soil
(subclass Silt Soil) Geography.kif 4488-4488 Silt is a subclass of soil
(termFormat ChineseLanguage Soil "泥") domainEnglishFormat.kif 53754-53754 Silt is a subclass of soil
(termFormat ChineseTraditionalLanguage Soil "泥") domainEnglishFormat.kif 53753-53753 Silt is a subclass of soil
(termFormat EnglishLanguage Soil "soil") domainEnglishFormat.kif 53752-53752 Silt is a subclass of soil

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


(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))
Geography.kif 1831-1837
(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Yellow)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (not
        (attribute ?AREA FertileTerrain)))
Geography.kif 1823-1829
(=>
    (instance ?S Soil)
    (capability Salination patient ?S))
Geography.kif 2899-2901
(=>
    (instance ?Soil Soil)
    (exists (?Humus ?Mineral)
        (and
            (instance ?Humus Humus)
            (instance ?Mineral Mineral)
            (part ?Humus ?Soil)
            (part ?Mineral ?Soil))))
Mid-level-ontology.kif 19496-19503

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


(=>
    (and
        (instance ?TILL Tilling)
        (patient ?TILL ?SOIL))
    (instance ?SOIL Soil))
Mid-level-ontology.kif 19595-19599
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 19569-19576
(=>
    (instance ?D Digging)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Soil))))
Mid-level-ontology.kif 19582-19587
(=>
    (instance ?Humus Humus)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Humus ?Soil))))
Mid-level-ontology.kif 19557-19562
(=>
    (instance ?PROCESS SoilSalination)
    (exists (?SOIL)
        (and
            (instance ?SOIL Soil)
            (resource ?PROCESS ?SOIL))))
Geography.kif 2942-2947
(=>
    (instance ?Solution SoilSolution)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Solution ?Soil))))
Geography.kif 4399-4404


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