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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postPostOfficeBox

Sigma KEE - postPostOfficeBox
postPostOfficeBox

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


(documentation postPostOfficeBox EnglishLanguage "(postPostOfficeBox ?SymbolicString ?PostalPlace) means that ?SymbolicString identifies the post office box of a ?PostalPlace. ?SymbolicString need not consist exclusively of DigitCharacters.") Mid-level-ontology.kif 24188-24192
(domain postPostOfficeBox 1 SymbolicString) Mid-level-ontology.kif 24186-24186 The number 1 argument of postPostOfficeBox is an instance of symbolic string
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24187-24187 The number 2 argument of postPostOfficeBox is an instance of PostalPlace
(instance postPostOfficeBox AsymmetricRelation) Mid-level-ontology.kif 24184-24184 postPostOfficeBox is an instance of asymmetric relation
(instance postPostOfficeBox BinaryPredicate) Mid-level-ontology.kif 24185-24185 postPostOfficeBox is an instance of binary predicate

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


(format ChineseLanguage postPostOfficeBox "%1 有 PO box %2 ") domainEnglishFormat.kif 4179-4179
(format ChineseTraditionalLanguage postPostOfficeBox "%1 有 PO box %2 ") domainEnglishFormat.kif 4178-4178
(format EnglishLanguage postPostOfficeBox "%1 has PO box %2") domainEnglishFormat.kif 4177-4177


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