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。") 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 3958-3963
(domain partlyLocated 1 Physical) Merge.kif 3955-3955 domain partlyLocated, 1 and Physical
(domain partlyLocated 2 Object) Merge.kif 3956-3956 domain partlyLocated, 2 and Object
(instance partlyLocated BinaryPredicate) Merge.kif 3953-3953 instance partlyLocated and BinaryPredicate
(instance partlyLocated SpatialRelation) Merge.kif 3952-3952 instance partlyLocated and SpatialRelation
(instance partlyLocated TotalValuedRelation) Merge.kif 3954-3954 instance partlyLocated and TotalValuedRelation

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
(subrelation agentOperatesInArea partlyLocated) Government.kif 2222-2222 subrelation agentOperatesInArea and partlyLocated
(subrelation located partlyLocated) Merge.kif 3983-3983 subrelation located and partlyLocated
(termFormat ChineseLanguage partlyLocated "有一部分位于") chinese_format.kif 166-166
(termFormat ChineseLanguage partlyLocated "部分位于") domainEnglishFormat.kif 44557-44557
(termFormat ChineseTraditionalLanguage partlyLocated "部分位於") domainEnglishFormat.kif 44556-44556
(termFormat EnglishLanguage partlyLocated "partly located") domainEnglishFormat.kif 44555-44555

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1730-1736
(=>
    (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 3971-3978
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 3965-3969
(=>
    (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 148-157
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (measure ?ZEPHYR
            (MeasureFn ?SPEED KnotUnitOfSpeed)))
    (surfaceWindSpeed ?PLACE
        (MeasureFn ?SPEED KnotUnitOfSpeed)))
Weather.kif 159-165
(=>
    (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 8722-8725 orientation Object, Object and Outside partlyLocated Object and Object
(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663 totalLengthOfWaterways GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Waterway partlyLocated SymbolicString and GeographicArea and LengthMeasure
(=>
    (and
        (overlapsSpatially ?ONE ?TWO)
        (instance ?TWO Region)
        (not
            (equal ?ONE ?TWO)))
    (partlyLocated ?ONE ?TWO))
Geography.kif 3418-3423
(=>
    (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 962-964
(=>
    (eventPartlyLocated ?PROC ?OJB)
    (partlyLocated ?PROC ?OJB))
Merge.kif 4002-4004
(=>
    (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 1722-1728

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


(partlyLocated ArcticOcean EasternHemisphere) Geography.kif 4539-4539 partlyLocated ArcticOcean and EasternHemisphere
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4540-4540 partlyLocated ArcticOcean and WesternHemisphere
(partlyLocated NorthPacificOcean EasternHemisphere) Geography.kif 4477-4477 partlyLocated NorthPacificOcean and EasternHemisphere
(partlyLocated NorthPacificOcean WesternHemisphere) Geography.kif 4478-4478 partlyLocated NorthPacificOcean and WesternHemisphere
(partlyLocated NortheasternPacificOcean EasternHemisphere) Geography.kif 4491-4491 partlyLocated NortheasternPacificOcean and EasternHemisphere
(partlyLocated NortheasternPacificOcean NorthernHemisphere) Geography.kif 4490-4490 partlyLocated NortheasternPacificOcean and NorthernHemisphere
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 4503-4503 partlyLocated NorthwesternPacificOcean and NorthernHemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4504-4504 partlyLocated NorthwesternPacificOcean and WesternHemisphere
(partlyLocated SouthAtlanticOcean EasternHemisphere) Geography.kif 4459-4459 partlyLocated SouthAtlanticOcean and EasternHemisphere
(partlyLocated SouthAtlanticOcean WesternHemisphere) Geography.kif 4458-4458 partlyLocated SouthAtlanticOcean and WesternHemisphere
(partlyLocated SouthPacificOcean EasternHemisphere) Geography.kif 4517-4517 partlyLocated SouthPacificOcean and EasternHemisphere
(partlyLocated SouthPacificOcean WesternHemisphere) Geography.kif 4518-4518 partlyLocated SouthPacificOcean and WesternHemisphere
(partlyLocated SouthernOcean EasternHemisphere) Geography.kif 4555-4555 partlyLocated SouthernOcean and EasternHemisphere
(partlyLocated SouthernOcean WesternHemisphere) Geography.kif 4556-4556 partlyLocated SouthernOcean and WesternHemisphere


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 3.0 is open source software produced by Articulate Software and its partners