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 22434-22435
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 22436-22436	The number 1 argument of postNeighborhood is an instance of PostalPlace
(domain postNeighborhood 2 Neighborhood)	Mid-level-ontology.kif 22437-22437	The number 2 argument of postNeighborhood is an instance of neighborhood
(instance postNeighborhood AsymmetricRelation)	Mid-level-ontology.kif 22432-22432	postNeighborhood is an instance of asymmetric relation
(instance postNeighborhood BinaryPredicate)	Mid-level-ontology.kif 22431-22431	postNeighborhood is an instance of binary predicate
(subrelation postNeighborhood located)	Mid-level-ontology.kif 22433-22433	postNeighborhood is a subrelation of located

appearance as argument number 2

(format EnglishLanguage postNeighborhood "%1 is in %2")

domainEnglishFormat.kif 1051-1051

antecedent

(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 22446-22451	If a PostalPlace is in a neighborhood and the neighborhood is a geographic subregion of a city and the city is an instance of city, then the PostalPlace is in the city
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE))	Mid-level-ontology.kif 22453-22458	If a PostalPlace is in a neighborhood and the neighborhood is a geographic subregion of a state or province and the state or province is an instance of state or province, then the PostalPlace is in the state or province

consequent

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

Mid-level-ontology.kif 22439-22444