| appearance as argument number 1 |
|
| (documentation chanceryAddressInArea EnglishLanguage "(chanceryAddressInArea ?AREA1 ?ADDRESS ?AREA2) means that the address of the main foreign service organization of the GeopoliticalArea ?AREA1 for ?AREA2 is the SymbolicString ?ADDRESS.") | Government.kif 4701-4704 | |
| (domain chanceryAddressInArea 1 GeopoliticalArea) | Government.kif 4697-4697 | The number 1 argument of chancery address in area is an instance of geopolitical area |
| (domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4698-4698 | The number 2 argument of chancery address in area is an instance of symbolic string |
| (domain chanceryAddressInArea 3 GeopoliticalArea) | Government.kif 4699-4699 | The number 3 argument of chancery address in area is an instance of geopolitical area |
| (instance chanceryAddressInArea TernaryPredicate) | Government.kif 4696-4696 | chancery address in area is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage chanceryAddressInArea "%1 %n 是 对于 %3 在区域 %2 的 chancery 地址") | domainEnglishFormat.kif 412-412 | |
| (format ChineseTraditionalLanguage chanceryAddressInArea "%1 %n 是 對於 %3 在區域 %2 的 chancery 地址") | domainEnglishFormat.kif 411-411 | |
| (format EnglishLanguage chanceryAddressInArea "%1 %n{doesn't} chancery address in area %2 for %3") | domainEnglishFormat.kif 410-410 | |
| (termFormat ChineseLanguage chanceryAddressInArea "地区的地址") | domainEnglishFormat.kif 14110-14110 | |
| (termFormat ChineseTraditionalLanguage chanceryAddressInArea "地區的地址") | domainEnglishFormat.kif 14109-14109 | |
| (termFormat EnglishLanguage chanceryAddressInArea "chancery address in area") | domainEnglishFormat.kif 14108-14108 |
|
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