TreeView Knowledge Base Browser - headingWRTTrueNorth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3699-3701
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3696-3696	O argumento numero 1 de headingWRTTrueNorth e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3697-3697	O argumento numero 2 de headingWRTTrueNorth e' uma instancia de Medida de Angulo Planar
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3695-3695	headingWRTTrueNorth e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3694-3694	headingWRTTrueNorth e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1161-1161
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1160-1160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1159-1159
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27714-27714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27713-27713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27712-27712