TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17552-17556
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 17551-17551	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 1351-1351	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 1414-1414

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 1532-1547	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 17558-17563	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 1353-1373	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 1568-1577	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