claimedTerritory - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - claimedTerritory

claimedTerritory

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 963-967
No TPTP formula. May not be expressible in strict first order.	Geography.kif 959-959	The number 1 argument of claimed territory is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 960-960	The number 2 argument of claimed territory is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 958-958	claimed territory is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 456-456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 455-455
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 454-454
No TPTP formula. May not be expressible in strict first order.	Geography.kif 961-961	dependent geopolitical area is a subrelation of claimed territory
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15009-15009	dependent geopolitical area is a subrelation of claimed territory
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15008-15008	dependent geopolitical area is a subrelation of claimed territory
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15007-15007	dependent geopolitical area is a subrelation of claimed territory

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 992-997	If a geographic area is an instance of a kind of maritime claim area and a kind of maritime claim area is a subclass of maritime claim area and a geopolitical area is a claimed territory of the geographic area, then the kind of maritime claim area is a maritime claim type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1200-1206	If a geographic area is an instance of maritime contiguous zone and an agent is a claimed territory of the geographic area and another geographic area is an instance of territorial sea and the agent is a claimed territory of the other geographic area, then the other geographic area is between the agent and the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1069-1076	If a geographic area is an instance of maritime shelf area and an object is an instance of continental shelf and an agent is an instance of nation and the object meets the agent and the agent is a claimed territory of the geographic area, then the geographic area and the object overlapsSpatially

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1151-1155	If a geopolitical area is an instance of geopolitical area and the exclusive fishing zone of the geopolitical area is an instance of exclusive fishing zone, then the geopolitical area is a claimed territory of the exclusive fishing zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1183-1187	If a geopolitical area is an instance of geopolitical area and the extended fishing zone of the geopolitical area is an instance of extended fishing zone, then the geopolitical area is a claimed territory of the extended fishing zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1044-1048	If a geopolitical area is an instance of geopolitical area and the maritime contiguous zone of the geopolitical area is an instance of maritime contiguous zone, then the geopolitical area is a claimed territory of the maritime contiguous zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1119-1123	If a geopolitical area is an instance of geopolitical area and the maritime exclusive economic zone of the geopolitical area is an instance of maritime exclusive economic zone, then the geopolitical area is a claimed territory of the maritime exclusive economic zone of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1086-1090	If a geopolitical area is an instance of geopolitical area and the maritime shelf area of the geopolitical area is an instance of maritime shelf area, then the geopolitical area is a claimed territory of the maritime shelf area of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1222-1226	If a geopolitical area is an instance of geopolitical area and the territorial sea of the geopolitical area is an instance of territorial sea, then the geopolitical area is a claimed territory of the territorial sea of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 919-927	If an agent is an instance of landlocked area and the agent is an instance of geopolitical area, then there doesn't exist a geographic area such that the geographic area is an instance of maritime claim area and the agent is a claimed territory of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 983-990	If a kind of maritime claim area is a maritime claim type of a geopolitical area and a kind of maritime claim area is a subclass of maritime claim area, then there exists a geographic area such that the geographic area is an instance of the kind of maritime claim area and the geopolitical area is a claimed territory of the geographic area

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3923-3923	Argentina is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3924-3924	Australia is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3925-3925	Chile is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3926-3926	France is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3927-3927	New zealand is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3928-3928	Norway is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3929-3929	United kingdom is a claimed territory of antarctica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3715-3715	Israel is a claimed territory of gaza strip
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3716-3716	Palestinian liberation organization is a claimed territory of gaza strip
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3717-3717	China is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3718-3718	Taiwan is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3719-3719	Vietnam is a claimed territory of paracel islands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3720-3720	China is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3721-3721	Taiwan is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3722-3722	Vietnam is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3723-3723	Israel is a claimed territory of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3724-3724	Palestinian liberation organization is a claimed territory of west bank
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3725-3725	Morocco is a claimed territory of western sahara

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