(=>
(and
(postNeighborhood ?PLACE ?NEIGHBORHOOD)
(geographicSubregion ?NEIGHBORHOOD ?STATE)
(instance ?STATE StateOrProvince))
(postDistrict ?PLACE ?STATE)) |
Mid-level-ontology.kif 26972-26977 |
If X is in Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z |
(=>
(and
(postCity ?PLACE ?CITY)
(geographicSubregion ?CITY ?AREA)
(instance ?AREA StateOrProvince))
(postDistrict ?PLACE ?AREA)) |
Mid-level-ontology.kif 27004-27009 |
If X is in Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z |
(<=>
(and
(located ?PLACE ?GEO)
(instance ?PLACE PostalPlace)
(instance ?GEO StateOrProvince))
(postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 27029-27034 |
X is located at Y, X is an instance of postal place, Y is an instance of state or province if, and only if X is in Y |
(=>
(and
(postPostcodeArea ?PLACE ?AREA)
(geographicSubregion ?AREA ?GEO)
(instance ?GEO StateOrProvince))
(postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 27086-27091 |
If X is in post code Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z |
