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
-------------------------


s__documentation(s__partlyLocated__m,s__ChineseLanguage,'"(partlyLocated ?OBJ1 ?OBJ2)的意思是 Physical 的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如:伊斯坦布尔有一部分位于 Asia, 并有一部分位于 Europe。注:partlyLocated 是最基本的位置关系: locatedpartlyLocated 的直接 subrelation,而 exactlyLocatedlocated 的直接 subrelation。"')

chinese_format.kif 2107-2110
s__documentation(s__partlyLocated__m,s__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 3945-3950
s__domain(s__partlyLocated__m,n__1,s__Physical)

Merge.kif 3942-3942 The number 1 argument of partly located is an instance of physical
s__domain(s__partlyLocated__m,n__2,s__Object)

Merge.kif 3943-3943 The number 2 argument of partly located is an instance of object
s__instance(s__partlyLocated__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 3940-3940 partly located is an instance of binary predicate
s__instance(s__partlyLocated__m,s__SpatialRelation)

s__instance(s__SpatialRelation,s__Class)

Merge.kif 3939-3939 partly located is an instance of spatial relation
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__partlyLocated__m,s__TotalValuedRelation)

Merge.kif 3941-3941 partly located is an instance of total valued relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__partlyLocated__m,'"%1 %n 是 partlyLocated 在 %2 "')

chinese_format.kif 165-165
s__format(s__EnglishLanguage,s__partlyLocated__m,'"%1 is %n partly located in %2"')

english_format.kif 166-166
s__subrelation(s__agentOperatesInArea__m,s__partlyLocated__m)

Government.kif 2223-2223 agent operates in area is a subrelation of partly located
s__subrelation(s__located__m,s__partlyLocated__m)

Merge.kif 3970-3970 located is a subrelation of partly located
s__termFormat(s__ChineseLanguage,s__partlyLocated__m,'"有一部分位于"')

chinese_format.kif 166-166
s__termFormat(s__ChineseLanguage,s__partlyLocated__m,'"部分位于"')

domainEnglishFormat.kif 44557-44557
s__termFormat(s__ChineseTraditionalLanguage,s__partlyLocated__m,'"部分位於"')

domainEnglishFormat.kif 44556-44556
s__termFormat(s__EnglishLanguage,s__partlyLocated__m,'"partly located"')

domainEnglishFormat.kif 44555-44555

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


( ! [V__DEGREE,V__OBJ1,V__OBJ2,V__MAGDEGREE,V__AREA,V__DIRECTION] :
   (((s__instance(V__DEGREE,s__Number) &
         s__instance(V__DEGREE,s__PlaneAngleMeasure) &
         s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__MAGDEGREE,s__Number) &
         s__instance(V__MAGDEGREE,s__PlaneAngleMeasure) &
         s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__DIRECTION,s__DirectionalAttribute))
       =>
       (((s__courseWRTMagneticNorth(V__OBJ1,V__OBJ2,V__MAGDEGREE)
           &
           s__partlyLocated(V__OBJ1,V__AREA)
         &
         s__partlyLocated(V__OBJ2,V__AREA)
       &
       s__magneticVariation(V__AREA,V__DEGREE,V__DIRECTION))
   =>
   (( ? [V__DIFFDEGREE, V__TRUEDEGREE] :
       ((s__instance(V__DIFFDEGREE,s__Number) &
           s__instance(V__TRUEDEGREE,s__PlaneAngleMeasure) &
           ((((V__DIRECTION = s__East) &
                   (V__DIFFDEGREE = s__AdditionFn(V__MAGDEGREE,V__DEGREE)))
               =>
               (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,V__TRUEDEGREE)))
           &
           (((V__DIRECTION = s__West) &
                 (V__DIFFDEGREE = s__SubtractionFn(V__MAGDEGREE,V__DEGREE)))
             =>
             (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,V__TRUEDEGREE)))))))))))
)
)

Geography.kif 3675-3692
( ! [V__REGION,V__AREA,V__ATTRIBUTE] :
   ((s__instance(V__REGION,s__Object) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__attribute(V__REGION,V__ATTRIBUTE)
           &
           s__instance(V__ATTRIBUTE,s__TerrainAttribute) &
           s__partlyLocated(V__REGION,V__AREA))
       =>
       (s__terrainInArea(V__AREA,V__ATTRIBUTE)))))
)
)

Geography.kif 1698-1704
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ2,s__Object) =>
       (((s__instance(V__OBJ1,s__Object) &
             s__partlyLocated(V__OBJ1,V__OBJ2))
         =>
         (( ? [V__SUB] :
             ((s__instance(V__SUB,s__Object) &
                 (s__part(V__SUB,V__OBJ1)
                 &
                 s__located(V__SUB,V__OBJ2)))))))))
)
)

Merge.kif 3958-3965
( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ2,s__Object) =>
       (((s__instance(V__OBJ1,s__Object) &
             s__partlyLocated(V__OBJ1,V__OBJ2))
         =>
         (s__overlapsSpatially(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 3952-3956
( ! [V__DIST,V__TIME,V__PLACE,V__ZEPHYR,V__X] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__X,s__RealNumber))
       =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__instance(V__PLACE,s__Object) &
             s__partlyLocated(V__ZEPHYR,V__PLACE)
           &
           s__elevation(V__ZEPHYR,s__MeasureFn(V__X,s__FootLength))
         &
         s__lessThanOrEqualTo(V__X,n__500)
       &
       s__measure(V__ZEPHYR,s__SpeedFn(V__DIST,V__TIME)))
=>
(s__surfaceWindSpeed(V__PLACE,s__SpeedFn(V__DIST,V__TIME))))))
)
)

Weather.kif 148-157
( ! [V__SPEED,V__PLACE,V__ZEPHYR] :
   ((s__instance(V__SPEED,s__RealNumber) =>
       (((s__instance(V__ZEPHYR,s__WindFlow) &
             s__instance(V__PLACE,s__Object) &
             s__partlyLocated(V__ZEPHYR,V__PLACE)
           &
           s__measure(V__ZEPHYR,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed)))
       =>
       (s__surfaceWindSpeed(V__PLACE,s__MeasureFn(V__SPEED,s__KnotUnitOfSpeed))))))
)
)

Weather.kif 159-165
( ! [V__SUBAREA,V__PLACE,V__AREA] :
   (((s__instance(V__PLACE,s__Physical) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       (((s__partlyLocated(V__PLACE,V__SUBAREA)
           &
           s__instance(V__SUBAREA,s__GeographicArea) &
           s__geographicSubregion(V__SUBAREA,V__AREA))
       =>
       (s__partlyLocated(V__PLACE,V__AREA)))))
)
)

Geography.kif 507-512

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


( ! [V__REGION,V__OBJ] :
   (((s__instance(V__REGION,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       (((s__orientation(V__OBJ,V__REGION,s__Outside) =>
             ~(s__partlyLocated(V__OBJ,V__REGION)))
         &
         (~(s__partlyLocated(V__OBJ,V__REGION))
         =>
         s__orientation(V__OBJ,V__REGION,s__Outside)))))
)
)

Mid-level-ontology.kif 8698-8701 An object is outside to another object if and only if the object is not partly located in the other object
No TPTP formula. May not be expressible in strict first order. 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
( ! [V__TWO,V__ONE] :
   ((s__instance(V__ONE,s__Object) =>
       (((s__overlapsSpatially(V__ONE,V__TWO)
           &
           s__instance(V__TWO,s__Region) &
           ~((V__ONE = V__TWO)))
         =>
         (s__partlyLocated(V__ONE,V__TWO)))))
)
)

Geography.kif 3377-3382
( ! [V__SUBAREA,V__PLACE,V__AREA] :
   (((s__instance(V__PLACE,s__Physical) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       (((s__partlyLocated(V__PLACE,V__SUBAREA)
           &
           s__instance(V__SUBAREA,s__GeographicArea) &
           s__geographicSubregion(V__SUBAREA,V__AREA))
       =>
       (s__partlyLocated(V__PLACE,V__AREA)))))
)
)

Geography.kif 507-512
( ! [V__BIG,V__SMALL] :
   (((s__instance(V__BIG,s__Object) &
         s__instance(V__SMALL,s__SelfConnectedObject))
       =>
       ((s__contains(V__SMALL,V__BIG)
         =>
         (s__partlyLocated(V__SMALL,V__BIG)))))
)
)

Merge.kif 938-940
( ! [V__OJB,V__PROC] :
   (((s__instance(V__OJB,s__Object) &
         s__instance(V__PROC,s__Process))
       =>
       ((s__eventPartlyLocated(V__PROC,V__OJB)
         =>
         (s__partlyLocated(V__PROC,V__OJB)))))
)
)

Merge.kif 3989-3991
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 70-78
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 92-99
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1250-1257
( ! [V__AREA,V__ATTRIBUTE] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__ATTRIBUTE,s__TerrainAttribute))
       =>
       ((s__terrainInArea(V__AREA,V__ATTRIBUTE)
         =>
         (( ? [V__REGION] :
             ((s__instance(V__REGION,s__GeographicArea) &
                 s__attribute(V__REGION,V__ATTRIBUTE)
               &
               s__partlyLocated(V__REGION,V__AREA))))))))
)
)

Geography.kif 1690-1696

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


s__partlyLocated(s__ArcticOcean,s__EasternHemisphere)

Geography.kif 4455-4455 Arctic ocean is partly located in eastern hemisphere
s__partlyLocated(s__ArcticOcean,s__WesternHemisphere)

Geography.kif 4456-4456 Arctic ocean is partly located in western hemisphere
s__partlyLocated(s__NorthPacificOcean,s__EasternHemisphere)

Geography.kif 4393-4393 North pacific ocean is partly located in eastern hemisphere
s__partlyLocated(s__NorthPacificOcean,s__WesternHemisphere)

Geography.kif 4394-4394 North pacific ocean is partly located in western hemisphere
s__partlyLocated(s__NortheasternPacificOcean,s__EasternHemisphere)

Geography.kif 4407-4407 NortheasternPacificOcean is partly located in eastern hemisphere
s__partlyLocated(s__NortheasternPacificOcean,s__NorthernHemisphere)

Geography.kif 4406-4406 NortheasternPacificOcean is partly located in northern hemisphere
s__partlyLocated(s__NorthwesternPacificOcean,s__NorthernHemisphere)

Geography.kif 4419-4419 NorthwesternPacificOcean is partly located in northern hemisphere
s__partlyLocated(s__NorthwesternPacificOcean,s__WesternHemisphere)

Geography.kif 4420-4420 NorthwesternPacificOcean is partly located in western hemisphere
s__partlyLocated(s__SouthAtlanticOcean,s__EasternHemisphere)

Geography.kif 4375-4375 South atlantic ocean is partly located in eastern hemisphere
s__partlyLocated(s__SouthAtlanticOcean,s__WesternHemisphere)

Geography.kif 4374-4374 South atlantic ocean is partly located in western hemisphere
s__partlyLocated(s__SouthPacificOcean,s__EasternHemisphere)

Geography.kif 4433-4433 South pacific ocean is partly located in eastern hemisphere
s__partlyLocated(s__SouthPacificOcean,s__WesternHemisphere)

Geography.kif 4434-4434 South pacific ocean is partly located in western hemisphere
s__partlyLocated(s__SouthernOcean,s__EasternHemisphere)

Geography.kif 4471-4471 Southern ocean is partly located in eastern hemisphere
s__partlyLocated(s__SouthernOcean,s__WesternHemisphere)

Geography.kif 4472-4472 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