WaterWave - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17551-17555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1017-1017
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17550-17550	WaterWave e' uma sub-classe de LiquidMotion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1347-1347	BreakingWave e' uma sub-classe de WaterWave
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62511-62511
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62510-62510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62509-62509

appearance as argument number 3

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

Weather.kif 1410-1410

O argumento numero 1 de waveHeight e' uma instancia de WaterWave

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1528-1543	WaterWave e' uma instancia de WaterWave waveHeight WaterWave and Medida de Comprimento Lista Area Aquatica, Unidade de Medida and Numero Real Medida de Comprimento e' um membro de Lista Area Aquatica e' uma instancia de Area Aquatica eventLocated WaterWave and Area Aquatica Unidade de Medida e' uma instancia de UnitOfLength significantWaveHeight Area Aquatica, tempo de existencia de WaterWave and Numero Real Unidade de Medida(s) Numero Real e' igual a 4.0 + StandardDeviationFn Lista
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17557-17562	Processo e' uma instancia de WaterWave Objeto Objeto e' uma instancia de Area Aquatica eventLocated Processo and Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1349-1369	Processo e' uma instancia de BreakingWave Processo Objeto, Entidade and Transferencia Processo e' uma instancia de WaterWave Processo e' um sub-processo de Processo Objeto e' uma instancia de BodyOfWater Entidade e' uma instancia de BodyOfWater Entidade e' um patient de Processo Objeto e' um patient de Processo Transferencia e' uma instancia de Falling objectTransferred Transferencia and Objeto Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Transferencia Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1564-1573	Fisico e' uma instancia de HeavySurf Entidade Entidade Entidade e' uma instancia de SurfZone Entidade e' uma instancia de WaterWave Entidade e' um sub-processo de Fisico eventLocated Entidade and Entidade vale durante tempo de existencia de Fisico