postNeighborhood - Sigma Knowledge base Browser

appearance as argument number 1

(instance postNeighborhood BinaryPredicate)	Mid-level-ontology.kif 26950-26950	post neighborhood is an instance of binary predicate
(instance postNeighborhood AsymmetricRelation)	Mid-level-ontology.kif 26951-26951	post neighborhood is an instance of asymmetric relation
(subrelation postNeighborhood located)	Mid-level-ontology.kif 26952-26952	post neighborhood is a subrelation of located
(documentation postNeighborhood EnglishLanguage "(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD")	Mid-level-ontology.kif 26953-26954	post neighborhood is a subrelation of located
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 26955-26955	The number 1 argument of post neighborhood is an instance of postal place
(domain postNeighborhood 2 Neighborhood)	Mid-level-ontology.kif 26956-26956	The number 2 argument of post neighborhood is an instance of neighborhood

appearance as argument number 2

(format EnglishLanguage postNeighborhood "%1 is in %2")	domainEnglishFormat.kif 4168-4168
(format ChineseTraditionalLanguage postNeighborhood "%1 是在 %2 ")	domainEnglishFormat.kif 4169-4169
(format ChineseLanguage postNeighborhood "%1 是在 %2 ")	domainEnglishFormat.kif 4170-4170
(termFormat EnglishLanguage postNeighborhood "post neighborhood")	domainEnglishFormat.kif 65934-65934

antecedent

(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 26965-26970	If X is in Y, Y is a geographic subregion of Z, and Z is an instance of city, then X is in Z
(=> (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

consequent

(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))

X is located at Y, X is an instance of postal place, Y is an instance of neighborhood if, and only if X is in Y