| appearance as argument number 1 |
|
| (documentation postAddressText EnglishLanguage "(postAddressText ?PostalAddressText ?PostalPlace) means that the ContactSite ?PostalPlace is identified by ?PostalAddressText.") | Mid-level-ontology.kif 26534-26537 | |
| (domain postAddressText 1 PostalAddressText) | Mid-level-ontology.kif 26532-26532 | The number 1 argument of post address text is an instance of postal address text |
| (domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 26533-26533 | The number 2 argument of post address text is an instance of postal place |
| (instance postAddressText AsymmetricRelation) | Mid-level-ontology.kif 26530-26530 | post address text is an instance of asymmetric relation |
| (instance postAddressText BinaryPredicate) | Mid-level-ontology.kif 26531-26531 | post address text is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage postAddressText "%1 是 address 对于 %2 ") | domainEnglishFormat.kif 4150-4150 | |
| (format ChineseTraditionalLanguage postAddressText "%1 是 address 對於 %2 ") | domainEnglishFormat.kif 4149-4149 | |
| (format EnglishLanguage postAddressText "%1 is the address for %2") | domainEnglishFormat.kif 4148-4148 | |
| (termFormat EnglishLanguage postAddressText "post address text") | domainEnglishFormat.kif 65951-65951 |
|
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