TreeView Knowledge Base Browser

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	postPostOfficeBox の数値 1 引数は記号文字列の instance では %n
(domain postPostOfficeBox 2 PostalPlace)	Mid-level-ontology.kif 24837-24837	postPostOfficeBox の数値 2 引数は PostalPlace の instance では %n
(instance postPostOfficeBox AsymmetricRelation)	Mid-level-ontology.kif 24834-24834	postPostOfficeBox は非対称関係の instance では %n
(instance postPostOfficeBox BinaryPredicate)	Mid-level-ontology.kif 24835-24835	postPostOfficeBox は 2進述語の instance では %n

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