Foot - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Foot

Foot

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12726-12727
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 12724-12724	Foot e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12725-12725	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 12729-12734	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 12736-12749	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 6631-6639	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 5241-5249	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 5178-5186	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 11488-11495	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 5206-5226	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 12789-12794	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 5176-5176	Shoe e' uma sub-classe de CoveringFn Foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5239-5239	Sock e' uma sub-classe de CoveringFn Foot

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