| appearance as argument number 1 |
|
| (documentation partlyLocated ChineseLanguage "(partlyLocated ?OBJ1 ?OBJ2)的意思是 Physical 的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如：伊斯坦布尔有一部分位于 Asia, 并有一部分位于 Europe。注：partlyLocated 是最基本的位置关系： located 是 partlyLocated 的直接 subrelation，而 exactlyLocated 是 located 的直接 subrelation。") | chinese_format.kif 2107-2110 | |
| (documentation partlyLocated EnglishLanguage "(partlyLocated ?OBJ1 ?OBJ2) means that the instance of Physical ?OBJ1 is at least partially located at ?OBJ2. For example, Istanbul is partly located in Asia and partly located in Europe. Note that partlyLocated is the most basic localization relation: located is an immediate subrelation of partlyLocated and exactlyLocated is an immediate subrelation of located.") | Merge.kif 3907-3912 | |
| (domain partlyLocated 1 Physical) | Merge.kif 3904-3904 | |
| (domain partlyLocated 2 Object) | Merge.kif 3905-3905 | |
| (instance partlyLocated BinaryPredicate) | Merge.kif 3902-3902 | |
| (instance partlyLocated SpatialRelation) | Merge.kif 3901-3901 | |
| (instance partlyLocated TotalValuedRelation) | Merge.kif 3903-3903 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage partlyLocated "%1 %n 是 partlyLocated 在 %2 ") | chinese_format.kif 165-165 | |
| (format EnglishLanguage partlyLocated "%1 is %n partly located in %2") | english_format.kif 169-169 | |
| (subrelation agentOperatesInArea partlyLocated) | Government.kif 2191-2191 | |
| (subrelation located partlyLocated) | Merge.kif 3932-3932 | |
| (termFormat ChineseLanguage partlyLocated "有一部分位于") | chinese_format.kif 166-166 | |
| (termFormat ChineseLanguage partlyLocated "部分位于") | domainEnglishFormat.kif 44569-44569 | |
| (termFormat ChineseTraditionalLanguage partlyLocated "部分位於") | domainEnglishFormat.kif 44568-44568 | |
| (termFormat EnglishLanguage partlyLocated "partly located") | domainEnglishFormat.kif 44567-44567 |
| antecedent |
|
|
| (=> (and (courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?MAGDEGREE) (partlyLocated ?OBJ1 ?AREA) (partlyLocated ?OBJ2 ?AREA) (magneticVariation ?AREA ?DEGREE ?DIRECTION)) (exists (?DIFFDEGREE ?TRUEDEGREE) (and (=> (and (equal ?DIRECTION East) (equal ?DIFFDEGREE (AdditionFn ?MAGDEGREE ?DEGREE))) (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE)) (=> (and (equal ?DIRECTION West) (equal ?DIFFDEGREE (SubtractionFn ?MAGDEGREE ?DEGREE))) (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE))))) |
Geography.kif 3632-3649 | |
| (=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 1680-1686 | |
| (=> (and (instance ?B Barricade) (partlyLocated ?B ?P)) (hasPurpose ?B (not (exists (?T) (and (instance ?T Translocation) (path ?T ?P)))))) |
MilitaryDevices.kif 2003-2012 | |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2)))) |
Merge.kif 3920-3927 | |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 3914-3918 | |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed))) |
Weather.kif 146-152 | |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 138-144 | |
| (=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA)) |
Geography.kif 507-512 |
| consequent |
|
|
| (<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 8828-8831 | |
| (<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 645-652 | |
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3355-3360 | |
| (=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA)) |
Geography.kif 507-512 | |
| (=> (contains ?SMALL ?BIG) (partlyLocated ?SMALL ?BIG)) |
Merge.kif 938-940 | |
| (=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB)) |
Merge.kif 3951-3953 | |
| (=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 | |
| (=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 | |
| (=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1239-1246 | |
| (=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA)))) |
Geography.kif 1672-1678 |
| appearance as argument number 0 |
|
|
| (partlyLocated ArcticOcean EasternHemisphere) | Geography.kif 4370-4370 | |
| (partlyLocated ArcticOcean WesternHemisphere) | Geography.kif 4371-4371 | |
| (partlyLocated NorthPacificOcean EasternHemisphere) | Geography.kif 4334-4334 | |
| (partlyLocated NorthPacificOcean WesternHemisphere) | Geography.kif 4335-4335 | |
| (partlyLocated SouthAtlanticOcean EasternHemisphere) | Geography.kif 4316-4316 | |
| (partlyLocated SouthAtlanticOcean WesternHemisphere) | Geography.kif 4315-4315 | |
| (partlyLocated SouthPacificOcean EasternHemisphere) | Geography.kif 4348-4348 | |
| (partlyLocated SouthPacificOcean WesternHemisphere) | Geography.kif 4349-4349 | |
| (partlyLocated SouthernOcean EasternHemisphere) | Geography.kif 4386-4386 | |
| (partlyLocated SouthernOcean WesternHemisphere) | Geography.kif 4387-4387 |
|
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