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 18175-18175
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18174-18174	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 51401-51401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51400-51400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51399-51399

antecedent

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

Mid-level-ontology.kif 18177-18211

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