Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - postAddressText
postAddressText

appearance as argument number 1
-------------------------


(documentation postAddressText EnglishLanguage "(postAddressText ?PostalAddressText ?PostalPlace) means that the ContactSite ?PostalPlace is identified by ?PostalAddressText.") Mid-level-ontology.kif 24853-24856
(domain postAddressText 1 PostalAddressText) Mid-level-ontology.kif 24851-24851 Le nombre 1 argument de postAddressText est une instance de PostalAddressText
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24852-24852 Le nombre 2 argument de postAddressText est une instance de PostalPlace
(instance postAddressText AsymmetricRelation) Mid-level-ontology.kif 24849-24849 postAddressText est une instance de relation asym�trique
(instance postAddressText BinaryPredicate) Mid-level-ontology.kif 24850-24850 postAddressText est une instance de pr�dicat binaire

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 65902-65902


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