TreeView Knowledge Base Browser - RedFlagSwimmingCondition

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

RedFlagSwimmingCondition

Sigma KEE - RedFlagSwimmingCondition

RedFlagSwimmingCondition(red flag swimming condition)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1389-1390
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1392-1392	Red flag swimming condition is an instance of relational attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65397-65397

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1394-1401

If a water area is an instance of surf zone and significantWaveHeight in the water area during the time of existence of the water area is a real number foot length(s). and the real number is greater than 8.0,
then red flag swimming condition is an attribute of the water area

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