| appearance as argument number 1 |
|
| (documentation claimedTerritory EnglishLanguage "(claimedTerritory ?AREA ?POLITY) means that some right over the GeographicArea ?AREA is claimed by the Agent or GeopoliticalArea ?POLITY. If two politically independent states or agents claim the same area, that area is a 'disputed territory'.") | Geography.kif 975-979 | |
| (domain claimedTerritory 1 GeographicArea) | Geography.kif 971-971 | domain claimedTerritory, 1 and GeographicArea |
| (domain claimedTerritory 2 Agent) | Geography.kif 972-972 | domain claimedTerritory, 2 and Agent |
| (instance claimedTerritory BinaryPredicate) | Geography.kif 970-970 | instance claimedTerritory and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage claimedTerritory "%2 %n 是 %1 的 claimed 领土") | domainEnglishFormat.kif 456-456 | |
| (format ChineseTraditionalLanguage claimedTerritory "%2 %n 是 %1 的 claimed 領土") | domainEnglishFormat.kif 455-455 | |
| (format EnglishLanguage claimedTerritory "%2 is %n a claimed territory of %1") | domainEnglishFormat.kif 454-454 | |
| (subrelation dependentGeopoliticalArea claimedTerritory) | Geography.kif 973-973 | subrelation dependentGeopoliticalArea and claimedTerritory |
| (termFormat ChineseLanguage claimedTerritory "声称领土") | domainEnglishFormat.kif 14997-14997 | |
| (termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") | domainEnglishFormat.kif 14996-14996 | |
| (termFormat EnglishLanguage claimedTerritory "claimed territory") | domainEnglishFormat.kif 14995-14995 |
| antecedent |
|
|
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 1005-1010 | |
| (=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1213-1219 | |
| (=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1082-1089 |
| consequent |
|
|
| appearance as argument number 0 |
|
|
|
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