| appearance as argument number 1 |
|
| (documentation SoilSolution EnglishLanguage "SoilSolution is the liquid component of soils, which is largely water containing a number of mineral substances in solution, as well as comparatively large amounts of dissolved oxygen and carbon dioxide.") | Geography.kif 4325-4327 | |
| (subclass SoilSolution LiquidMixture) | Geography.kif 4324-4324 | Soil solution is a subclass of liquid mixture |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SoilSolution "土壤溶液") | domainEnglishFormat.kif 53862-53862 | |
| (termFormat ChineseTraditionalLanguage SoilSolution "土壤溶液") | domainEnglishFormat.kif 53861-53861 | |
| (termFormat EnglishLanguage SoilSolution "soil solution") | domainEnglishFormat.kif 53860-53860 |
| antecedent |
|
|
| (=> (instance ?Solution SoilSolution) (exists (?Soil) (and (instance ?Soil Soil) (part ?Solution ?Soil)))) |
Geography.kif 4329-4334 |
|
|
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