TreeView Knowledge Base Browser - MaritimeClaimsTerritorialSeaFn

appearance as argument number 1

(documentation MaritimeClaimsTerritorialSeaFn EnglishLanguage "(MaritimeClaimsTerritorialSeaFn ?REGION) denotes a peripheral zones of maritime control extending outward from the Region ?REGION.")	Geography.kif 775-777
(domain MaritimeClaimsTerritorialSeaFn 1 Region)	Geography.kif 773-773
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction)	Geography.kif 772-772
(range MaritimeClaimsTerritorialSeaFn PerimeterArea)	Geography.kif 774-774

appearance as argument number 2

(format EnglishLanguage MaritimeClaimsTerritorialSeaFn "the maritime claims territorial sea of %1")	domainEnglishFormat.kif 413-413
(termFormat EnglishLanguage MaritimeClaimsTerritorialSeaFn "maritime claims territorial sea")	domainEnglishFormat.kif 6451-6451

antecedent

(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))

Geography.kif 860-866

consequent

(=> (instance ?region GeopoliticalArea) (instance (MaritimeClaimsTerritorialSeaFn ?region) (PerimeterAreaFn ?region)))	Geography.kif 779-781
(=> (instance ?region GeopoliticalArea) (instance (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea))	Geography.kif 783-785