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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SurfaceWindSpeedMeasuring
SurfaceWindSpeedMeasuring

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1709-1712
No TPTP formula. May not be expressible in strict first order. Weather.kif 1705-1708
No TPTP formula. May not be expressible in strict first order. Weather.kif 1713-1713 SurfaceWindSpeedMeasuring e' uma sub-classe de Medir

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10424-10424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10423-10423

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1715-1725

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1733-1737


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