| 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