TreeView Knowledge Base Browser - CuttingDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CuttingDevice

CuttingDevice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21995-21996
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 162-162
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21994-21994	CuttingDevice e' uma sub-classe de Aparelho

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22009-22009	Blade e' uma sub-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18108-18108	Drill e' uma sub-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21980-21980	Knife e' uma sub-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18186-18186	PaperShredder e' uma sub-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6014-6014	Planer e' uma sub-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18147-18147	Saw e' uma sub-classe de CuttingDevice
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18240-18240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18239-18239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18238-18238

antecedent

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

Mid-level-ontology.kif 21998-22000

Role em Caso e' uma instancia de CuttingDevice
instrument e' capaz de fazer Cortar no role Role em Caso

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22012-22017	Objeto e' uma instancia de Blade Objeto Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto

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