TreeView Knowledge Base Browser - InternationalTelecommunicationUnion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3610-3610	天 17 and 月 May and 年 1865 是國際電信聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3614-3616
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 3607-3607	例國際電信聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3612-3612	溝通協調是國際電信聯盟的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3115-3115	子組織國際電信聯盟 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3618-3618	子組織國際電信聯盟 and 聯合國

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3609-3609	國際電信聯盟是 "ITU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3608-3608	國際電信聯盟是 "International Telecommunication Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3611-3611	"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