Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mean3SecondWindSpeedListFn

 Sigma KEE - Mean3SecondWindSpeedListFn
Mean3SecondWindSpeedListFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1987-1990
No TPTP formula. May not be expressible in strict first order. Weather.kif 1982-1985
No TPTP formula. May not be expressible in strict first order. Weather.kif 1993-1993 平均3秒风速表列 的 1 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1994-1994 平均3秒风速表列 的 2 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1996-1996 平均3秒风速表列 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1995-1995 平均3秒风速表列 的 range 是 串列 的实例

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-1992
No TPTP formula. May not be expressible in strict first order. Weather.kif 1986-1986
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10388-10388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10387-10387

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2005-2017
No TPTP formula. May not be expressible in strict first order. Weather.kif 1998-2003
No TPTP formula. May not be expressible in strict first order. Weather.kif 2019-2023

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2038-2048


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners