| appearance as argument number 1 |
|
| (documentation groundSubsurfaceType EnglishLanguage "(groundSubsurfaceType ?area ?subsoil) means that the predominant Substance in the subsoil or subsurface layer of the LandArea ?area is of type ?subsoil.") | Geography.kif 4282-4284 | |
| (domain groundSubsurfaceType 1 LandArea) | Geography.kif 4285-4285 | 地下表面类型 的 1 数量 是 土地面积 的 instance |
| (domainSubclass groundSubsurfaceType 2 Substance) | Geography.kif 4286-4286 | 地下表面类型 的 2 数量 是 物质 的 subclass |
| (instance groundSubsurfaceType BinaryPredicate) | Geography.kif 4281-4281 | 地下表面类型 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage groundSubsurfaceType "%2 %n 是 %1 表面下的 ground ") | domainEnglishFormat.kif 1129-1129 | |
| (format ChineseTraditionalLanguage groundSubsurfaceType "%2 %n 是 %1 表面下的 ground ") | domainEnglishFormat.kif 1128-1128 | |
| (format EnglishLanguage groundSubsurfaceType "%2 is %n a ground subsurface type of %1") | domainEnglishFormat.kif 1127-1127 | |
| (termFormat ChineseLanguage groundSubsurfaceType "地下表面类型") | domainEnglishFormat.kif 26712-26712 | |
| (termFormat ChineseTraditionalLanguage groundSubsurfaceType "地下表面類型") | domainEnglishFormat.kif 26711-26711 | |
| (termFormat EnglishLanguage groundSubsurfaceType "ground subsurface type") | domainEnglishFormat.kif 26710-26710 |
| antecedent |
|
|
| (=> (and (instance ?area LandArea) (groundSurfaceType ?area ?type1) (groundSubsurfaceType ?area ?type2)) (exists (?above ?below) (and (instance ?above ?type1) (instance ?below ?type2) (orientation ?above ?below Above)))) |
Geography.kif 4288-4297 |
| appearance as argument number 0 |
|
|
| (groundSubsurfaceType Mountain Rock) | Geography.kif 4041-4041 | 岩石 是 山 表面下的 ground |
|
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