| appearance as argument number 1 |
|
| (documentation postNeighborhood EnglishLanguage "(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD") | Mid-level-ontology.kif 24959-24960 | |
| (domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 24961-24961 | The number 1 argument of post neighborhood is an instance of postal place |
| (domain postNeighborhood 2 Neighborhood) | Mid-level-ontology.kif 24962-24962 | The number 2 argument of post neighborhood is an instance of neighborhood |
| (instance postNeighborhood AsymmetricRelation) | Mid-level-ontology.kif 24957-24957 | post neighborhood is an instance of asymmetric relation |
| (instance postNeighborhood BinaryPredicate) | Mid-level-ontology.kif 24956-24956 | post neighborhood is an instance of binary predicate |
| (subrelation postNeighborhood located) | Mid-level-ontology.kif 24958-24958 | post neighborhood is a subrelation of located |
| 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 65964-65964 |
| antecedent |
|
|
| (=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 24971-24976 |
|
| (=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE)) |
Mid-level-ontology.kif 24978-24983 |
|
| consequent |
|
|
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 24964-24969 | A postal place is located at a neighborhood and the postal place is an instance of postal place and the neighborhood is an instance of neighborhood if and only if the postal place is in the neighborhood |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners