postNeighborhood - Sigma Knowledge base Browser

appearance as argument number 1

(documentation postNeighborhood EnglishLanguage "(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD")	Mid-level-ontology.kif 20908-20909
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 20910-20910
(domain postNeighborhood 2 Neighborhood)	Mid-level-ontology.kif 20911-20911
(instance postNeighborhood AsymmetricRelation)	Mid-level-ontology.kif 20906-20906
(instance postNeighborhood BinaryPredicate)	Mid-level-ontology.kif 20905-20905
(subrelation postNeighborhood located)	Mid-level-ontology.kif 20907-20907

appearance as argument number 2

(format ChineseLanguage postNeighborhood "%1 是在 %2 ")	domainEnglishFormat.kif 4171-4171
(format ChineseTraditionalLanguage postNeighborhood "%1 是在 %2 ")	domainEnglishFormat.kif 4170-4170
(format EnglishLanguage postNeighborhood "%1 is in %2")	domainEnglishFormat.kif 4169-4169

antecedent

(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 20920-20925
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE))	Mid-level-ontology.kif 20927-20932

consequent

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

Mid-level-ontology.kif 20913-20918