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 11118-11119
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 11116-11116	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 11160-11160	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 11550-11550	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 11205-11205	Dancar e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19998-19998	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 13118-13118	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 10618-10618	Extension e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19938-19938	EyeMotion e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10594-10594	Flexion e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13114-13114	Gesture e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10713-10713	HeartBeat e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13094-13094	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 19884-19884	KneelingDown e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19859-19859	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 10549-10549	MuscleRelaxing e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10527-10527	MuscularContraction e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5713-5713	Scratching e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19968-19968	Shrugging e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19904-19904	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 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 10403-10409	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 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.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11141-11146	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 30230-30241	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 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.	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 6329-6343	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 6306-6317	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 18069-18079	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 12162-12175	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: