TreeView Knowledge Base Browser - courseWRTCompassNorth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3821-3825
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3817-3817	Le nombre 1 argument de courseWRTCompassNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3818-3818	Le nombre 2 argument de courseWRTCompassNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3819-3819	Le nombre 3 argument de courseWRTCompassNorth est une instance de mesure de l'angle d'une surface
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3816-3816	courseWRTCompassNorth est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 560-560
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 559-559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 558-558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17616-17616
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17615-17615
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17614-17614