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 4758-4761 | |
(domain chanceryTelephoneNumberInArea 1 GeopoliticalArea) | Government.kif 4754-4754 | O argumento numero 1 de chanceryTelephoneNumberInArea e' uma instancia de Area Geopolitica |
(domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4755-4755 | O argumento numero 2 de chanceryTelephoneNumberInArea e' uma instancia de Sequencia Simbolica |
(domain chanceryTelephoneNumberInArea 3 GeopoliticalArea) | Government.kif 4756-4756 | O argumento numero 3 de chanceryTelephoneNumberInArea e' uma instancia de Area Geopolitica |
(instance chanceryTelephoneNumberInArea TernaryPredicate) | Government.kif 4753-4753 | chanceryTelephoneNumberInArea e' uma instancia de Predicado Ternario |
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 |