EuropeanCommunity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3140-3140	天 8 and 月 April and 年 1965 是歐洲共同體的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3134-3135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6484-6484
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5990-5990
No TPTP formula. May not be expressible in strict first order.	Government.kif 3132-3132	例歐洲共同體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3141-3141	經濟一體化是歐洲共同體的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3142-3142	政治合作是歐洲共同體的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3224-3224	歐洲聯盟是歐洲共同體的 successor 組織

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3139-3139	歐洲共同體是 "EC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3138-3138	歐洲共同體是 "European Communities" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3137-3137	歐洲共同體是 "European Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22552-22552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22551-22551
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22550-22550