TreeView Knowledge Base Browser - CalfMuscle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CalfMuscle

CalfMuscle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10700-10700	antagonistMuscles CalfMuscle and ShinMuscle
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 10799-10799	CalfMuscle e' uma sub-classe de Musculo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10800-10800	typicalPart CalfMuscle and Leg

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10803-10803
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10802-10802
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10804-10804

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