Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HamstringMuscle
HamstringMuscle(hamstring muscle)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1834-1834 Hamstring muscle and quadriceps femoris muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1843-1843 Hamstring muscle and rectus femoris muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10699-10699 Hamstring muscle and quadriceps are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1861-1861 Hamstring muscle and vastus intermedius muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1852-1852 Hamstring muscle and vastus lateralis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1870-1870 Hamstring muscle and vastus medialis muscle are antagonist muscles
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10813-10814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10816-10816 Every hamstring muscle is initially part of a leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10812-10812 Hamstring muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10815-10815 A hamstring muscle is typically a part of a leg

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10817-10817
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10818-10818


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