RowingMachine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RowingMachine

RowingMachine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8237-8238
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8236-8236	RowingMachine e' uma sub-classe de AerobicExerciseDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8240-8240
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8239-8239

antecedent

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

Mid-level-ontology.kif 8242-8256

Processo e' uma instancia de Recreacao ou Exercicio ProcessoM e' um instrumento para Processo ProcessoM e' uma instancia de RowingMachine AutonomousAgent experimenta Processo ProcessoOW e' uma instancia de Rowing ProcessoMOT e' um sub-processo de Processo Classe e' uma sub-classe de Movimento do Corpo ProcessoMOT e' uma instancia de Classe
ProcessoOWMOT ProcessoOWMOT e' uma instancia de Classe ProcessoOWMOT e' um sub-processo de Processo ProcessoOWMOT e' um agente de AutonomousAgent

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