moves - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - moves

moves

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2991-2993
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11004-11007
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1751-1753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11001-11001	O argumento numero 1 de moves e' uma instancia de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11002-11002	O argumento numero 2 de moves e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10999-10999	moves e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11000-11000	moves e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11009-11009	moves e' uma sub-relacao de involvedInEvent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 668-668
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11022-11022	changesLocation e' uma sub-relacao de moves
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39027-39027
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39026-39026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39025-39025

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10684-10695	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 10671-10682	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 9838-9860	Objeto e' uma instancia de Antacid Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	Objeto e' uma instancia de ProtonPumpInhibitor Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	Objeto e' uma instancia de BodySegment Objeto e' uma instancia de BodySegment Objeto e' conectado com Objeto Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto o argumento Movimento2 Movimento2 e' uma instancia de Movimento do Corpo moves Movimento2 and Objeto tempo de existencia de Movimento2 acontece durante tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3954-3964	Movimento e' uma instancia de MuscularContraction moves Movimento and Objeto Objeto e' uma instancia de VoluntaryMuscle Objeto e' uma instancia de HeartMuscle Objeto Objeto e' uma instancia de Troponin Objeto e' um recurso para Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	Objeto e' uma instancia de Antidiuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Intervalo Temporal e' igual a Intervalo Temporal Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10024-10045	Objeto e' uma instancia de Diuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10646-10656	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10633-10644	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10606-10616	Movimento e' uma instancia de Flexion 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11132-11138	Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' um patient de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11074-11079	Movimento e' uma instancia de Movimento moves Movimento and Objeto Movimento termina em Entidade Objeto e' situado em Entidade vale durante o fim de tempo de existencia de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11058-11063	Movimento e' uma instancia de Movimento moves Movimento and Objeto Movimento tem como origem Objeto Objeto e' situado em Objeto vale durante o comeco de tempo de existencia de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8599-8609	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento Processo Processo e' uma instancia de Causar Dano AutonomousAgent experimenta Processo Movimento causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8623-8634	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento o argumento Blind e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Movimento tem a forca modal de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	Objeto e' uma instancia de BodySegment Objeto e' uma instancia de BodySegment Objeto e' conectado com Objeto Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto o argumento Movimento2 Movimento2 e' uma instancia de Movimento do Corpo moves Movimento2 and Objeto tempo de existencia de Movimento2 acontece durante tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	Processo e' uma instancia de Edema AutonomousAgent experimenta Processo Movimento Objeto and Objeto Movimento e' uma instancia de Transferencia Objeto e' uma instancia de Liquid Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de AutonomousAgent Movimento termina em Objeto moves Movimento and Objeto Movimento e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10633-10644	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Movimento Processo and AutonomousAgent Movimento e' uma instancia de Translocation moves Movimento and AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' uma instancia de Reproducao AutonomousAgent experimenta Processo Movimento e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 491-503	Movimento e' uma instancia de BloodCirculation Objeto Objeto, Objeto and Objeto Objeto e' uma instancia de Animal Objeto e' uma instancia de Sangue moves Movimento and Objeto Objeto e' uma instancia de Artery Objeto e' uma instancia de Vein Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Objeto e' o caminho ao longo do qual Movimento ocorre
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	Fisico e' uma instancia de Catheter Fisico tem por fim Entidade Entidade, EntidadeBJ and Entidade Entidade e' uma instancia de Organismo Entidade e' uma instancia de Movimento moves Entidade and EntidadeBJ Entidade e' Outside em relacao a Entidade Fisico e' o caminho ao longo do qual Entidade ocorre Entidade tem como origem Entidade Entidade termina em Entidade Entidade tem como origem Entidade Entidade termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10009-10022	Fisico e' uma instancia de Diuretic Fisico tem por fim Entidade Entidade, Entidade and EntidadeOC Entidade e' uma instancia de Humano Entidade e' uma instancia de Remover Entidade e' uma instancia de Liquid Entidade experimenta Entidade moves Entidade and Entidade Entidade tem como origem Entidade Entidade nao contem %n EntidadeOC Entidade termina em EntidadeOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3708	Objeto e' uma instancia de Furniture Objeto e' capaz de fazer Translocation no role moves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10741-10750	Fisico e' uma instancia de Heart Fisico tem por fim Entidade FisicoB and Entidade FisicoB e' uma instancia de HeartBeat Entidade e' uma instancia de LiquidMotion Entidade e' uma instancia de Sangue moves Entidade and Entidade FisicoB causa Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11040-11045	Movimento e' uma instancia de Movimento Objeto Objeto e' uma instancia de Objeto 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