| 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 4720-4723 | |
| (domain chanceryTelephoneNumberInArea 1 GeopoliticalArea) | Government.kif 4716-4716 | The number 1 argument of chancery telephone number in area is an instance of geopolitical area |
| (domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4717-4717 | The number 2 argument of chancery telephone number in area is an instance of symbolic string |
| (domain chanceryTelephoneNumberInArea 3 GeopoliticalArea) | Government.kif 4718-4718 | The number 3 argument of chancery telephone number in area is an instance of geopolitical area |
| (instance chanceryTelephoneNumberInArea TernaryPredicate) | Government.kif 4715-4715 | chancery telephone number in area is an instance of ternary predicate |
| 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 14127-14127 | |
| (termFormat ChineseTraditionalLanguage chanceryTelephoneNumberInArea "區域內的尚書電話號碼") | domainEnglishFormat.kif 14126-14126 | |
| (termFormat EnglishLanguage chanceryTelephoneNumberInArea "chancery telephone number in area") | domainEnglishFormat.kif 14125-14125 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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