TreeView Knowledge Base Browser - courseWRTMagneticNorth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3789-3792
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3785-3785	O argumento numero 1 de courseWRTMagneticNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3786-3786	O argumento numero 2 de courseWRTMagneticNorth e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3787-3787	O argumento numero 3 de courseWRTMagneticNorth e' uma instancia de Medida de Angulo Planar
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3784-3784	courseWRTMagneticNorth e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 564-564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 563-563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 562-562
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17622-17622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17621-17621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17620-17620