TreeView Knowledge Base Browser - InternationalLaborOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3542-3542	28 Day 是国际劳工组织的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3546-3548
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5632-5632
No TPTP formula. May not be expressible in strict first order.	Government.kif 3539-3539	国际劳工组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3543-3543	世界劳工问题是国际劳工组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3112-3112	国际劳工组织是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3544-3544	国际劳工组织是联合国 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3541-3541	国际劳工组织是 "ILO" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3540-3540	国际劳工组织是 "International Labor Organization" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30619-30619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30618-30618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30617-30617