Compressing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Compressing

Compressing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1990-1991
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1988-1988	Compressing e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 962-962	Crushing e' uma sub-classe de Compressing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1989-1989

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	Objeto auto-conectado e' uma instancia de AutomobileShock Processo e' uma instancia de Compressing Buraco e' uma instancia de Buraco Fluid e' um atributo de Objeto Objeto auto-conectado e' igual a o dono do buraco Buraco Objeto auto-conectado contem Objeto Objeto auto-conectado e' um patient de Processo Transferencia Transferencia e' uma instancia de Transferencia objectTransferred Transferencia and Objeto Buraco e' o caminho ao longo do qual Transferencia ocorre Processo causa Transferencia
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 620-630	Processo e' uma instancia de CPR Movimento e' uma instancia de Compressing Objeto e' o caminho ao longo do qual Movimento ocorre Movimento e' um sub-processo de Processo o comprimento de Objeto e' Numero Real Centimeter(s) Numero Real e' maior que 5.0 Numero Real e' menos que 6.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1993-2005	Entidade e' uma instancia de Objeto auto-conectado Processo e' uma instancia de Compressing Entidade e' um patient de Processo a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo Entidade e' uma instancia de UnitOfVolume a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 969-978	Processo e' uma instancia de Crushing Processo Processo and Entidade Processo e' uma instancia de Impactar Processo e' um sub-processo de Processo Processo e' uma instancia de Compressing Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 609-618	Processo e' uma instancia de CPR Processo ProcessoH and Objeto Processo e' uma instancia de Compressing Objeto e' um patient de Processo ProcessoH e' uma instancia de Chest ProcessoH e' uma &parte de Objeto ProcessoH e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5182-5190	Fisico e' uma instancia de GasCompressor Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Compressing Gas e' um atributo de Entidade Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6024-6030	Fisico e' uma instancia de PressureBandage Fisico tem por fim Entidade Entidade e' uma instancia de Compressing Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2029-2049	Processo e' uma instancia de VaporCompressionCycle Processo Processo, Processo and Processo2 Processo e' uma instancia de Compressing Processo e' uma instancia de Condensar Processo e' uma instancia de Evaporating Processo2 e' uma instancia de Compressing Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo2 e' um sub-processo de Processo tempo de existencia de Processo encontra tempo de existencia de Processo tempo de existencia de Processo encontra tempo de existencia de Processo tempo de existencia de Processo encontra tempo de existencia de Processo2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	Entidade e' uma instancia de Paper Processo Objeto and Processo Processo e' uma instancia de Fazer Objeto e' uma instancia de Cellulose Processo e' uma instancia de Compressing Objeto e' um recurso para Processo Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Objeto e' um patient de Processo

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