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 790-792
(domain MaritimeClaimsTerritorialSeaFn 1 Region) Geography.kif 788-788
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction) Geography.kif 787-787
(range MaritimeClaimsTerritorialSeaFn PerimeterArea) Geography.kif 789-789

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

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 881-887

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


(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region)
        (PerimeterAreaFn ?region)))
Geography.kif 794-796
(=>
    (instance ?region GeopoliticalArea)
    (instance
        (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea))
Geography.kif 798-800


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