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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 O argumento numero 1 de Mean3SecondWindSpeedListFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Weather.kif 1994-1994 O argumento numero 2 de Mean3SecondWindSpeedListFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Weather.kif 1996-1996 Mean3SecondWindSpeedListFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Weather.kif 1995-1995 O contra-dominio de Mean3SecondWindSpeedListFn e' uma instancia de Lista

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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