TreeView Knowledge Base Browser - UniformPerimeterArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

UniformPerimeterArea

Sigma KEE - UniformPerimeterArea

UniformPerimeterArea

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	subclass UniformPerimeterArea and PerimeterArea

appearance as argument number 2

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

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	instance Region and UniformPerimeterArea part Object and InnerBoundaryFn Region part Object and OuterBoundaryFn Region distance Object, Object and LengthMeasure part Object and InnerBoundaryFn Region part Object and OuterBoundaryFn Region distance Object, Object and LengthMeasure equal LengthMeasure and LengthMeasure
(=> (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	orientation Object, Region and Outside instance Object and PerimeterAreaFn Region instance Object and UniformPerimeterArea width Object and MeasureFn RealNumber and UnitOfMeasure distance Object, Region and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfMeasure greaterThan SubtractionFn RealNumber and RealNumber and 0 located Object and 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	orientation Object, Region and Outside instance Object and PerimeterAreaFn Region instance Object and UniformPerimeterArea width Object and MeasureFn RealNumber and UnitOfMeasure distance Object, Region and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfMeasure lessThanOrEqualTo SubtractionFn RealNumber and RealNumber and 0 located Object and Object
(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 824-827	instance Region and UniformPerimeterArea LengthMeasure distance InnerBoundaryFn Region, OuterBoundaryFn Region and LengthMeasure
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH))))	Geography.kif 829-834	instance Object and UniformPerimeterArea Entity instance Entity and LengthMeasure width Object and Entity

consequent

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

Geography.kif 790-792

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