Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - partlyLocated
partlyLocated

appearance as argument number 1
-------------------------


(documentation partlyLocated ChineseLanguage "(partlyLocated ?OBJ1 ?OBJ2)的意思是 Physical 的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如:伊斯坦布尔有一部分位于 Asia, 并有一部分位于 Europe。注:partlyLocated 是最基本的位置关系: locatedpartlyLocated 的直接 subrelation,而 exactlyLocatedlocated 的直接 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 4052-4057
(documentation partlyLocated JapaneseLanguage "(partlyLocated ?OBJ1 ?OBJ2) とは、 Physical ?OBJ1 のインスタンスが少なくとも部分的に ?OBJ2 に配置されたことを意味する。 例: イスタンブールは Asia に部分的に位置し、一部は Europe に位置している。 注:partlyLocated は最も基本的なローカリゼーション関係である: located は即時の partlyLocatedsubrelation で、exactlyLocated は即時の locatedsubrelation である。") japanese_format.kif 758-762
(domain partlyLocated 1 Physical) Merge.kif 4049-4049 partlyLocated の数値 1 引数は 物理instance では
(domain partlyLocated 2 Object) Merge.kif 4050-4050 partlyLocated の数値 2 引数は オブジェクトinstance では
(instance partlyLocated BinaryPredicate) Merge.kif 4047-4047 partlyLocated2進述語instance では
(instance partlyLocated SpatialRelation) Merge.kif 4046-4046 partlyLocated空間的関係instance では
(instance partlyLocated TotalValuedRelation) Merge.kif 4048-4048 partlyLocated合計値関係instance では

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 2198-2198 agentOperatesInAreapartlyLocatedsubrelation では
(subrelation located partlyLocated) Merge.kif 4077-4077 locatedpartlyLocatedsubrelation では
(termFormat ChineseLanguage partlyLocated "有一部分位于") chinese_format.kif 166-166 locatedpartlyLocatedsubrelation では
(termFormat ChineseLanguage partlyLocated "部分位于") domainEnglishFormat.kif 44582-44582 locatedpartlyLocatedsubrelation では
(termFormat ChineseTraditionalLanguage partlyLocated "部分位於") domainEnglishFormat.kif 44581-44581 locatedpartlyLocatedsubrelation では
(termFormat EnglishLanguage partlyLocated "partly located") domainEnglishFormat.kif 44580-44580 locatedpartlyLocatedsubrelation では
(termFormat de partlyLocated "befindetSichTeils") terms-de.txt 63-63 locatedpartlyLocatedsubrelation では

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 2160-2169
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (exists (?SUB)
        (and
            (part ?SUB ?OBJ1)
            (located ?SUB ?OBJ2))))
Merge.kif 4065-4072
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 4059-4063
(=>
    (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 10325-10328 オブジェクトOutside オブジェクト では オブジェクトpartly オブジェクト に 位置して
(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663 totalLengthOfWaterways 地理的地域 and 長さ測定 エンティティー classlength 長さ測定 では
(=>
    (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 982-984
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))
Merge.kif 4096-4098
(=>
    (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
-------------------------


(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4710-4710 ArcticOceanpartlyEasternHemisphere に 位置して
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4711-4711 ArcticOceanpartlyWesternHemisphere に 位置して
(partlyLocated NorthPacificOcean EasternHemisphere) Geography.kif 4648-4648 NorthPacificOceanpartlyEasternHemisphere に 位置して
(partlyLocated NorthPacificOcean WesternHemisphere) Geography.kif 4649-4649 NorthPacificOceanpartlyWesternHemisphere に 位置して
(partlyLocated NortheasternPacificOcean EasternHemisphere) Geography.kif 4662-4662 NortheasternPacificOceanpartlyEasternHemisphere に 位置して
(partlyLocated NortheasternPacificOcean NorthernHemisphere) Geography.kif 4661-4661 NortheasternPacificOceanpartlyNorthernHemisphere に 位置して
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 4674-4674 NorthwesternPacificOceanpartlyNorthernHemisphere に 位置して
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4675-4675 NorthwesternPacificOceanpartlyWesternHemisphere に 位置して
(partlyLocated SouthAtlanticOcean EasternHemisphere) Geography.kif 4630-4630 SouthAtlanticOceanpartlyEasternHemisphere に 位置して
(partlyLocated SouthAtlanticOcean WesternHemisphere) Geography.kif 4629-4629 SouthAtlanticOceanpartlyWesternHemisphere に 位置して
(partlyLocated SouthPacificOcean EasternHemisphere) Geography.kif 4688-4688 SouthPacificOceanpartlyEasternHemisphere に 位置して
(partlyLocated SouthPacificOcean WesternHemisphere) Geography.kif 4689-4689 SouthPacificOceanpartlyWesternHemisphere に 位置して
(partlyLocated SouthernOcean EasternHemisphere) Geography.kif 4726-4726 SouthernOceanpartlyEasternHemisphere に 位置して
(partlyLocated SouthernOcean WesternHemisphere) Geography.kif 4727-4727 SouthernOceanpartlyWesternHemisphere に 位置して


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