postNeighborhood |
appearance as argument number 1 |
![]() |
(documentation postNeighborhood EnglishLanguage "(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD") | Mid-level-ontology.kif 26335-26336 | |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 26337-26337 | |
(domain postNeighborhood 2 Neighborhood) | Mid-level-ontology.kif 26338-26338 | |
(instance postNeighborhood AsymmetricRelation) | Mid-level-ontology.kif 26333-26333 | |
(instance postNeighborhood BinaryPredicate) | Mid-level-ontology.kif 26332-26332 | |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 26334-26334 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage postNeighborhood "%1 是在 %2 ") | domainEnglishFormat.kif 4170-4170 | |
(format ChineseTraditionalLanguage postNeighborhood "%1 是在 %2 ") | domainEnglishFormat.kif 4169-4169 | |
(format EnglishLanguage postNeighborhood "%1 is in %2") | domainEnglishFormat.kif 4168-4168 | |
(termFormat EnglishLanguage postNeighborhood "post neighborhood") | domainEnglishFormat.kif 65925-65925 |
antecedent |
![]() |
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 26347-26352 | |
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE)) |
Mid-level-ontology.kif 26354-26359 |
consequent |
![]() |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 26340-26345 |
![]() |
![]() |