TreeView Knowledge Base Browser - UnitedNationsObserverMissionInGeorgia

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 Day 是联合国驻格鲁吉亚观察团的成立 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	联合国驻格鲁吉亚观察团是国际组织的 instance
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	联合国驻格鲁吉亚观察团是联合国安理会 Organization 的一部分

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