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 24203-24206
(domain postAddressText 1 PostalAddressText) Mid-level-ontology.kif 24201-24201 The number 1 argument of postAddressText is an instance of PostalAddressText
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24202-24202 The number 2 argument of postAddressText is an instance of PostalPlace
(instance postAddressText AsymmetricRelation) Mid-level-ontology.kif 24199-24199 postAddressText is an instance of asymmetric relation
(instance postAddressText BinaryPredicate) Mid-level-ontology.kif 24200-24200 postAddressText is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage postAddressText "%1 是 address 对于 %2 ") domainEnglishFormat.kif 4151-4151
(format ChineseTraditionalLanguage postAddressText "%1 是 address 對於 %2 ") domainEnglishFormat.kif 4150-4150
(format EnglishLanguage postAddressText "%1 is the address for %2") domainEnglishFormat.kif 4149-4149


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