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)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 59899-59899 "均匀的周边区域" is the printable form of uniform perimeter area in ChineseLanguage
(termFormat ChineseTraditionalLanguage UniformPerimeterArea "均勻的周邊區域") domainEnglishFormat.kif 59898-59898 "均勻的周邊區域" is the printable form of uniform perimeter area in ChineseTraditionalLanguage
(termFormat EnglishLanguage UniformPerimeterArea "uniform perimeter area") domainEnglishFormat.kif 59897-59897 "uniform perimeter area" is the printable form of uniform perimeter area in english language

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
(=>
    (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
(=>
    (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
(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))
Geography.kif 824-827
(=>
    (instance ?ZONE UniformPerimeterArea)
    (exists (?WIDTH)
        (and
            (instance ?WIDTH LengthMeasure)
            (width ?ZONE ?WIDTH))))
Geography.kif 829-834

consequent
-------------------------


(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea))
Geography.kif 790-792


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