Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Mercury

 Sigma KEE - PerimeterAreaFn
PerimeterAreaFn

appearance as argument number 1
-------------------------


(instance PerimeterAreaFn UnaryFunction) Geography.kif 2239-2239 Perimeter area is an instance of unary function
(domain PerimeterAreaFn 1 Region) Geography.kif 2240-2240 The number 1 argument of perimeter area is an instance of region
(rangeSubclass PerimeterAreaFn PerimeterArea) Geography.kif 2241-2241 The values returned by perimeter area are subclasses of perimeter area
(documentation PerimeterAreaFn EnglishLanguage "(PerimeterAreaFn ?REGION) denotes a class including any peripheral zones extending outward from the Region ?REGION.") Geography.kif 2243-2245 The values returned by perimeter area are subclasses of perimeter area

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


(format EnglishLanguage PerimeterAreaFn "the perimeter area of %1") domainEnglishFormat.kif 1945-1945
(format ChineseTraditionalLanguage PerimeterAreaFn "%1 的 perimeter 地區") domainEnglishFormat.kif 1946-1946
(format ChineseLanguage PerimeterAreaFn "%1 的 perimeter 地区") domainEnglishFormat.kif 1947-1947
(termFormat EnglishLanguage PerimeterAreaFn "perimeter area") domainEnglishFormat.kif 45173-45173
(termFormat ChineseTraditionalLanguage PerimeterAreaFn "周邊區域") domainEnglishFormat.kif 45174-45174
(termFormat ChineseLanguage PerimeterAreaFn "周边区域") domainEnglishFormat.kif 45175-45175

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


(=>
    (instance ?zone
        (PerimeterAreaFn ?region))
    (meetsSpatially ?zone ?region))		 Geography.kif 2247-2249 If X is an instance of the perimeter area of Y, then X meets Y
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (lessThanOrEqualTo
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (located ?OBJ ?ZONE))		 Geography.kif 2310-2319 If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is less than or equal to 0.0, then X is located at Z
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (greaterThan
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (not
        (located ?OBJ ?ZONE)))		 Geography.kif 2321-2330 If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is greater than 0.0, then X is not located at Z

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


(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region)
        (PerimeterAreaFn ?region)))		 Geography.kif 2258-2260 If X is an instance of geopolitical area, then the maritime claims territorial sea of X is an instance of the perimeter area of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners