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 821-822
(subclass UniformPerimeterArea PerimeterArea)	Geography.kif 819-819	Uniform perimeter area is a subclass of perimeter area

appearance as argument number 2

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

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 836-849	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)) (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 ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 824-827	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 829-834	If an object is an instance of uniform perimeter area, then there exists an entity such that the entity is an instance of length measure and the width of the object is the entity

consequent

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

Geography.kif 790-792

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