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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maritimeClaimType
maritimeClaimType

appearance as argument number 1
-------------------------


(documentation maritimeClaimType EnglishLanguage "(maritimeClaimType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY claims rights over a MaritimeClaimArea of ?TYPE.") Geography.kif 979-981
(domain maritimeClaimType 1 GeopoliticalArea) Geography.kif 976-976
(domainSubclass maritimeClaimType 2 MaritimeClaimArea) Geography.kif 977-977
(instance maritimeClaimType AsymmetricRelation) Geography.kif 975-975
(instance maritimeClaimType BinaryPredicate) Geography.kif 974-974

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


(format ChineseLanguage maritimeClaimType "%2 %n 是 %1 的 maritime 要求类型") domainEnglishFormat.kif 1623-1623
(format ChineseTraditionalLanguage maritimeClaimType "%2 %n 是 %1 的 maritime 要求類型") domainEnglishFormat.kif 1622-1622
(format EnglishLanguage maritimeClaimType "%2 is %n a maritime claim type of %1") domainEnglishFormat.kif 1621-1621
(termFormat ChineseLanguage maritimeClaimType "海事索赔类型") domainEnglishFormat.kif 36203-36203
(termFormat ChineseTraditionalLanguage maritimeClaimType "海事索賠類型") domainEnglishFormat.kif 36202-36202
(termFormat EnglishLanguage maritimeClaimType "maritime claim type") domainEnglishFormat.kif 36201-36201

antecedent
-------------------------


(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))
Geography.kif 989-996

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


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))
Geography.kif 998-1003
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))
Geography.kif 983-987


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