UniformPerimeterArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - UniformPerimeterArea

UniformPerimeterArea(uniform perimeter area)

appearance as argument number 1

(documentation UniformPerimeterArea EnglishLanguage "A UniformPerimeterArea is one that has a defined uniform width.")	Geography.kif 822-823
(subclass UniformPerimeterArea PerimeterArea)	Geography.kif 820-820	Uniform perimeter area is a subclass of perimeter area

appearance as argument number 2

(termFormat ChineseLanguage UniformPerimeterArea "均匀的周边区域")	domainEnglishFormat.kif 59979-59979
(termFormat ChineseTraditionalLanguage UniformPerimeterArea "均勻的周邊區域")	domainEnglishFormat.kif 59978-59978
(termFormat EnglishLanguage UniformPerimeterArea "uniform perimeter area")	domainEnglishFormat.kif 59977-59977

antecedent

(=> (and (instance ?ZONE UniformPerimeterArea) (part ?INNER1 (InnerBoundaryFn ?ZONE)) (part ?OUTER1 (OuterBoundaryFn ?ZONE)) (distance ?INNER1 ?OUTER1 ?WIDTH1) (part ?INNER2 (InnerBoundaryFn ?ZONE)) (part ?OUTER2 (OuterBoundaryFn ?ZONE)) (distance ?INNER2 ?OUTER2 ?WIDTH2)) (equal ?WIDTH1 ?WIDTH2))	Geography.kif 837-850	If a region is an instance of uniform perimeter area and an object is a part of the inner boundary of the region and another object is a part of the outer boundary of the region and the distance between the object and the other object is a length measure and a third object is a part of the inner boundary of the region and a fourth object is a part of the outer boundary of the region and the distance between the third object and the fourth object is another length measure, then the length measure is equal to the other length measure
(=> (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 863-872	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.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.0)) (located ?OBJ ?ZONE))	Geography.kif 852-861	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.0, then the object is located at the other object
(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 825-828	If a region is an instance of uniform perimeter area, then there exists a length measure such that the distance between the inner boundary of the region and the outer boundary of the region is the length measure
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH))))	Geography.kif 830-835	If a physical is an instance of uniform perimeter area, then there exists a length measure such that the length measure is an instance of length measure and the width of the physical is the length measure

consequent

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

Geography.kif 791-793

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

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