| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1918-1919 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1920-1920 | ennervates 的 1 数量 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1921-1921 | ennervates 的 2 数量 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1917-1917 | ennervates 是 二元谓语 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 777-777 | ennervates ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve and RectusCapitisPosteriorMinorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 134-134 | ennervates AbducensNerveCNVI and LateralRectusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1189-1189 | ennervates AccessoryNerve and TrapeziusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 666-666 | ennervates AnsaCervicalis and OmohyoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 638-638 | ennervates AnsaCervicalis and SternohyoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 648-648 | ennervates AnsaCervicalis and SternothyroidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1943-1943 | ennervates AnteriorBranchOfObturatorNerve11 and AdductorBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1952-1952 | ennervates AnteriorBranchOfObturatorNerve11 and AdductorLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1921-1921 | ennervates AnteriorBranchOfObturatorNerve11 and GracilisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1445-1445 | ennervates AnteriorInterosseousNerve and FlexorDigitorumProfundusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1434-1434 | ennervates AnteriorInterosseousNerve and PronatorQuadratusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1454-1454 | ennervates AnteriorInterosseousNerveMedianNerveC8T1 and FlexorPollicisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1273-1273 | ennervates AxillaryNerve and DeltoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1315-1315 | ennervates AxillaryNerve and TeresMinorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 246-246 | ennervates BuccalBranchOfFacialNerveCNVII and AlarPartDilatorNarisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 298-298 | ennervates BuccalBranchOfFacialNerveCNVII and BuccinatorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 222-222 | ennervates BuccalBranchOfFacialNerveCNVII and DepressorSeptiNasiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 230-230 | ennervates BuccalBranchOfFacialNerveCNVII and LevatorLabiiSuperiorisAlaequeNasiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 271-271 | ennervates BuccalBranchOfFacialNerveCNVII and LevatorLabiiSuperiorisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 306-306 | ennervates BuccalBranchOfFacialNerveCNVII and OrbicularisOrisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 212-212 | ennervates BuccalBranchOfFacialNerveCNVII and ProcerusMuscleMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 315-315 | ennervates BuccalBranchOfFacialNerveCNVII and RisoriusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 238-238 | ennervates BuccalBranchOfFacialNerveCNVII and TransversePartCompressorNarisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 323-323 | ennervates BuccalBranchOfFacialNerveCNVII and ZygomaticMajorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 331-331 | ennervates BuccalBranchOfFacialNerveCNVII and ZygomaticMinorMuscle |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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