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 2586-2586	BoundaryDetermination est une instance de TransnationalIssue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4196-4196	organizationalObjective UnitedNationsIraqKuwaitBoundaryDemarcationCommission and BoundaryDetermination
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