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 是最基本的位置关系： 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 4067-4072
(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 4064-4064 The number 1 argument of partly located is an instance of physical
(domain partlyLocated 2 Object) Merge.kif 4065-4065 The number 2 argument of partly located is an instance of object
(instance partlyLocated BinaryPredicate) Merge.kif 4062-4062 partly located is an instance of binary predicate
(instance partlyLocated SpatialRelation) Merge.kif 4061-4061 partly located is an instance of spatial relation
(instance partlyLocated TotalValuedRelation) Merge.kif 4063-4063 partly located is an instance of total valued relation

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 agent operates in area is a subrelation of partly located
(subrelation located partlyLocated) Merge.kif 4092-4092 located is a subrelation of partly located
(termFormat ChineseLanguage partlyLocated "有一部分位于") chinese_format.kif 166-166 located is a subrelation of partly located
(termFormat ChineseLanguage partlyLocated "部分位于") domainEnglishFormat.kif 44581-44581 located is a subrelation of partly located
(termFormat ChineseTraditionalLanguage partlyLocated "部分位於") domainEnglishFormat.kif 44580-44580 located is a subrelation of partly located
(termFormat EnglishLanguage partlyLocated "partly located") domainEnglishFormat.kif 44579-44579 located is a subrelation of partly located
(termFormat de partlyLocated "befindetSichTeils") terms-de.txt 63-63 located is a subrelation of partly located

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))		 Geography.kif 3119-3125
(=>
    (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 4080-4087
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 4074-4078
(=>
    (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 1911-1916
(=>
    (not
        (partlyLocated ?OBJ ?REGION))
    (orientation ?OBJ ?REGION Outside))		 Mid-level-ontology.kif 10320-10323

consequent
-------------------------


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))		 Transportation.kif 656-663 A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))		 Geography.kif 4888-4893
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))		 Geography.kif 1911-1916
(=>
    (contains ?SMALL ?BIG)
    (partlyLocated ?SMALL ?BIG))		 Merge.kif 997-999
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))		 Merge.kif 4111-4113
(=>
    (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
(=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))		 Mid-level-ontology.kif 10315-10318
(=>
    (terrainInArea ?AREA ?ATTRIBUTE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (attribute ?REGION ?ATTRIBUTE)
            (partlyLocated ?REGION ?AREA))))		 Geography.kif 3111-3117

appearance as argument number 0
-------------------------


(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 6113-6113 Arctic ocean is partly located in eastern hemisphere
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 6114-6114 Arctic ocean is partly located in western hemisphere
(partlyLocated MarseillesFrance GulfOfLion) Geography.kif 6684-6684 Marseilles france is partly located in Gulf Of Lion
(partlyLocated NorthPacificOcean EasternHemisphere) Geography.kif 6051-6051 North pacific ocean is partly located in eastern hemisphere
(partlyLocated NorthPacificOcean WesternHemisphere) Geography.kif 6052-6052 North pacific ocean is partly located in western hemisphere
(partlyLocated NortheasternPacificOcean EasternHemisphere) Geography.kif 6065-6065 Northeastern Pacific ocean is partly located in eastern hemisphere
(partlyLocated NortheasternPacificOcean NorthernHemisphere) Geography.kif 6064-6064 Northeastern Pacific ocean is partly located in northern hemisphere
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 6077-6077 Northwestern Pacific Ocean is partly located in northern hemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 6078-6078 Northwestern Pacific Ocean is partly located in western hemisphere
(partlyLocated SouthAtlanticOcean EasternHemisphere) Geography.kif 6033-6033 South atlantic ocean is partly located in eastern hemisphere
(partlyLocated SouthAtlanticOcean WesternHemisphere) Geography.kif 6032-6032 South atlantic ocean is partly located in western hemisphere
(partlyLocated SouthPacificOcean EasternHemisphere) Geography.kif 6091-6091 South pacific ocean is partly located in eastern hemisphere
(partlyLocated SouthPacificOcean WesternHemisphere) Geography.kif 6092-6092 South pacific ocean is partly located in western hemisphere
(partlyLocated SouthernOcean EasternHemisphere) Geography.kif 6129-6129 Southern ocean is partly located in eastern hemisphere
(partlyLocated SouthernOcean WesternHemisphere) Geography.kif 6130-6130 Southern ocean is partly located in western hemisphere


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