TreeView Knowledge Base Browser - headingWRTCompassNorth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3717-3719
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3714-3714	域 headingWRT羅盤北, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3715-3715	域 headingWRT羅盤北, 2 and PlaneAngleMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3713-3713	例 headingWRT羅盤北 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3712-3712	例 headingWRT羅盤北 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1153-1153
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1152-1152
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1151-1151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27702-27702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27701-27701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27700-27700