TreeView Knowledge Base Browser - Leg

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Leg

Sigma KEE - Leg

Leg

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12673-12673
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 123-123
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12672-12672	Leg e' uma sub-classe de Limb

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10801-10801	initialPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10816-10816	initialPart HamstringMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1035-1035	initialPart LegBone and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10845-10845	initialPart LowerLeg and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10808-10808	initialPart ShinMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10793-10793	initialPart ThighMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10840-10840	initialPart UpperLeg and Leg
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33773-33773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33772-33772
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33771-33771
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10800-10800	typicalPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10815-10815	typicalPart HamstringMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10846-10846	typicalPart LowerLeg and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10807-10807	typicalPart ShinMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10792-10792	typicalPart ThighMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10841-10841	typicalPart UpperLeg and Leg

antecedent

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

Mid-level-ontology.kif 12675-12680

Objeto e' uma instancia de Leg
Objeto Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	AutonomousAgent e' uma instancia de Biped Processo e' uma instancia de Ambulating Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de Leg Entidade e' uma instancia de Leg Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent Entidade e' um instrumento para Processo Entidade e' um instrumento para Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12682-12695	Objeto e' uma instancia de Primata Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Leg Objeto e' uma instancia de Leg Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5169-5177	Animal usa Objeto auto-conectado Objeto auto-conectado e' uma instancia de Trousers Objeto Objeto e' uma instancia de Leg Objeto e' uma &parte de Animal Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12728-12733	Objeto e' uma instancia de Ankle Objeto Objeto e' uma instancia de Leg Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12702-12707	Objeto e' uma instancia de Foot Objeto Objeto e' uma instancia de Leg Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12773-12778	Objeto e' uma instancia de Knee Objeto Objeto e' uma instancia de Leg Objeto e' uma &parte de Objeto

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2906-2906	LeftLeg e' uma sub-classe de BodySideFn Left and Leg
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2909-2909	RightLeg e' uma sub-classe de BodySideFn Right and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5167-5167	Trousers e' uma sub-classe de CoveringFn Leg

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