Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Muscles.kif 23-23 子類 FacialNerveCNVII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 40-40 子類 PosteriorAuricularNerveFacialNerveCNVII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 50-50 子類 TemporalBranchOfFacialNerveCNVII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 60-60 子類 ZygomaticBranchOfFacialNerveCNVII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 85-85 子類 OculomotorNerveCNIII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 107-107 子類 SuperiorBranchOfOculomotorNerveCNIII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 117-117 子類 InferiorBranchOfOculomotorNerveCNIII 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 145-145 子類 TrochlearNerveCNIV and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 193-193 子類 NerveToTheStapediusFromFacialNerveCNVII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 203-203 子類 MedialPterygoidNerveFromMandibularNerveCNV3 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 281-281 子類 MandibularBranchOfFacialNerveCNVII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 340-340 子類 MassetericNerveFromMandibularNerveCNV3 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 362-362 子類 ExternalPterygoidNerveFromMandibularNerveCNV3 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 381-381 子類 HypoglossalNerveCNXII and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 414-414 子類 VagusNerveCNXAccessoryNerveCNXI and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 461-461 子類 PharyngealPlexusOfVagusNerveCNX and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 475-475 子類 PharyngealBranchOfVagusNerveCNX and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 492-492 子類 GlossopharyngealNerveCNIX and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 509-509 子類 ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 535-535 子類 ExternalLaryngealBranchOfSuperiorLaryngealNerveFromVagusNerveCNX and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 545-545 子類 RecurrentLaryngealNerveFromVagusNerveCNX 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 589-589 子類 AccessoryNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 602-602 子類 MandibularNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 620-620 子類 MylohyoidNerveFromInferiorAlveolarBranchOfMandibularNerveCNV3 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 639-639 子類 AnsaCervicalis 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 675-675 子類 C2C3C4C5C6Nerve 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 708-708 子類 CervicalNervesC3C4C5C6C7 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 718-718 子類 VentralRamusOfC5C6 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 729-729 子類 VentralRamiOfThirdToEighthCervicalSpinalNerves 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 761-761 子類 SuboccipitalNerve and Nerve
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 789-789 子類 DorsalRamusOfC1SuboccipitalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 799-799 子類 GreaterOccipitalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 809-809 子類 PosteriorBranchOfSpinalNerve 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 829-829 子類 IntercostalNervesSubcostalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 841-841 子類 IntercostalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 870-870 子類 SubcostalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 929-929 子類 ThoracodorsalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 973-973 子類 PosteriorBranch and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 981-981 子類 PosteriorRamiOfSpinalNerves 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 1007-1007 子類 IntercostalNerves 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 1074-1074 子類 SecondThrough5ThIntercostalNerves and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1083-1083 子類 PhrenicAndLowerIntercostalNerves and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1092-1092 子類 SacralNervesS4S5OrS3S4 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1102-1102 子類 LevatorAniNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1119-1119 子類 S3S4LevatorAniNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1127-1127 子類 S4AndTwigsFromInferiorAnalNervesOfPudendalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1135-1135 子類 PudendalNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1179-1179 子類 PerinealBranchOfPudendalNerveS2S3S4 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1202-1202 子類 DorsalScapularNerveC4AndC5 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1233-1233 子類 LateralPectoralNerveMedialPectoralNerveClavicularHeadC5AndC6SternocostalHeadC7C8AndT1 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1243-1243 子類 MedialPectoralNerveC8T1 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1254-1254 子類 SubclavianNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1264-1264 子類 LongThoracicNerve 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 1286-1286 子類 LowerSubscapularNerveSegmentalLevelsC5AndC6 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1296-1296 子類 SuprascapularNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1325-1325 子類 UpperSubscapularNerveLowerSubscapularNerveC5C6 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1336-1336 子類 MusculocutaneousNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1363-1363 子類 RadialNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1375-1375 子類 RadialNerveC7C8AndT1 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1386-1386 子類 MedianNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1415-1415 子類 MuscularBranchesOfUlnarNerve 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 1466-1466 子類 PosteriorInterosseousNerveC7C8 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1512-1512 子類 PosteriorInterosseusNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1523-1523 子類 PosteriorInterosseusNerveC7C8 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1576-1576 子類 MedianNerveDeepBranchOfUlnarNerveMedialHead and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1604-1604 子類 SuperficialBranchOfUlnarNerve 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 1671-1671 子類 FemoralNerveLumbarNervesL1L2 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1682-1682 子類 LumbarPlexusViaAnteriorBranchesOfL1L2L37 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1693-1693 子類 L1 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1704-1704 子類 FemoralNerveL2L37 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1715-1715 子類 SuperiorGlutealNerveL4L5 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1725-1725 子類 InferiorGlutealNerveL5S1S2NerveRoots and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1736-1736 子類 SuperiorGlutealNerveL4L5S1NerveRoots and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1754-1754 子類 ObturatorNervePiriformisNerveNerveToQuadratusFemoris and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1765-1765 子類 PiriformisNerveS1AndS2NerveRoots9 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1775-1775 子類 PosteriorBranchOfObturatorNerveL3L4 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1783-1783 子類 NerveToObturatorInternusL5S1S2 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1798-1798 子類 NerveToQuadratusFemorisL4L5S1 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1815-1815 子類 FemoralNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1878-1878 子類 SciaticNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1889-1889 子類 SciaticNerve10TibialL5S1S2 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1900-1900 子類 SciaticNerve10 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1911-1911 子類 ObturatorNerve 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 1933-1933 子類 FemoralNerveAndObturatorNerveMedialCompartment11 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1962-1962 子類 PosteriorBranchOfObturatorNerveAdductorAndTibialPartOfSciaticNerveVerticalHead1112 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 2009-2009 子類 TibialNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2019-2019 子類 TibialNerveFromSciaticNerveSpecificallyNerveRootsS1S2 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2030-2030 子類 TibialNerveSpecificallyNerveRootsL5S2 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2058-2058 子類 TibialNerveS1S2NerveRoots and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2087-2087 子類 SuperficialFibularNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2122-2122 子類 LateralPlantarNerveFourthInterosseousSpaceSuperficialBranchOthersDeepBranchFirstAndSecondInterosseiLateralBranchOfDeepFibularNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2132-2132 子類 MedialPlantarNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2150-2150 子類 LateralPlantarNerveS1S2 and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2168-2168 子類 LateralPlantarNerveLateralThreeLumbricalsAndMedialPlantarNerveFirstLumbrical and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2185-2185 子類 LateralPlantarNerve and Nerve
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2195-2195 子類 LateralPlantarNerveSuperficialBranch and Nerve


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