TreeView Knowledge Base Browser - slopeGradientTowardsOrientation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1691-1695
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1687-1687	坡度梯度朝向的 1 数量是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1688-1688	坡度梯度朝向的 2 数量是方向属性的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1689-1689	坡度梯度朝向的 3 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1686-1686	坡度梯度朝向是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2319-2319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2318-2318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2317-2317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53414-53414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53413-53413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53412-53412