Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - chanceryAddressInArea
chanceryAddressInArea

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 4737-4740
(domain chanceryAddressInArea 1 GeopoliticalArea) Government.kif 4733-4733 The number 1 argument of chancery address in area is an instance of geopolitical area
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4734-4734 The number 2 argument of chancery address in area is an instance of symbolic string
(domain chanceryAddressInArea 3 GeopoliticalArea) Government.kif 4735-4735 The number 3 argument of chancery address in area is an instance of geopolitical area
(instance chanceryAddressInArea TernaryPredicate) Government.kif 4732-4732 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 14094-14094
(termFormat ChineseTraditionalLanguage chanceryAddressInArea "地區的地址") domainEnglishFormat.kif 14093-14093
(termFormat EnglishLanguage chanceryAddressInArea "chancery address in area") domainEnglishFormat.kif 14092-14092


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