TreeView Knowledge Base Browser - claimedTerritory

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

claimedTerritory

Sigma KEE - claimedTerritory

claimedTerritory

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 968-972
No TPTP formula. May not be expressible in strict first order.	Geography.kif 964-964	O argumento numero 1 de claimedTerritory e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 965-965	O argumento numero 2 de claimedTerritory e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 963-963	claimedTerritory e' uma instancia de Predicado Binario

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 966-966	dependentGeopoliticalArea e' uma sub-relacao de claimedTerritory
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14994-14994
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14993-14993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14992-14992

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 998-1003	Area Geografica e' uma instancia de MaritimeClaimArea MaritimeClaimArea e' uma sub-classe de MaritimeClaimArea claimedTerritory Area Geografica and Area Geopolitica maritimeClaimType Area Geopolitica and MaritimeClaimArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1206-1212	Area Geografica e' uma instancia de MaritimeContiguousZone claimedTerritory Area Geografica and AutonomousAgent Area Geografica e' uma instancia de TerritorialSea claimedTerritory Area Geografica and AutonomousAgent Area Geografica esta' entre AutonomousAgent e Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1075-1082	Area Geografica e' uma instancia de MaritimeShelfArea Objeto e' uma instancia de ContinentalShelf AutonomousAgent e' uma instancia de Nacao Objeto encontra AutonomousAgent claimedTerritory Area Geografica and AutonomousAgent Area Geografica engloba Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1157-1161	Area Geopolitica e' uma instancia de Area Geopolitica ExclusiveFishingZoneFn Area Geopolitica e' uma instancia de ExclusiveFishingZone claimedTerritory ExclusiveFishingZoneFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1189-1193	Area Geopolitica e' uma instancia de Area Geopolitica ExtendedFishingZoneFn Area Geopolitica e' uma instancia de ExtendedFishingZone claimedTerritory ExtendedFishingZoneFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1050-1054	Area Geopolitica e' uma instancia de Area Geopolitica MaritimeContiguousZoneFn Area Geopolitica e' uma instancia de MaritimeContiguousZone claimedTerritory MaritimeContiguousZoneFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1125-1129	Area Geopolitica e' uma instancia de Area Geopolitica MaritimeExclusiveEconomicZoneFn Area Geopolitica e' uma instancia de MaritimeExclusiveEconomicZone claimedTerritory MaritimeExclusiveEconomicZoneFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1092-1096	Area Geopolitica e' uma instancia de Area Geopolitica MaritimeShelfAreaFn Area Geopolitica e' uma instancia de MaritimeShelfArea claimedTerritory MaritimeShelfAreaFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1228-1232	Area Geopolitica e' uma instancia de Area Geopolitica TerritorialSeaFn Area Geopolitica e' uma instancia de TerritorialSea claimedTerritory TerritorialSeaFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 924-932	AutonomousAgent e' uma instancia de LandlockedArea AutonomousAgent e' uma instancia de Area Geopolitica Area Geografica Area Geografica e' uma instancia de MaritimeClaimArea claimedTerritory Area Geografica and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 989-996	maritimeClaimType Area Geopolitica and MaritimeClaimArea MaritimeClaimArea e' uma sub-classe de MaritimeClaimArea Area Geografica Area Geografica e' uma instancia de MaritimeClaimArea claimedTerritory Area Geografica and Area Geopolitica

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3923-3923	claimedTerritory Antarctica and Argentina
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3924-3924	claimedTerritory Antarctica and Australia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3925-3925	claimedTerritory Antarctica and Chile
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3926-3926	claimedTerritory Antarctica and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3927-3927	claimedTerritory Antarctica and NewZealand
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3928-3928	claimedTerritory Antarctica and Norway
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3929-3929	claimedTerritory Antarctica and UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3715-3715	claimedTerritory GazaStrip and Israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3716-3716	claimedTerritory GazaStrip and PalestinianLiberationOrganization
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3717-3717	claimedTerritory ParacelIslands and China
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3718-3718	claimedTerritory ParacelIslands and Taiwan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3719-3719	claimedTerritory ParacelIslands and Vietnam
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3720-3720	claimedTerritory SpratlyIslands and China
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3721-3721	claimedTerritory SpratlyIslands and Taiwan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3722-3722	claimedTerritory SpratlyIslands and Vietnam
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3723-3723	claimedTerritory WestBank and Israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3724-3724	claimedTerritory WestBank and PalestinianLiberationOrganization
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3725-3725	claimedTerritory WesternSahara and Morocco

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