|
|
   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 17921-17922 | |
| (externalImage Soil "http://articulatesoftware.com/SUMOpictures/working/ agricultural/ soil.png") | pictureList.kif 741-741 | |
| (roomTempState Soil Solid) | Mid-level-ontology.kif 31648-31648 | roomTempState 泥 and 固体 |
| (subclass Soil Mixture) | Mid-level-ontology.kif 17920-17920 | 泥 是 混合物 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Clay Soil) | Mid-level-ontology.kif 17960-17960 | 粘土 是 泥 的 subclass |
| (subclass Loam Soil) | Geography.kif 4336-4336 | 壤土 是 泥 的 subclass |
| (subclass Mud Soil) | Cars.kif 4989-4989 | Mud 是 泥 的 subclass |
| (subclass Sand Soil) | Geography.kif 4361-4361 | 砂 是 泥 的 subclass |
| (subclass Silt Soil) | Geography.kif 4418-4418 | 淤泥 是 泥 的 subclass |
| (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 17924-17931 |
| consequent |
|
|
| (=> (and (instance ?TILL Tilling) (patient ?TILL ?SOIL)) (instance ?SOIL Soil)) |
Mid-level-ontology.kif 18023-18027 | |
| (=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B)))) |
Mid-level-ontology.kif 17997-18004 | |
| (=> (instance ?D Digging) (exists (?S) (and (patient ?D ?S) (instance ?S Soil)))) |
Mid-level-ontology.kif 18010-18015 | |
| (=> (instance ?Humus Humus) (exists (?Soil) (and (instance ?Soil Soil) (part ?Humus ?Soil)))) |
Mid-level-ontology.kif 17985-17990 | |
| (=> (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 |
|
|
|
