TreeView Knowledge Base Browser - Foot

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Foot

Sigma KEE - Foot

Foot

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12698-12699
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 441-441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 97-97
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12696-12696	Foot e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12697-12697	Foot e' uma sub-classe de BodySegment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1102-1102	initialPart FoodBone and Foot
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24572-24572
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24571-24571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24570-24570

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	InfectiousDisease e' um atributo de Entidade Diabetes e' um atributo de Entidade ImpairedBodyPartFn Foot e' um atributo de Entidade vale durante Posicao Temporal diseaseMedicine InfectiousDisease, Ertapenem and Injecting vale durante Posicao Temporal
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12708-12721	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 Foot Objeto e' uma instancia de Foot 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 6636-6644	Processo e' uma instancia de Kicking Processo e' um agente de AutonomousAgent Objeto Objeto e' uma instancia de Foot Objeto e' uma &parte de AutonomousAgent Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5246-5254	Animal usa Objeto auto-conectado Objeto auto-conectado e' uma instancia de Sock Objeto Objeto e' uma instancia de Foot 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 5183-5191	Animal usa WearableItem WearableItem e' uma instancia de Shoe Objeto Objeto e' uma instancia de Foot Objeto e' uma &parte de Animal WearableItem encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11460-11467	Objeto e' uma instancia de Hoof Objeto Objeto Objeto e' uma instancia de Foot Objeto e' uma instancia de Ungulado 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 5211-5231	Objeto auto-conectado e' uma instancia de Sandal Buraco Buraco Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Buraco e' igual a Buraco Buraco tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Dressing Entidade e' uma instancia de Foot Entidade e' um agente de Entidade Entidade e' uma &parte de Entidade Entidade e' um sub-processo de Entidade Entidade e' uma instancia de Inserting Entidade e' um patient de Entidade Entidade termina em Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12761-12766	Objeto e' uma instancia de Toe Objeto Objeto e' uma instancia de Foot Objeto e' uma &parte de Objeto

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2924-2924	LeftFoot e' uma sub-classe de BodySideFn Left and Foot
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2993-2993	PedalEdema e' uma sub-classe de EdemaFn Foot
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2927-2927	RightFoot e' uma sub-classe de BodySideFn Right and Foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5181-5181	Shoe e' uma sub-classe de CoveringFn Foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5244-5244	Sock e' uma sub-classe de CoveringFn Foot

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