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 33597-33597 | |
(subclass Soil Mixture) | Mid-level-ontology.kif 19492-19492 |
appearance as argument number 2 |
![]() |
(subclass Clay Soil) | Mid-level-ontology.kif 19532-19532 | |
(subclass Loam Soil) | Geography.kif 4576-4576 | |
(subclass Mud Soil) | Cars.kif 5042-5042 | |
(subclass Sand Soil) | Geography.kif 4601-4601 | |
(subclass Silt Soil) | Geography.kif 4658-4658 | |
(termFormat ChineseLanguage Soil "泥") | domainEnglishFormat.kif 53754-53754 | |
(termFormat ChineseTraditionalLanguage Soil "泥") | domainEnglishFormat.kif 53753-53753 | |
(termFormat EnglishLanguage Soil "soil") | domainEnglishFormat.kif 53752-53752 |
antecedent |
![]() |
(=> (and (instance ?SOIL Soil) (attribute ?SOIL Red) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (attribute ?AREA FertileTerrain)) |
Geography.kif 2001-2007 | |
(=> (and (instance ?SOIL Soil) (attribute ?SOIL Yellow) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (not (attribute ?AREA FertileTerrain))) |
Geography.kif 1993-1999 | |
(=> (instance ?S Soil) (capability Salination patient ?S)) |
Geography.kif 3069-3071 | |
(=> (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 3112-3117 | |
(=> (instance ?Solution SoilSolution) (exists (?Soil) (and (instance ?Soil Soil) (part ?Solution ?Soil)))) |
Geography.kif 4569-4574 |
![]() |
![]() |