postNeighborhood |
appearance as argument number 1 |
(documentation postNeighborhood EnglishLanguage "(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD") | Mid-level-ontology.kif 24671-24672 | |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 24673-24673 | postNeighborhood の数値 1 引数は PostalPlace の instance では %n |
(domain postNeighborhood 2 Neighborhood) | Mid-level-ontology.kif 24674-24674 | postNeighborhood の数値 2 引数は Neighborhood の instance では %n |
(instance postNeighborhood AsymmetricRelation) | Mid-level-ontology.kif 24669-24669 | postNeighborhood は 非対称関係 の instance では %n |
(instance postNeighborhood BinaryPredicate) | Mid-level-ontology.kif 24668-24668 | postNeighborhood は 2進述語 の instance では %n |
(subrelation postNeighborhood located) | Mid-level-ontology.kif 24670-24670 | postNeighborhood は located の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage postNeighborhood "%1 是在 %2 ") | domainEnglishFormat.kif 4166-4166 | |
(format ChineseTraditionalLanguage postNeighborhood "%1 是在 %2 ") | domainEnglishFormat.kif 4165-4165 | |
(format EnglishLanguage postNeighborhood "%1 is in %2") | domainEnglishFormat.kif 4164-4164 | |
(termFormat EnglishLanguage postNeighborhood "post neighborhood") | domainEnglishFormat.kif 65907-65907 |
antecedent |
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 24683-24688 |
|
(=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE)) |
Mid-level-ontology.kif 24690-24695 |
|
consequent |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 24676-24681 | PostalPlace は Neighborhood に located して %n PostalPlace は PostalPlace の instance では %n Neighborhood は Neighborhood の instance では %n postNeighborhood PostalPlace and Neighborhood |