| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1885-1895 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 778-778 | 子類 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 135-135 | 子類 AbducensNerveCNVI and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 589-589 | 子類 AccessoryNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 639-639 | 子類 AnsaCervicalis and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1922-1922 | 子類 AnteriorBranchOfObturatorNerve11 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1435-1435 | 子類 AnteriorInterosseousNerveMedianNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1455-1455 | 子類 AnteriorInterosseousNerveMedianNerveC8T1 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1274-1274 | 子類 AxillaryNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 213-213 | 子類 BuccalBranchOfFacialNerveCNVII and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 684-684 | 子類 C1C2C3C4Nerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 657-657 | 子類 C1Nerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 629-629 | 子類 C1ViaHypoglossalNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 675-675 | 子類 C2C3C4C5C6Nerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 819-819 | 子類 C3C4 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 997-997 | 子類 C5C6Nerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 578-578 | 子類 CervicalBranchOfFacialNerveCNVII and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 747-747 | 子類 CervicalNerveC3C4AndDorsalScapularNerveC5 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 708-708 | 子類 CervicalNervesC3C4C5C6C7 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1614-1614 | 子類 DeepBranchOfUlnarNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1633-1633 | 子類 DeepBranchOfUlnarNerveC8AndT1 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1643-1643 | 子類 DeepBranchOfUlnarNerveMedianNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1973-1973 | 子類 DeepFibularNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 351-351 | 子類 DeepTemporalNervesFromMandibularNerveCNV3 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1056-1056 | 子類 DorsalRamiC8T1T2T3T4T5T6T7T8T9T10T11 and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 789-789 | 子類 DorsalRamusOfC1SuboccipitalNerve and 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 1919-1919 | 域子類 ennervates, 1 and Nerve |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1909-1914 |
|
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