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 and 月 June and 年 1919 是國際勞工組織的成立 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	例國際勞工組織 and 國際組織
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	子組織國際勞工組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3544-3544	子組織國際勞工組織 and 聯合國

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