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 1377-1378
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1380-1380	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 65399-65399

consequent

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

Weather.kif 1382-1389

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