Saw - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Saw

Saw

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18147-18147
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18146-18146	Saw e' uma sub-classe de CuttingDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51399-51399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51398-51398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51397-51397

antecedent

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

Mid-level-ontology.kif 18149-18183

Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo
Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional
- as entidades no processo Processo se movem Entidade vale durante Posicao Temporal
- as entidades no processo Processo se movem Entidade Entidade e' igual a Entidade oppositeDirection Entidade and Entidade ~{ Entidade e' igual a Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal

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