PerimeterAreaFn - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(format ChineseLanguage PerimeterAreaFn "%1 的 perimeter 地区")	domainEnglishFormat.kif 1943-1943
(format ChineseTraditionalLanguage PerimeterAreaFn "%1 的 perimeter 地區")	domainEnglishFormat.kif 1942-1942
(format EnglishLanguage PerimeterAreaFn "the perimeter area of %1")	domainEnglishFormat.kif 1941-1941
(termFormat ChineseLanguage PerimeterAreaFn "周边区域")	domainEnglishFormat.kif 45079-45079
(termFormat ChineseTraditionalLanguage PerimeterAreaFn "周邊區域")	domainEnglishFormat.kif 45078-45078
(termFormat EnglishLanguage PerimeterAreaFn "perimeter area")	domainEnglishFormat.kif 45077-45077

antecedent

(=> (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)) (not (located ?OBJ ?ZONE)))	Geography.kif 862-871	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0, then the object is not located at the other object
(=> (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)) (located ?OBJ ?ZONE))	Geography.kif 851-860	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0, then the object is located at the other object
(=> (instance ?zone (PerimeterAreaFn ?region)) (meetsSpatially ?zone ?region))	Geography.kif 775-777	If an object is an instance of the perimeter area of a region, then the object meets the region

consequent

(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region)
        (PerimeterAreaFn ?region)))

Geography.kif 786-788

If a region is an instance of geopolitical area,
then the maritime claims territorial sea of the region is an instance of the perimeter area of the region

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: