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 4067-4072
(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 4064-4064 Le nombre 1 argument de partlyLocated est une instance de physique
(domain partlyLocated 2 Object) Merge.kif 4065-4065 Le nombre 2 argument de partlyLocated est une instance de objet
(instance partlyLocated BinaryPredicate) Merge.kif 4062-4062 partlyLocated est une instance de pr�dicat binaire
(instance partlyLocated SpatialRelation) Merge.kif 4061-4061 partlyLocated est une instance de relation spatial
(instance partlyLocated TotalValuedRelation) Merge.kif 4063-4063 partlyLocated est une instance de relation total

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 agentOperatesInArea est une sous-relation de partlyLocated
(subrelation located partlyLocated) Merge.kif 4092-4092 located est une sous-relation de partlyLocated
(termFormat ChineseLanguage partlyLocated "有一部分位于") chinese_format.kif 166-166 located est une sous-relation de partlyLocated
(termFormat ChineseLanguage partlyLocated "部分位于") domainEnglishFormat.kif 44582-44582 located est une sous-relation de partlyLocated
(termFormat ChineseTraditionalLanguage partlyLocated "部分位於") domainEnglishFormat.kif 44581-44581 located est une sous-relation de partlyLocated
(termFormat EnglishLanguage partlyLocated "partly located") domainEnglishFormat.kif 44580-44580 located est une sous-relation de partlyLocated
(termFormat de partlyLocated "befindetSichTeils") terms-de.txt 63-63 located est une sous-relation de partlyLocated

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1852-1858
(=>
    (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 644-649

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 10325-10328 Objet est Outside objet objet est partiellement localis� � objet
(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663 totalLengthOfWaterways secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))
Geography.kif 3621-3626
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))
Geography.kif 644-649
(=>
    (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
(=>
    (terrainInArea ?AREA ?ATTRIBUTE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (attribute ?REGION ?ATTRIBUTE)
            (partlyLocated ?REGION ?AREA))))
Geography.kif 1844-1850

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


(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4847-4847 ArcticOcean est partiellement localis� � EasternHemisphere
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4848-4848 ArcticOcean est partiellement localis� � WesternHemisphere
(partlyLocated MarseillesFrance GulfOfLion) Geography.kif 5418-5418 MarseillesFrance est partiellement localis� � GulfOfLion
(partlyLocated NorthPacificOcean EasternHemisphere) Geography.kif 4785-4785 NorthPacificOcean est partiellement localis� � EasternHemisphere
(partlyLocated NorthPacificOcean WesternHemisphere) Geography.kif 4786-4786 NorthPacificOcean est partiellement localis� � WesternHemisphere
(partlyLocated NortheasternPacificOcean EasternHemisphere) Geography.kif 4799-4799 NortheasternPacificOcean est partiellement localis� � EasternHemisphere
(partlyLocated NortheasternPacificOcean NorthernHemisphere) Geography.kif 4798-4798 NortheasternPacificOcean est partiellement localis� � NorthernHemisphere
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 4811-4811 NorthwesternPacificOcean est partiellement localis� � NorthernHemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4812-4812 NorthwesternPacificOcean est partiellement localis� � WesternHemisphere
(partlyLocated SouthAtlanticOcean EasternHemisphere) Geography.kif 4767-4767 SouthAtlanticOcean est partiellement localis� � EasternHemisphere
(partlyLocated SouthAtlanticOcean WesternHemisphere) Geography.kif 4766-4766 SouthAtlanticOcean est partiellement localis� � WesternHemisphere
(partlyLocated SouthPacificOcean EasternHemisphere) Geography.kif 4825-4825 SouthPacificOcean est partiellement localis� � EasternHemisphere
(partlyLocated SouthPacificOcean WesternHemisphere) Geography.kif 4826-4826 SouthPacificOcean est partiellement localis� � WesternHemisphere
(partlyLocated SouthernOcean EasternHemisphere) Geography.kif 4863-4863 SouthernOcean est partiellement localis� � EasternHemisphere
(partlyLocated SouthernOcean WesternHemisphere) Geography.kif 4864-4864 SouthernOcean est partiellement localis� � WesternHemisphere


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