TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3002-3003
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11096-11097
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1765-1766
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1052-1052
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	Movimento do Corpo e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11138-11138	Ambulating e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 447-447	Blinking e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11551-11551	Chewing e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4381-4381	Crawling e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11183-11183	Dancar e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19999-19999	Dismounting e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 445-445	Dodging e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13119-13119	Ducking e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1358-1358	EmotionalBodilyMovementBehavior e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10619-10619	Extension e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19939-19939	EyeMotion e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10595-10595	Flexion e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13092-13092	Gesture e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10714-10714	HeartBeat e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13095-13095	Inclining e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1017-1017	Indicating e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 543-543	Jumping e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19885-19885	KneelingDown e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19860-19860	LyingDown e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 465-465	Mounting e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10550-10550	MuscleRelaxing e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10528-10528	MuscularContraction e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5714-5714	Scratching e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19969-19969	Shrugging e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19905-19905	SittingDown e' uma sub-classe de Movimento do Corpo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	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 10404-10410	Objeto e' uma instancia de Musculo Processo e' uma instancia de Movimento do Corpo Objeto e' um instrumento para Processo Processo e' uma instancia de Processo Intencional Objeto e' uma instancia de VoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11110-11116	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.	Mid-level-ontology.kif 8243-8257	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11119-11124	Processo e' uma instancia de Movimento do Corpo AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' um agente de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	AVPUPainStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Pain tempo de existencia de Processo acontece durante Intervalo Temporal AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Movimento do Corpo AutonomousAgent experimenta Processo tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	AutonomousAgent e' uma instancia de AutonomousAgent Motionless e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	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.	emotion.kif 1202-1212	Processo e' uma instancia de PressingLipsTogether Processo e' um agente de AutonomousAgent Objeto Processo Objeto e' uma instancia de Lip Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Movimento do Corpo Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	Processo e' uma instancia de Speaking Objeto e' uma instancia de Jaw Processo e' um agente de AutonomousAgent Objeto e' uma &parte de AutonomousAgent o argumento Entidade Entidade e' uma instancia de Movimento do Corpo objectTransferred Entidade and Objeto tempo de existencia de Entidade acontece durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	Processo e' uma instancia de StayingStill AutonomousAgent experimenta Processo Processo Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Translocation Processo causa Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6330-6344	Entidade e' uma instancia de ParalysisFn EntidadeART e' um atributo de AutonomousAgent Objeto Objeto e' uma instancia de Musculo Objeto e' uma &parte de EntidadeART EntidadeART e' uma &parte de AutonomousAgent Processo Processo e' uma instancia de Movimento do Corpo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6307-6318	Paralysis e' um atributo de AutonomousAgent Objeto Objeto e' uma instancia de Musculo Objeto e' uma &parte de AutonomousAgent Processo Processo e' uma instancia de Movimento do Corpo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18047-18057	AutonomousAgent e' uma instancia de Animal Processo Processo e' uma instancia de Movimento do Corpo Processo e' um agente de AutonomousAgent Atributo Atributo e' uma instancia de BodyPosition Atributo e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12163-12176	Fisico e' uma instancia de Eyelid Fisico tem por fim FisicoYE Entidade and Entidade Entidade e' uma instancia de Cobrir Entidade e' uma instancia de Movimento do Corpo Entidade e' uma instancia de Humano Entidade experimenta Entidade Fisico e' um instrumento para Entidade FisicoYE e' um patient de Entidade FisicoYE e' uma instancia de Eye FisicoYE e' uma &parte de Entidade Fisico e' uma &parte de Entidade

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

KB Term:			Term intersection

English Word: