TreeView Knowledge Base Browser - BreakingWave

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PrimaryMetalManufacturing

Sigma KEE - BreakingWave

BreakingWave

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1331-1333
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1326-1330
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1335-1335	BreakingWave e' uma sub-classe de WaterWave

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27857-27857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27856-27856

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1370-1375	Processo e' uma instancia de BreakingWave Objeto Objeto e' uma instancia de SurfZone eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1337-1357	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

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