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 1983-1986
No TPTP formula. May not be expressible in strict first order. Weather.kif 1978-1981
No TPTP formula. May not be expressible in strict first order. Weather.kif 1989-1989 平均3秒风速表列 的 1 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1990-1990 平均3秒风速表列 的 2 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1992-1992 平均3秒风速表列 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-1991 平均3秒风速表列 的 range 是 串列 的实例

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1987-1988
No TPTP formula. May not be expressible in strict first order. Weather.kif 1982-1982
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 2001-2013
No TPTP formula. May not be expressible in strict first order. Weather.kif 1994-1999
No TPTP formula. May not be expressible in strict first order. Weather.kif 2015-2019

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2034-2044


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