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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - significantWaveHeight
significantWaveHeight

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1519-1522
No TPTP formula. May not be expressible in strict first order. Weather.kif 1515-1518
No TPTP formula. May not be expressible in strict first order. Weather.kif 1524-1524 The number 1 argument of significant wave height is an instance of water area
No TPTP formula. May not be expressible in strict first order. Weather.kif 1525-1525 The number 2 argument of significant wave height is an instance of time position
No TPTP formula. May not be expressible in strict first order. Weather.kif 1526-1526 The number 3 argument of significant wave height is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1527-1527 significant wave height is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Weather.kif 1528-1528 significant wave height is a subrelation of measure

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1529-1530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27863-27863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27862-27862

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1398-1405

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1532-1547
No TPTP formula. May not be expressible in strict first order. Weather.kif 1557-1566


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