| appearance as argument number 1 |
|
| (documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.") | Mid-level-ontology.kif 24842-24845 | |
| (domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 24839-24839 | Il numero 1 argomenti di postPostcodeArea è un istanza di PostalPlace |
| (domain postPostcodeArea 2 PostcodeArea) | Mid-level-ontology.kif 24840-24840 | Il numero 2 argomenti di postPostcodeArea è un istanza di PostcodeArea |
| (instance postPostcodeArea AsymmetricRelation) | Mid-level-ontology.kif 24837-24837 | postPostcodeArea è un' istanza di RelazioneAsimmetrica |
| (instance postPostcodeArea BinaryPredicate) | Mid-level-ontology.kif 24838-24838 | postPostcodeArea è un' istanza di PredicatoBinario |
| (subrelation postPostcodeArea located) | Mid-level-ontology.kif 24841-24841 | postPostcodeArea è una sottorelazione di located |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4170-4170 | |
| (format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4169-4169 | |
| (format EnglishLanguage postPostcodeArea "%1 is in post code %2") | domainEnglishFormat.kif 4168-4168 | |
| (termFormat EnglishLanguage postPostcodeArea "post postcode area") | domainEnglishFormat.kif 65911-65911 |
| antecedent |
|
|
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 24854-24859 |
|
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 24861-24866 |
| consequent |
|
|
| (<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 24847-24852 | PostalPlace è localizzato in PostcodeArea PostalPlace è un' istanza di PostalPlace PostcodeArea è un' istanza di PostcodeArea postPostcodeArea PostalPlace and PostcodeArea |
|
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