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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeClaimsTerritorialSeaFn

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 783-785
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 781-781 海上主张领海 的 1 数量 是 地区instance
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction) Geography.kif 780-780 海上主张领海一元函数instance
(range MaritimeClaimsTerritorialSeaFn PerimeterArea) Geography.kif 782-782 海上主张领海range周边区域 的实例

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 36197-36197
(termFormat ChineseTraditionalLanguage MaritimeClaimsTerritorialSeaFn "海上主張領海") domainEnglishFormat.kif 36196-36196
(termFormat EnglishLanguage MaritimeClaimsTerritorialSeaFn "maritime claims territorial sea") domainEnglishFormat.kif 36195-36195

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 874-880

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


(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region)
        (PerimeterAreaFn ?region)))
Geography.kif 787-789
(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea))
Geography.kif 791-793


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 3.0 is open source software produced by Articulate Software and its partners