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 14092-14097
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14090-14090	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 14091-14091	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 14087-14087	geopolitical subdivision is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14088-14088	geopolitical subdivision is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14089-14089	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.	Government.kif 403-403	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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25842-25842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25841-25841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25840-25840

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4668-4673	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 4535-4540	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 482-485	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 8080-8085	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 2432-2445	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 6931-6936	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.	Government.kif 477-480	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 19692-19700	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