Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaritimeClaimsTerritorialSeaFn
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 782-784
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 780-780 domain MaritimeClaimsTerritorialSeaFn, 1 and Region
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction) Geography.kif 779-779 instance MaritimeClaimsTerritorialSeaFn and UnaryFunction
(range MaritimeClaimsTerritorialSeaFn PerimeterArea) Geography.kif 781-781 range MaritimeClaimsTerritorialSeaFn and PerimeterArea

appearance as argument number 2
-------------------------


(format ChineseLanguage MaritimeClaimsTerritorialSeaFn "maritime 宣称 1% 的海洋领土") domainEnglishFormat.kif 1619-1619
(format ChineseTraditionalLanguage MaritimeClaimsTerritorialSeaFn "maritime 宣稱 1% 的海洋領土") domainEnglishFormat.kif 1618-1618
(format EnglishLanguage MaritimeClaimsTerritorialSeaFn "the maritime claims territorial sea of %1") domainEnglishFormat.kif 1617-1617
(termFormat ChineseLanguage MaritimeClaimsTerritorialSeaFn "海上主张领海") domainEnglishFormat.kif 36091-36091
(termFormat ChineseTraditionalLanguage MaritimeClaimsTerritorialSeaFn "海上主張領海") domainEnglishFormat.kif 36090-36090
(termFormat EnglishLanguage MaritimeClaimsTerritorialSeaFn "maritime claims territorial sea") domainEnglishFormat.kif 36089-36089

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 873-879

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


(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region)
        (PerimeterAreaFn ?region)))
Geography.kif 786-788
(=>
    (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