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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partlyLocated

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。") Merge.kif 4161-4164
(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 4155-4160
(domain partlyLocated 1 Physical) Merge.kif 4153-4153
(domain partlyLocated 2 Object) Merge.kif 4154-4154
(instance partlyLocated BinaryPredicate) Merge.kif 4151-4151
(instance partlyLocated SpatialRelation) Merge.kif 4150-4150
(instance partlyLocated TotalValuedRelation) Merge.kif 4152-4152

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 109-109
(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 PortugueseLanguage partlyLocated "%1 e' %n parcialmente localizado em %2") portuguese_format.kif 54-54
(format ar partlyLocated "%1 هو %n يَقَع جُزْئِيَّاً في %2") arabic_format.kif 52-52
(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 tg partlyLocated "%1 %n ay sa %2") relations-tg.txt 406-406
(subrelation agentOperatesInArea partlyLocated) Government.kif 2197-2197
(subrelation located partlyLocated) Merge.kif 4184-4184
(termFormat ChineseLanguage partlyLocated "有一部分位于") chinese_format.kif 166-166
(termFormat EnglishLanguage partlyLocated "partly located") domainEnglishFormat.kif 7850-7850
(termFormat ar partlyLocated "«يَقَع جُزْئِيَّاً في»") arabic_format.kif 502-502

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 3619-3636
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1668-1674
(=>
    (and
        (instance ?B Barricade)
        (partlyLocated ?B ?P))
    (hasPurpose ?B
        (not
            (exists (?T)
                (and
                    (instance ?T Translocation)
                    (path ?T ?P))))))
MilitaryDevices.kif 2002-2011
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (exists (?SUB)
        (and
            (part ?SUB ?OBJ1)
            (located ?SUB ?OBJ2))))
Merge.kif 4172-4179
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 4166-4170
(=>
    (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
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 139-145
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))
Geography.kif 504-509

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 8844-8847
(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 618-625
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))
Geography.kif 3342-3347
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))
Geography.kif 504-509
(=>
    (contains ?SMALL ?BIG)
    (partlyLocated ?SMALL ?BIG))
Merge.kif 1026-1028
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))
Merge.kif 4205-4207
(=>
    (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 1197-1204
(=>
    (terrainInArea ?AREA ?ATTRIBUTE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (attribute ?REGION ?ATTRIBUTE)
            (partlyLocated ?REGION ?AREA))))
Geography.kif 1660-1666

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


(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4358-4358
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4359-4359
(partlyLocated NorthPacificOcean EasternHemisphere) Geography.kif 4322-4322
(partlyLocated NorthPacificOcean WesternHemisphere) Geography.kif 4323-4323
(partlyLocated SouthAtlanticOcean EasternHemisphere) Geography.kif 4304-4304
(partlyLocated SouthAtlanticOcean WesternHemisphere) Geography.kif 4303-4303
(partlyLocated SouthPacificOcean EasternHemisphere) Geography.kif 4336-4336
(partlyLocated SouthPacificOcean WesternHemisphere) Geography.kif 4337-4337
(partlyLocated SouthernOcean EasternHemisphere) Geography.kif 4374-4374
(partlyLocated SouthernOcean WesternHemisphere) Geography.kif 4375-4375


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners