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	边界决定是跨国问题的 instance

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