HeavySurf - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HeavySurf

HeavySurf(heavy zone)

appearance as argument number 1

(documentation HeavySurf ChineseLanguage "HeavySurf 是当碎波带 (SurfZone) 出现海浪 (WaterWave)有效波高 (significantWaveHeight) 高于 13 FootLength 或 4 Meter 的情况。")	Weather.kif 1533-1535
(documentation HeavySurf EnglishLanguage "HeavySurf is when the significantWaveHeight of the WaterWaves over a SurfZone is greater than 13 FootLength or 4 Meter.")	Weather.kif 1531-1532
(subclass HeavySurf WaterMotion)	Weather.kif 1537-1537	Heavy zone is a subclass of water motion
(subclass HeavySurf WeatherProcess)	Weather.kif 1536-1536	Heavy zone is a subclass of weather process

appearance as argument number 2

(termFormat ChineseLanguage HeavySurf "高激浪")	domainEnglishFormat.kif 27895-27895
(termFormat ChineseTraditionalLanguage HeavySurf "高激浪")	domainEnglishFormat.kif 27894-27894
(termFormat EnglishLanguage HeavySurf "heavy zone")	domainEnglishFormat.kif 27893-27893

antecedent

(=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A)))))	Weather.kif 1561-1574	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at the object and the process is hazardous to the agent holds during the time of existence of the process
(=> (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