chanceryTelephoneNumberInArea |
appearance as argument number 1 |
(documentation chanceryTelephoneNumberInArea EnglishLanguage "(chanceryTelephoneNumberInArea ?AREA1 ?TELEPHONE ?AREA2) means that the telephone number of the main diplomatic office of the GeopoliticalArea ?AREA1 located in ?AREA2 is ?TELEPHONE.") | Government.kif 4722-4725 | |
(domain chanceryTelephoneNumberInArea 1 GeopoliticalArea) | Government.kif 4718-4718 | chanceryTelephoneNumberInArea の数値 1 引数は 地政学的地域 の instance では %n |
(domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4719-4719 | chanceryTelephoneNumberInArea の数値 2 引数は 記号文字列 の instance では %n |
(domain chanceryTelephoneNumberInArea 3 GeopoliticalArea) | Government.kif 4720-4720 | chanceryTelephoneNumberInArea の数値 3 引数は 地政学的地域 の instance では %n |
(instance chanceryTelephoneNumberInArea TernaryPredicate) | Government.kif 4717-4717 | chanceryTelephoneNumberInArea は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage chanceryTelephoneNumberInArea "%1 %n{不是} 对于 %3 在地区 %2 的 chancery 电话号码") | domainEnglishFormat.kif 424-424 | |
(format ChineseTraditionalLanguage chanceryTelephoneNumberInArea "%1 %n{不是} 對於 %3 在地區 %2 的 chancery 電話號碼") | domainEnglishFormat.kif 423-423 | |
(format EnglishLanguage chanceryTelephoneNumberInArea "%1 %n{doesn't} chancery telephone number in area %2 for %3") | domainEnglishFormat.kif 422-422 | |
(termFormat ChineseLanguage chanceryTelephoneNumberInArea "区域内的尚书电话号码") | domainEnglishFormat.kif 14112-14112 | |
(termFormat ChineseTraditionalLanguage chanceryTelephoneNumberInArea "區域內的尚書電話號碼") | domainEnglishFormat.kif 14111-14111 | |
(termFormat EnglishLanguage chanceryTelephoneNumberInArea "chancery telephone number in area") | domainEnglishFormat.kif 14110-14110 |