InternationalTelecommunicationUnion - Sigma Knowledge base Browser

appearance as argument number 1

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

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