TreeView Knowledge Base Browser - InternationalTelecommunicationUnion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3574-3574	天 17 and 月 May and 年 1865 是國際電信聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3578-3580
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5635-5635
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5750-5750
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5747-5747
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5749-5749
No TPTP formula. May not be expressible in strict first order.	Government.kif 3571-3571	例國際電信聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3576-3576	溝通協調是國際電信聯盟的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3079-3079	子組織國際電信聯盟 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3582-3582	子組織國際電信聯盟 and 聯合國

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3573-3573	國際電信聯盟是 "ITU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3572-3572	國際電信聯盟是 "International Telecommunication Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3575-3575	"International Telegraph Union" 是對於國際電信聯盟的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30697-30697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30696-30696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30695-30695