TreeView Knowledge Base Browser - BoundaryDetermination

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	例邊界決定 and 跨國問題

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4232-4232	邊界決定是聯合國伊拉克科威特邊界劃界委員會的 organizational 目標
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