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 24895-24899
(domain postPostOfficeBox 1 SymbolicString) Mid-level-ontology.kif 24893-24893 Die Zahl 1 Argument von postPostOfficeBox ist ein fall von SymbolicString %n{nicht}
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24894-24894 Die Zahl 2 Argument von postPostOfficeBox ist ein fall von PostalPlace %n{nicht}
(instance postPostOfficeBox AsymmetricRelation) Mid-level-ontology.kif 24891-24891 postPostOfficeBox ist ein fall von AsymmetricRelation %n{nicht}
(instance postPostOfficeBox BinaryPredicate) Mid-level-ontology.kif 24892-24892 postPostOfficeBox ist ein fall von BinaryPredicate %n{nicht}

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 65910-65910


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