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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maritimeClaimType

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 965-967
(domain maritimeClaimType 1 GeopoliticalArea) Geography.kif 962-962 The number 1 argument of maritime claim type is an instance of geopolitical area
(domainSubclass maritimeClaimType 2 MaritimeClaimArea) Geography.kif 963-963 The number 2 argument of maritime claim type is a subclass of maritime claim area
(instance maritimeClaimType AsymmetricRelation) Geography.kif 961-961 maritime claim type is an instance of asymmetric relation
(instance maritimeClaimType BinaryPredicate) Geography.kif 960-960 maritime claim type is an instance of binary predicate

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


(format EnglishLanguage maritimeClaimType "%2 is %n a maritime claim type of %1") domainEnglishFormat.kif 414-414
(termFormat EnglishLanguage maritimeClaimType "maritime claim type") domainEnglishFormat.kif 6452-6452 "maritime claim type" is the printable form of maritime claim type in english language

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


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

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


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))
Geography.kif 984-989
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))
Geography.kif 969-973


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners