geopoliticalSubdivision - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - geopoliticalSubdivision

geopoliticalSubdivision

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1443-1447
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14230-14235
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14228-14228	The number 1 argument of geopolitical subdivision is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14229-14229	The number 2 argument of geopolitical subdivision is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14225-14225	geopolitical subdivision is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14226-14226	geopolitical subdivision is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14227-14227	geopolitical subdivision is a subrelation of geographic subregion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 804-804
No TPTP formula. May not be expressible in strict first order.	english_format.kif 814-814
No TPTP formula. May not be expressible in strict first order.	french_format.kif 483-483
No TPTP formula. May not be expressible in strict first order.	english_format.kif 815-815
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 435-435
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 505-505
No TPTP formula. May not be expressible in strict first order.	Government.kif 385-385	administrative center is a subrelation of geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33451-33451	primary geopolitical subdivision is a subrelation of geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 805-805	primary geopolitical subdivision is a subrelation of geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25870-25870	primary geopolitical subdivision is a subrelation of geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25869-25869	primary geopolitical subdivision is a subrelation of geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25868-25868	primary geopolitical subdivision is a subrelation of geopolitical subdivision

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4629-4634	If an agent is diplomatic organization type a kind of organization for a geopolitical area and the geopolitical area is a geopolitical part of another geopolitical area and the other geopolitical area is an instance of nation, then the agent is diplomatic organization type a kind of organization for the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4496-4501	If an agent diplomatic representation type a position for a geopolitical area and the geopolitical area is a geopolitical part of another geopolitical area and the other geopolitical area is an instance of nation, then the agent diplomatic representation type the position for the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 446-449	If a geopolitical area is a geopolitical part of another geopolitical area, then not the geopolitical area is a dependent of the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 395-397	If a geopolitical area is a geopolitical part of another geopolitical area, then the geopolitical area is not an instance of independent state

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9266-9271	A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2672-2685	If a process is an instance of exporting and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7001-7006	If a geopolitical area is an instance of all the instances of a kind of geographic area in another geopolitical area and a kind of geographic area is a subclass of geopolitical area and the other geopolitical area is an instance of geopolitical area, then the geopolitical area is a geopolitical part of the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2832-2851	If a process is an instance of importing and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 441-444	If a geopolitical area is a dependent of another geopolitical area, then the geopolitical area is not a geopolitical part of the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21280-21288	If a contest is an instance of civil war, then there exists a geopolitical area such that the geopolitical area is an instance of nation and for all another geopolitical area if the other geopolitical area participates in the contest, then the other geopolitical area is a geopolitical part of the geopolitical area

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4255-4255	Beijing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4275-4275	Chengdu is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4259-4259	Chongqing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4267-4267	Guangzhou is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4279-4279	Nanjing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4251-4251	Shanghai is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4271-4271	Shenzhen is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4263-4263	Tianjin is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4283-4283	Wuhan is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4287-4287	Xi'an is a geopolitical part of china

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