UnitedNationsObserverMissionInGeorgia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4118-4118	格魯吉亞共和國是 agent 運作在聯合國駐格魯吉亞觀察團地區
No TPTP formula. May not be expressible in strict first order.	Government.kif 4116-4116	天 24 and 月 August and 年 1993 是聯合國駐格魯吉亞觀察團的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5535-5535
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5533-5533
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5186-5186
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5534-5534
No TPTP formula. May not be expressible in strict first order.	Government.kif 4113-4113	例聯合國駐格魯吉亞觀察團 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4117-4117	觀察和監測是聯合國駐格魯吉亞觀察團的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4198-4198	子組織聯合國駐格魯吉亞觀察團 and 聯合國安理會

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4115-4115	聯合國駐格魯吉亞觀察團是 "UNOMIG" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4114-4114	聯合國駐格魯吉亞觀察團是 "United Nations Observer Mission in Georgia" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60242-60242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60241-60241
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60240-60240