| appearance as argument number 1 |
|
| (documentation chanceryMailingAddressInArea EnglishLanguage "(chanceryMailingAddressInArea ?AREA1 ?ADDRESS ?AREA2) means that the mailing address of the main foreign service organization of the GeopoliticalArea ?AREA1 located in ?AREA2 is the SymbolicString ?ADDRESS.") | Government.kif 4709-4713 | |
| (domain chanceryMailingAddressInArea 1 GeopoliticalArea) | Government.kif 4705-4705 | The number 1 argument of chancery mailing address in area is an instance of geopolitical area |
| (domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4706-4706 | The number 2 argument of chancery mailing address in area is an instance of symbolic string |
| (domain chanceryMailingAddressInArea 3 GeopoliticalArea) | Government.kif 4707-4707 | The number 3 argument of chancery mailing address in area is an instance of geopolitical area |
| (instance chanceryMailingAddressInArea TernaryPredicate) | Government.kif 4704-4704 | chancery mailing address in area is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage chanceryMailingAddressInArea "%1 %n{不是} 对于 %3 在地区 %2 的 chancery 邮件地址") | domainEnglishFormat.kif 420-420 | |
| (format ChineseTraditionalLanguage chanceryMailingAddressInArea "%1 %n{不是} 對於 %3 在地區 %2 的 chancery 郵件地址") | domainEnglishFormat.kif 419-419 | |
| (format EnglishLanguage chanceryMailingAddressInArea "%1 %n{doesn't} chancery mailing address in area %2 for %3") | domainEnglishFormat.kif 418-418 | |
| (termFormat ChineseLanguage chanceryMailingAddressInArea "地区的尚书邮寄地址") | domainEnglishFormat.kif 14121-14121 | |
| (termFormat ChineseTraditionalLanguage chanceryMailingAddressInArea "地區的尚書郵寄地址") | domainEnglishFormat.kif 14120-14120 | |
| (termFormat EnglishLanguage chanceryMailingAddressInArea "chancery mailing address in area") | domainEnglishFormat.kif 14119-14119 |
|
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