BoundaryDetermination - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10545-10545
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9913-9913
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10538-10538
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10539-10539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10540-10540
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10541-10541
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10542-10542
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10543-10543
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10544-10544
No TPTP formula. May not be expressible in strict first order.	Government.kif 2622-2622	Boundary determination is an instance of transnational issue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4232-4232	Boundary determination is an organizational objective of united nations iraq kuwait boundary demarcation commission
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11771-11771
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11770-11770
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11769-11769