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 4713-4716
(domain chanceryAddressInArea 1 GeopoliticalArea) Government.kif 4709-4709 The number 1 argument of chancery address in area is an instance of geopolitical area
(domain chanceryAddressInArea 2 SymbolicString) Government.kif 4710-4710 The number 2 argument of chancery address in area is an instance of symbolic string
(domain chanceryAddressInArea 3 GeopoliticalArea) Government.kif 4711-4711 The number 3 argument of chancery address in area is an instance of geopolitical area
(instance chanceryAddressInArea TernaryPredicate) Government.kif 4708-4708 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 14097-14097
(termFormat ChineseTraditionalLanguage chanceryAddressInArea "地區的地址") domainEnglishFormat.kif 14096-14096
(termFormat EnglishLanguage chanceryAddressInArea "chancery address in area") domainEnglishFormat.kif 14095-14095


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