(subclass StateOrProvince GeopoliticalArea) | Merge.kif 14230-14230 | State or province is a subclass of geopolitical area |
(subclass StateOrProvince LandArea) | Merge.kif 14231-14231 | State or province is a subclass of land area |
(subclass AmericanState StateOrProvince) | CountriesAndRegions.kif 21-21 | American state is a subclass of state or province |