TreeView Knowledge Base Browser - Mean3SecondWindSpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1894-1897
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1888-1892
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1899-1899	3秒平均地面风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1900-1900	3秒平均地面风速的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1902-1902	3秒平均地面风速是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1901-1901	3秒平均地面风速的 range 是函数量的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1898-1898
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1893-1893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10397-10397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10396-10396

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1904-1921

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2005-2017