Leg - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Leg

Leg

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12672-12672
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 12671-12671	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 10800-10800	initialPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10815-10815	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 10844-10844	initialPart LowerLeg and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10807-10807	initialPart ShinMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10792-10792	initialPart ThighMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10839-10839	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 10799-10799	typicalPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10814-10814	typicalPart HamstringMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10845-10845	typicalPart LowerLeg and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10806-10806	typicalPart ShinMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10791-10791	typicalPart ThighMuscle and Leg
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10840-10840	typicalPart UpperLeg and Leg

antecedent

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

Mid-level-ontology.kif 12674-12679

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 12681-12694	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 5168-5176	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 12727-12732	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 12701-12706	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 12772-12777	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 5166-5166	Trousers e' uma sub-classe de CoveringFn Leg

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