Extension - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Extension

Extension

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10648-10659
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10646-10646	Extension e' uma sub-classe de Movimento do Corpo

appearance as argument number 2

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

domainEnglishFormat.kif 64841-64841

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10712-10723	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Extension MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Flexion no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10674-10684	Movimento e' uma instancia de Extension moves Movimento and Objeto Objeto ObjetoC Objeto e' uma instancia de Musculo ObjetoC e' uma instancia de MuscularContraction Objeto e' um instrumento para Movimento Objeto e' conectado com Objeto ObjetoC e' um sub-processo de Movimento

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10699-10710	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Flexion MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Extension no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10661-10672	Movimento e' uma instancia de Flexion Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Movimento Movimento e' uma instancia de Extension tempo de existencia de Movimento e' igual a tempo de existencia de Movimento Movimento e' um agente de AutonomousAgent moves Movimento and Objeto

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