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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 24838-24842
(domain postPostOfficeBox 1 SymbolicString) Mid-level-ontology.kif 24836-24836 The number 1 argument of post post office box is an instance of symbolic string
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24837-24837 The number 2 argument of post post office box is an instance of postal place
(instance postPostOfficeBox AsymmetricRelation) Mid-level-ontology.kif 24834-24834 post post office box is an instance of asymmetric relation
(instance postPostOfficeBox BinaryPredicate) Mid-level-ontology.kif 24835-24835 post post office box is an instance of binary predicate

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


(format ChineseLanguage postPostOfficeBox "%1 有 PO box %2 ") domainEnglishFormat.kif 4174-4174
(format ChineseTraditionalLanguage postPostOfficeBox "%1 有 PO box %2 ") domainEnglishFormat.kif 4173-4173
(format EnglishLanguage postPostOfficeBox "%1 has PO box %2") domainEnglishFormat.kif 4172-4172
(termFormat EnglishLanguage postPostOfficeBox "post post office box") domainEnglishFormat.kif 65908-65908


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