| 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 4048-4053 | |
| (documentation partlyLocated JapaneseLanguage "(partlyLocated ?OBJ1 ?OBJ2) とは、 Physical ?OBJ1 のインスタンスが少なくとも部分的に ?OBJ2 に配置されたことを意味する。 例： イスタンブールは Asia に部分的に位置し、一部は Europe に位置している。 注：partlyLocated は最も基本的なローカリゼーション関係である: located は即時の partlyLocated の subrelation で、exactlyLocated は即時の located の subrelation である。") | japanese_format.kif 758-762 | |
| (domain partlyLocated 1 Physical) | Merge.kif 4045-4045 | partlyLocated の数値 1 引数は 物理 の instance では %n |
| (domain partlyLocated 2 Object) | Merge.kif 4046-4046 | partlyLocated の数値 2 引数は オブジェクト の instance では %n |
| (instance partlyLocated BinaryPredicate) | Merge.kif 4043-4043 | partlyLocated は 2進述語 の instance では %n |
| (instance partlyLocated SpatialRelation) | Merge.kif 4042-4042 | partlyLocated は 空間的関係 の instance では %n |
| (instance partlyLocated TotalValuedRelation) | Merge.kif 4044-4044 | partlyLocated は 合計値関係 の instance では %n |
| 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 166-166 | |
| (format FrenchLanguage partlyLocated "%1 est %n partiellement localis� � %2") | french_format.kif 102-102 | |
| (format ItalianLanguage partlyLocated "%1 è %n in parte localizzato in %2") | relations-it.txt 214-214 | |
| (format JapaneseLanguage partlyLocated "%1 は partly に %2 に 位置して %n") | japanese_format.kif 1931-1931 | |
| (format PortugueseLanguage partlyLocated "%1 e' %n parcialmente localizado em %2") | portuguese_format.kif 54-54 | |
| (format cz partlyLocated "%1 %p{je} %n{nen�} ��ste�n� um�st�n v %2") | relations-cz.txt 129-129 | |
| (format de partlyLocated "%1 befindet sich teils an %n{nicht}") | relations-de.txt 203-203 | |
| (format hi partlyLocated "%1 %2 men anshatah sthita %n hai") | relations-hindi.txt 252-252 | |
| (format ro partlyLocated "%1 %n{nu} este partly%t{parþial} localizat în %2") | relations-ro.kif 121-121 | |
| (format sv partlyLocated "%1 ligger %n{inte} delvis i %2") | relations-sv.txt 103-103 | |
| (format tg partlyLocated "%1 %n ay sa %2") | relations-tg.txt 406-406 | |
| (subrelation agentOperatesInArea partlyLocated) | Government.kif 2199-2199 | agentOperatesInArea は partlyLocated の subrelation では %n |
| (subrelation located partlyLocated) | Merge.kif 4073-4073 | located は partlyLocated の subrelation では %n |
| (termFormat ChineseLanguage partlyLocated "有一部分位于") | chinese_format.kif 166-166 | located は partlyLocated の subrelation では %n |
| (termFormat ChineseLanguage partlyLocated "部分位于") | domainEnglishFormat.kif 44613-44613 | located は partlyLocated の subrelation では %n |
| (termFormat ChineseTraditionalLanguage partlyLocated "部分位於") | domainEnglishFormat.kif 44612-44612 | located は partlyLocated の subrelation では %n |
| (termFormat EnglishLanguage partlyLocated "partly located") | domainEnglishFormat.kif 44611-44611 | located は partlyLocated の subrelation では %n |
| (termFormat de partlyLocated "befindetSichTeils") | terms-de.txt 63-63 | located は partlyLocated の subrelation では %n |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 1715-1721 |
|
| (=> (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 4061-4068 | |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 4055-4059 | |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 136-145 | |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed))) |
Weather.kif 147-153 | |
| (=> (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 9337-9340 | オブジェクト は Outside 対 オブジェクト では %n オブジェクト は partly に オブジェクト に 位置して |
| (<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 656-663 | totalLengthOfWaterways 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3484-3489 | |
| (=> (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 986-988 |
|
| (=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB)) |
Merge.kif 4092-4094 | |
| (=> (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 1250-1257 | |
| (=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA)))) |
Geography.kif 1707-1713 |
|
| appearance as argument number 0 |
|
|
|
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