OverseasArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OverseasArea

OverseasArea(overseas area)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 453-455
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9205-9205	Overseas area is a subclass of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	Government.kif 451-451	Overseas area is a subclass of geopolitical area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 755-755	Palestine is an instance of overseas area
No TPTP formula. May not be expressible in strict first order.	Government.kif 466-466	The values returned by overseas area are subclasses of overseas area
No TPTP formula. May not be expressible in strict first order.	Government.kif 483-483	British crown colony is a subclass of overseas area
No TPTP formula. May not be expressible in strict first order.	Government.kif 477-477	Unincorporated united states territory is a subclass of overseas area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43831-43831	Unincorporated united states territory is a subclass of overseas area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43830-43830	Unincorporated united states territory is a subclass of overseas area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43829-43829	Unincorporated united states territory is a subclass of overseas area

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1151-1155	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of overseas area, then the ship register of the geopolitical area is an instance of offshore ship register
No TPTP formula. May not be expressible in strict first order.	Government.kif 457-462	If a geopolitical area is an instance of overseas area, then there exists another geopolitical area such that the other geopolitical area is an instance of nation and the geopolitical area is a dependent of the other geopolitical area

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 471-475	If a geopolitical area is an instance of nation and another geopolitical area is an instance of the overseas area of the geopolitical area, then the other geopolitical area dependent area of type the geopolitical area for overseas area
No TPTP formula. May not be expressible in strict first order.	Government.kif 479-481	If a geopolitical area is an instance of unincorporated united states territory, then the geopolitical area dependent area of type united states for overseas area

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