| 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 4394-4396 | |
| (subclass SoilSolution LiquidMixture) | Geography.kif 4393-4393 | Soil solution is a subclass of liquid mixture |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SoilSolution "土壤溶液") | domainEnglishFormat.kif 53855-53855 | |
| (termFormat ChineseTraditionalLanguage SoilSolution "土壤溶液") | domainEnglishFormat.kif 53854-53854 | |
| (termFormat EnglishLanguage SoilSolution "soil solution") | domainEnglishFormat.kif 53853-53853 |
| antecedent |
|
|
| (=> (instance ?Solution SoilSolution) (exists (?Soil) (and (instance ?Soil Soil) (part ?Solution ?Soil)))) |
Geography.kif 4398-4403 |
|
|
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