| 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 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 135-135 | AbducensNerveCNVI 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 589-589 | AccessoryNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 639-639 | AnsaCervicalis 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1922-1922 | AnteriorBranchOfObturatorNerve11 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1435-1435 | AnteriorInterosseousNerveMedianNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1455-1455 | AnteriorInterosseousNerveMedianNerveC8T1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1274-1274 | AxillaryNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 213-213 | BuccalBranchOfFacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 684-684 | C1C2C3C4Nerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 657-657 | C1Nerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 629-629 | C1ViaHypoglossalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 675-675 | C2C3C4C5C6Nerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 819-819 | C3C4 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 997-997 | C5C6Nerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 578-578 | CervicalBranchOfFacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 747-747 | CervicalNerveC3C4AndDorsalScapularNerveC5 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 708-708 | CervicalNervesC3C4C5C6C7 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1614-1614 | DeepBranchOfUlnarNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1633-1633 | DeepBranchOfUlnarNerveC8AndT1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1643-1643 | DeepBranchOfUlnarNerveMedianNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1973-1973 | DeepFibularNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 351-351 | DeepTemporalNervesFromMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1056-1056 | DorsalRamiC8T1T2T3T4T5T6T7T8T9T10T11 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 789-789 | DorsalRamusOfC1SuboccipitalNerve 是 Nerve 的 subclass |
| 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 | ennervates 的 1 数量 是 Nerve 的 subclass |
| 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