| appearance as argument number 1 |
|
| (subclass SoilQualityIssue EnvironmentalIssue) | Geography.kif 6826-6826 | SoilQualityIssue は EnvironmentalIssue の subclass では %n |
| appearance as argument number 2 |
|
|
| (instance SoilDegradationIssue SoilQualityIssue) | Geography.kif 6828-6828 | SoilDegradationIssue は SoilQualityIssue の instance では %n |
| (instance SoilErosionIssue SoilQualityIssue) | Geography.kif 6827-6827 | SoilErosionIssue は SoilQualityIssue の instance では %n |
| (instance SoilExhaustionIssue SoilQualityIssue) | Geography.kif 6829-6829 | SoilExhaustionIssue は SoilQualityIssue の instance では %n |
| (instance SoilPollutionIssue SoilQualityIssue) | Geography.kif 6837-6837 | SoilPollutionIssue は SoilQualityIssue の instance では %n |
| (termFormat ChineseLanguage SoilQualityIssue "土壤品质问题") | domainEnglishFormat.kif 53804-53804 | |
| (termFormat ChineseTraditionalLanguage SoilQualityIssue "土壤品質問題") | domainEnglishFormat.kif 53803-53803 | |
| (termFormat EnglishLanguage SoilQualityIssue "soil quality issue") | domainEnglishFormat.kif 53802-53802 |
|
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