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