| appearance as argument number 1 |
|
| (documentation postAddressText EnglishLanguage "(postAddressText ?PostalAddressText ?PostalPlace) means that the ContactSite ?PostalPlace is identified by ?PostalAddressText.") | Mid-level-ontology.kif 25141-25144 | |
| (domain postAddressText 1 PostalAddressText) | Mid-level-ontology.kif 25139-25139 | The number 1 argument of post address text is an instance of postal address text |
| (domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 25140-25140 | The number 2 argument of post address text is an instance of postal place |
| (instance postAddressText AsymmetricRelation) | Mid-level-ontology.kif 25137-25137 | post address text is an instance of asymmetric relation |
| (instance postAddressText BinaryPredicate) | Mid-level-ontology.kif 25138-25138 | post address text is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage postAddressText "%1 是 address 对于 %2 ") | domainEnglishFormat.kif 4146-4146 | |
| (format ChineseTraditionalLanguage postAddressText "%1 是 address 對於 %2 ") | domainEnglishFormat.kif 4145-4145 | |
| (format EnglishLanguage postAddressText "%1 is the address for %2") | domainEnglishFormat.kif 4144-4144 | |
| (termFormat EnglishLanguage postAddressText "post address text") | domainEnglishFormat.kif 65959-65959 |
|
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