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



KB Term:  Term intersection
English Word: 

Sigma KEE - postAddressText
postAddressText

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


(instance postAddressText AsymmetricRelation) Mid-level-ontology.kif 27131-27131 post address text is an instance of asymmetric relation
(instance postAddressText BinaryPredicate) Mid-level-ontology.kif 27132-27132 post address text is an instance of binary predicate
(domain postAddressText 1 PostalAddressText) Mid-level-ontology.kif 27133-27133 The number 1 argument of post address text is an instance of postal address text
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 27134-27134 The number 2 argument of post address text is an instance of postal place
(documentation postAddressText EnglishLanguage "(postAddressText ?PostalAddressText ?PostalPlace) means that the ContactSite ?PostalPlace is identified by ?PostalAddressText.") Mid-level-ontology.kif 27135-27138 The number 2 argument of post address text is an instance of postal place

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


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners