Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DependencyOrSpecialSovereigntyArea
DependencyOrSpecialSovereigntyArea(dependency or special sovereignty area)Crown_Colony, New_Netherland, colony, dependency, possession

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8721-8725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8717-8717 Dependency or special sovereignty area is a subclass of geopolitical area

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8718-8718 Independent state is disjoint from dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. Media.kif 2561-2561 Aaland islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3858-3858 American samoa is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3859-3859 Anguilla is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3860-3860 Aruba is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3861-3861 Ashmore and cartier islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3862-3862 Baker island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3863-3863 Bassas da india is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3864-3864 Bermuda is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3865-3865 Bouvet island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3866-3866 British indian ocean territory is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3867-3867 British virgin islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3868-3868 Cayman islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3752-3752 Channel islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3869-3869 Christmas island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3870-3870 Clipperton island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3871-3871 Cocos keeling islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3872-3872 Cook islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3873-3873 Coral sea islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3874-3874 Europa island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3875-3875 Falkland islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3876-3876 Faroe islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3877-3877 French guiana is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3878-3878 French polynesia is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3879-3879 French southern and antarctic lands is an instance of dependency or special sovereignty area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25661-25668 A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25677-25684

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25655-25659


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