SurfZone - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SurfZone

SurfZone(surf zone)

appearance as argument number 1

(documentation SurfZone ChineseLanguage "这是海岸线对外，波浪破裂的水域。")	Weather.kif 1360-1360
(documentation SurfZone EnglishLanguage "The WaterArea off the Shoreline where waves break.")	Weather.kif 1359-1359
(subclass SurfZone WaterArea)	Weather.kif 1362-1362	Surf zone is a subclass of water area

appearance as argument number 2

(termFormat ChineseLanguage SurfZone "碎波带")	domainEnglishFormat.kif 27873-27873
(termFormat EnglishLanguage SurfZone "surf zone")	domainEnglishFormat.kif 27872-27872

antecedent

(=> (and (instance ?SZ SurfZone) (significantWaveHeight ?SZ (WhenFn ?SZ) (MeasureFn ?X FootLength)) (greaterThan ?X 8.0)) (attribute ?SZ RedFlagSwimmingCondition))	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
(=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent))))	Weather.kif 1363-1368	If an object is an instance of surf zone, then there exists another object such that the other object is an instance of shoreline and the object is adjacent to the other object

consequent

(=> (instance ?BREAK BreakingWave) (exists (?SURF) (and (instance ?SURF SurfZone) (eventLocated ?BREAK ?SURF))))	Weather.kif 1370-1375	If a process is an instance of breaking wave, then there exists an object such that the object is an instance of surf zone and the process is located at the object
(=> (instance ?HS HeavySurf) (exists (?SZ ?SWH) (and (instance ?SZ SurfZone) (eventLocated ?HS ?SZ) (significantWaveHeight ?SZ (WhenFn ?HS) (MeasureFn ?SWH FootLength)) (greaterThanOrEqualTo ?SWH 13.0))))	Weather.kif 1539-1548	If a process is an instance of heavy zone, then there exist a water area and a real number such that the water area is an instance of surf zone and the process is located at the water area and significantWaveHeight in the water area during the time of existence of the process is the real number foot length(s). and the real number is greater than or equal to 13.0
(=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ ?WW) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ)))))	Weather.kif 1550-1559	If a physical is an instance of heavy zone, then there exist an entity and another entity such that the entity is an instance of surf zone and the other entity is an instance of water wave and the other entity is a subprocess of the physical and the other entity is located at the entity holds during the time of existence of the physical

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