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 764-766
(domain PerimeterAreaFn 1 Region)	Geography.kif 761-761	The number 1 argument of perimeter area is an instance of region
(instance PerimeterAreaFn UnaryFunction)	Geography.kif 760-760	Perimeter area is an instance of unary function
(rangeSubclass PerimeterAreaFn PerimeterArea)	Geography.kif 762-762	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 494-494
(termFormat EnglishLanguage PerimeterAreaFn "perimeter area")	domainEnglishFormat.kif 7951-7951	"perimeter area" is the printable form of perimeter area in english language

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 849-858	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 838-847	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 768-770	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 779-781

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: