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 The number 1 argument of post address text is an instance of postal address text
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24852-24852 The number 2 argument of post address text is an instance of postal place
(instance postAddressText AsymmetricRelation) Mid-level-ontology.kif 24849-24849 post address text is an instance of asymmetric relation
(instance postAddressText BinaryPredicate) Mid-level-ontology.kif 24850-24850 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 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