| appearance as argument number 1 |
|
| (documentation terrainInArea EnglishLanguage "(terrainInArea ?AREA ?ATTRIBUTE) means that the GeographicArea ?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE.") | Geography.kif 1668-1670 | |
| (domain terrainInArea 1 GeographicArea) | Geography.kif 1665-1665 | domain terrainInArea, 1 and GeographicArea |
| (domain terrainInArea 2 TerrainAttribute) | Geography.kif 1666-1666 | domain terrainInArea, 2 and TerrainAttribute |
| (instance terrainInArea AsymmetricRelation) | Geography.kif 1664-1664 | instance terrainInArea and AsymmetricRelation |
| (instance terrainInArea BinaryPredicate) | Geography.kif 1663-1663 | instance terrainInArea and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ") | domainEnglishFormat.kif 2459-2459 | |
| (format ChineseTraditionalLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ") | domainEnglishFormat.kif 2458-2458 | |
| (format EnglishLanguage terrainInArea "%2 is %n a terrain in area of %1") | domainEnglishFormat.kif 2457-2457 | |
| (termFormat ChineseLanguage terrainInArea "区域内的地形") | domainEnglishFormat.kif 57486-57486 | |
| (termFormat ChineseTraditionalLanguage terrainInArea "區域內的地形") | domainEnglishFormat.kif 57485-57485 | |
| (termFormat EnglishLanguage terrainInArea "terrain in area") | domainEnglishFormat.kif 57484-57484 |
| antecedent |
|
|
| (=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA)))) |
Geography.kif 1672-1678 |
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 1680-1686 |
|
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