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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - chanceryFAXNumberInArea
chanceryFAXNumberInArea

appearance as argument number 1
-------------------------


(documentation chanceryFAXNumberInArea EnglishLanguage "(chanceryFAXNumberInArea ?AREA1 ?FAX ?AREA2) means that the FAX number of the main diplomatic office of the GeopoliticalArea ?AREA1 located in ?AREA2 is ?FAX.") Government.kif 4768-4770
(domain chanceryFAXNumberInArea 1 GeopoliticalArea) Government.kif 4764-4764 arearyFAX在区域内的数量 的 1 数量 是 地缘政治区域instance
(domain chanceryFAXNumberInArea 2 SymbolicString) Government.kif 4765-4765 arearyFAX在区域内的数量 的 2 数量 是 符号串instance
(domain chanceryFAXNumberInArea 3 GeopoliticalArea) Government.kif 4766-4766 arearyFAX在区域内的数量 的 3 数量 是 地缘政治区域instance
(instance chanceryFAXNumberInArea TernaryPredicate) Government.kif 4763-4763 arearyFAX在区域内的数量三元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage chanceryFAXNumberInArea "%1 %n{不是} 对于 %3 在地区 %2 的 chanceryFAX 号码") domainEnglishFormat.kif 416-416
(format ChineseTraditionalLanguage chanceryFAXNumberInArea "%1 %n{不是} 對於 %3 在地區 %2 的 chanceryFAX 號碼") domainEnglishFormat.kif 415-415
(format EnglishLanguage chanceryFAXNumberInArea "%1 %n{doesn't} chanceryFAX number in area %2 for %3") domainEnglishFormat.kif 414-414
(termFormat ChineseLanguage chanceryFAXNumberInArea "arearyFAX在区域内的数量") domainEnglishFormat.kif 14100-14100
(termFormat ChineseTraditionalLanguage chanceryFAXNumberInArea "arearyFAX在區域內的數量") domainEnglishFormat.kif 14099-14099
(termFormat EnglishLanguage chanceryFAXNumberInArea "chanceryFAX number in area") domainEnglishFormat.kif 14098-14098


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