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 Day 是国际电信联盟的成立 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	国际电信联盟是国际组织的 instance
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	国际电信联盟是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3618-3618	国际电信联盟是联合国 Organization 的一部分

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