chanceryFAXNumberInArea |
appearance as argument number 1 |
(documentation chanceryFAXNumberInArea EnglishLanguage "(chanceryFAXNumberInArea ?AREA1 ?FAX ?AREA2) means that the FAX number of the main diplomatic office of the GeopoliticalArea ?AREA1 located in ?AREA2 is ?FAX.") | Government.kif 4732-4734 | |
(domain chanceryFAXNumberInArea 1 GeopoliticalArea) | Government.kif 4728-4728 | The number 1 argument of chanceryFAX number in area is an instance of geopolitical area |
(domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4729-4729 | The number 2 argument of chanceryFAX number in area is an instance of symbolic string |
(domain chanceryFAXNumberInArea 3 GeopoliticalArea) | Government.kif 4730-4730 | The number 3 argument of chanceryFAX number in area is an instance of geopolitical area |
(instance chanceryFAXNumberInArea TernaryPredicate) | Government.kif 4727-4727 | chanceryFAX number in area is an instance of ternary predicate |
appearance as argument number 2 |
(format ChineseLanguage chanceryFAXNumberInArea "%1 %n{不是} 对于 %3 在地区 %2 的 chanceryFAX 号码") | domainEnglishFormat.kif 416-416 | |
(format ChineseTraditionalLanguage chanceryFAXNumberInArea "%1 %n{不是} 對於 %3 在地區 %2 的 chanceryFAX 號碼") | domainEnglishFormat.kif 415-415 | |
(format EnglishLanguage chanceryFAXNumberInArea "%1 %n{doesn't} chanceryFAX number in area %2 for %3") | domainEnglishFormat.kif 414-414 | |
(termFormat ChineseLanguage chanceryFAXNumberInArea "arearyFAX在区域内的数量") | domainEnglishFormat.kif 14116-14116 | |
(termFormat ChineseTraditionalLanguage chanceryFAXNumberInArea "arearyFAX在區域內的數量") | domainEnglishFormat.kif 14115-14115 | |
(termFormat EnglishLanguage chanceryFAXNumberInArea "chanceryFAX number in area") | domainEnglishFormat.kif 14114-14114 |