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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nerve
Nerve

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1886-1896

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 778-778 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 135-135 AbducensNerveCNVI e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 589-589 AccessoryNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 639-639 AnsaCervicalis e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1922-1922 AnteriorBranchOfObturatorNerve11 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1435-1435 AnteriorInterosseousNerveMedianNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1455-1455 AnteriorInterosseousNerveMedianNerveC8T1 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1274-1274 AxillaryNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 213-213 BuccalBranchOfFacialNerveCNVII e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 684-684 C1C2C3C4Nerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 657-657 C1Nerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 629-629 C1ViaHypoglossalNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 675-675 C2C3C4C5C6Nerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 819-819 C3C4 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 997-997 C5C6Nerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 578-578 CervicalBranchOfFacialNerveCNVII e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 747-747 CervicalNerveC3C4AndDorsalScapularNerveC5 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 708-708 CervicalNervesC3C4C5C6C7 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1614-1614 DeepBranchOfUlnarNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1633-1633 DeepBranchOfUlnarNerveC8AndT1 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1643-1643 DeepBranchOfUlnarNerveMedianNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1973-1973 DeepFibularNerve e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 351-351 DeepTemporalNervesFromMandibularNerveCNV3 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1056-1056 DorsalRamiC8T1T2T3T4T5T6T7T8T9T10T11 e' uma sub-classe de Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 789-789 DorsalRamusOfC1SuboccipitalNerve e' uma sub-classe de Nerve

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1920-1920 O argumento numero 1 de ennervates e' uma sub-classe de Nerve

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1910-1915


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