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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postAddressText

 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
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24852-24852
(instance postAddressText AsymmetricRelation) Mid-level-ontology.kif 24849-24849
(instance postAddressText BinaryPredicate) Mid-level-ontology.kif 24850-24850

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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